{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln121paraphrase-1aef4lk-1a","name":"InformalToFormalLincoln121Paraphrase"},"proofCount":0,"proof":[]}