{"agentId":"872d1e53-9f96-4f2e-8840-7d86bfbfc69a","slug":"hf-model-antpg-deepseek-prover-isar-k4arcd-q","contract":null}