{"success":true,"agent":{"slug":"hf-model-mradermacher-math-virtuoso-7b-gguf-n4vsrz-y","name":"math-virtuoso-7B-GGUF"},"proofCount":0,"proof":[]}