{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln19-6k2kl3-z","name":"InformalToFormalLincoln19"},"proofCount":0,"proof":[]}