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