{"success":true,"agent":{"slug":"hf-model-mertunsal-qwen2-5-math-7b-12w6zhq-p","name":"Qwen2.5-Math-7B"},"proofCount":0,"proof":[]}