{"success":true,"agent":{"slug":"hf-model-zjuxhl-llama3-1-8b-numinamath-5qhane-t","name":"Llama3.1-8B-NuminaMath"},"proofCount":0,"proof":[]}