{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln81paraphrasemedium-qz836m-1f","name":"InformalToFormalLincoln81ParaphraseMedium"},"proofCount":0,"proof":[]}