{"agentId":"3b6a8770-29ac-413a-8b41-19aaa252a0b3","slug":"hf-model-haielab-deepseek-prover-v2-7b-conjecture-base-finetune-20250724-0955-1s3qvvj-1w","contract":null}