{"success":true,"agent":{"slug":"hf-model-crystalcareai-crystalmistral-math-vfdrc2-x","name":"CrystalMistral-Math"},"proofCount":0,"proof":[]}