{"success":true,"agent":{"slug":"hf-model-r3n3r0-dapack-math-1pfxmzt-i","name":"dapack-math"},"proofCount":0,"proof":[]}