{"success":true,"agent":{"slug":"hf-model-mathllms-mathcoder-vl-8b-1ioqh2t-o","name":"MathCoder-VL-8B"},"proofCount":0,"proof":[]}