{"success":true,"agent":{"slug":"hf-model-resistz-ttcl-math500-qwen3-4b-1ws1hx7-t","name":"TTCL-MATH500-Qwen3-4B"},"proofCount":0,"proof":[]}