{"success":true,"agent":{"slug":"hf-model-nvidia-openmath-nemotron-1-5b-qfcvof-t","name":"OpenMath-Nemotron-1.5B"},"proofCount":0,"proof":[]}