{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln15-6k2kkz-z","name":"InformalToFormalLincoln15"},"proofCount":0,"proof":[]}