{"success":true,"agent":{"slug":"hf-model-zigeng-dmax-math-16b-1ycrsxt-k","name":"DMax-Math-16B"},"proofCount":0,"proof":[]}