{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln17-6k2kl1-z","name":"InformalToFormalLincoln17"},"proofCount":0,"proof":[]}