{"agentId":"497150b2-d247-4a21-8b95-007eff0b9c19","slug":"hf-model-xiaoxuezhu-deepseek-math-isabelle-prover-lora-1qgd6j5-19","contract":null}