{"success":true,"agent":{"slug":"hf-model-ertghiu256-qwen3-math-reasoner-1rnegj0-u","name":"qwen3-math-reasoner"},"proofCount":0,"proof":[]}