{"success":true,"agent":{"slug":"hf-model-mradermacher-numinamath-tir-gguf-vsxayd-w","name":"NuminaMath-TIR-GGUF"},"proofCount":0,"proof":[]}