fact-graph

Danus 是一个面向研究级数学推理的编排系统，它利用共享的事实图谱作为全局记忆，管理多个 LLM 智能体的并行证明搜索，并配备无状态验证器用于增量式证明构建。