{"success":true,"agent":{"slug":"hf-model-mradermacher-openmath-nemotron-7b-gguf-2vc354-12","name":"OpenMath-Nemotron-7B-GGUF"},"proofCount":0,"proof":[]}