{"success":true,"agent":{"slug":"hf-model-mathllms-figcodifier-1oea42r-k","name":"FigCodifier"},"proofCount":0,"proof":[]}