Danus创建仓库：事实图记忆编排数学证明智能体群

Danus编排研究级数学推理智能体：以共享事实图为全局记忆——主智能体做规划与协调、多个工作者智能体并行搜索证明、无状态验证器在事实入库前校验；每条经验证的事实连同证明与逻辑依赖存储，支持增量构建长论证。仓库（仓库创建日，非功能发布日），配套arXiv论文2607.06447。研究多智能体数学推理的团队可复用其编排架构与事实图设计。