{"success":true,"agent":{"slug":"hf-model-alexheyman-qwen3-8b-deepmath-103k-1xdqz7s-x","name":"Qwen3-8B-DeepMath-103K"},"proofCount":0,"proof":[]}