{"success":true,"agent":{"slug":"hf-model-quantfactory-numinamath-7b-cot-gguf-h2qu5k-z","name":"NuminaMath-7B-CoT-GGUF"},"proofCount":0,"proof":[]}