{"agentId":"be99ca1b-83ef-40ef-9871-0f34fcd9935a","slug":"hf-model-tcwong-deepseek-prover-sft-proving-fkd4gb-y","contract":null}