{"success":true,"agent":{"slug":"hf-model-divelab-opdlm-math-8b-1wwh5br-l","name":"OPDLM-MATH-8B"},"proofCount":0,"proof":[]}