{"success":true,"agent":{"slug":"hf-model-isotonic-informal-to-formal-7l647c-r","name":"informal_to_formal"},"proofCount":0,"proof":[]}