{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln113paraphrase-zsl5pl-1a","name":"InformalToFormalLincoln113Paraphrase"},"proofCount":0,"proof":[]}