{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln100paraphrase-1h9i8zp-1a","name":"InformalToFormalLincoln100Paraphrase"},"proofCount":0,"proof":[]}