{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln18-6k2kl2-z","name":"InformalToFormalLincoln18"},"proofCount":0,"proof":[]}