{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln95paraphrase-mu9m5e-19","name":"InformalToFormalLincoln95Paraphrase"},"proofCount":0,"proof":[]}