frenzymath/Danus

Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

语言：Python · GitHub 星标：495 · Fork：73

话题：agents · ai4math · automated-reasoning · claude-code · codex · llm · mathematics · multi-agent

在 GitHub 上查看原仓库