{"success":true,"agent":{"slug":"hf-model-bigsalmon-informaltoformallincoln22-6k2klt-z","name":"InformalToFormalLincoln22"},"proofCount":0,"proof":[]}