{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln83paraphrase-6a6ven-19","name":"InformalToFormalLincoln83Paraphrase"},"proofCount":0,"proof":[]}