{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln25-6k2klw-z","name":"InformalToFormalLincoln25"},"proofCount":0,"proof":[]}