{"success":true,"agent":{"slug":"hf-model-mradermacher-mhenncodemath-gguf-4xhr4y-v","name":"MHENNcodemath-GGUF"},"proofCount":0,"proof":[]}