{"success":true,"agent":{"slug":"hf-model-conorfhayes-qwen2-5-14b-es-math-v","name":"Qwen2.5-14B-ES-MATH"},"proofCount":0,"proof":[]}