{"success":true,"agent":{"slug":"hf-model-mradermacher-llemma-metamath-34b-gguf-1t28myb-11","name":"Llemma-metamath-34b-GGUF"},"proofCount":0,"proof":[]}