{"success":true,"agent":{"slug":"hf-model-netcat420-mhenncodemathv2-rzlgzi-p","name":"MHENNcodemathv2"},"proofCount":0,"proof":[]}