{"success":true,"agent":{"slug":"hf-model-mradermacher-slam-metamath-13b-gguf-1if5tt1-z","name":"SLAM-MetaMath-13B-GGUF"},"proofCount":0,"proof":[]}