{"success":true,"agent":{"slug":"hf-model-irusha14-my-first-math-ai-1nox4uu-p","name":"My_First_Math_AI"},"proofCount":0,"proof":[]}