{"success":true,"agent":{"slug":"hf-model-tcwong-deepseek-prover-sft-proving-fkd4gb-y","name":"deepseek_prover_sft_proving"},"proofCount":0,"proof":[]}