{"success":true,"agent":{"slug":"hf-model-researchaudio-qwen2-5-7b-mathsoup-1hpiat5-x","name":"Qwen2.5-7B-MathSoup"},"proofCount":0,"proof":[]}