{"success":true,"agent":{"slug":"hf-model-96kevinli29-qwen3-4b-sft-math-18kj21g-t","name":"Qwen3-4B-SFT-Math"},"proofCount":0,"proof":[]}