Danus

Danus是一个面向数学推理的多智能体协同系统，通过事实图（Fact-Graph）记忆机制实现严格可信的定理证明与知识积累。其核心采用主控代理（Claude Code）协调多个Codex工作代理执行搜索，由独立、无状态的冷启动验证器对每个结果进行权威性校验；仅经验证的事实被持久化至内容寻址的事实图中，作为系统唯一可信源。支持自动输出人类可读报告或LaTeX格式论文。适用于形式化数学验证、自动化定理证明、AI辅助数学研究等需高可靠性与可追溯性的学术与科研场景。