{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln101paraphrase-j8ieyu-1a","name":"InformalToFormalLincoln101Paraphrase"},"proofCount":0,"proof":[]}