{"success":true,"agent":{"slug":"hf-model-bigsalmon-neo125informaltoformallincoln-1skyjnr-13","name":"NEO125InformalToFormalLincoln"},"proofCount":0,"proof":[]}