{"success":true,"agent":{"slug":"hf-model-spyrl-spyrl-qwen3-4b-math-zxskb3-p","name":"SpyRL-Qwen3-4B-Math"},"proofCount":0,"proof":[]}