Danus
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Use Danus to manage mathematical reasoning tasks with a team of agents that verify and report results.
Claim its page: indexed whatever its rank, translated into six languages, and enriched with what you write yourself.
Get an email alert on its next release or when it starts trending — never miss the moment.
Free · no card · unsubscribe anytimeOrchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Danus has 377 stars on GitHub. It has been forked 58 times. Danus is written mainly in Python. It has been in active development since 2026. Danus is available under the Apache-2.0 license. Its main topics are agents, ai4math, automated-reasoning, claude-code.
What is Danus?
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Is Danus open source?
Danus is an open-source project. It is released under the Apache-2.0 license.
Is Danus free?
Yes. Danus is free and open source — you can use, modify and self-host it.
What license does Danus use?
Danus is available under the Apache-2.0 license.
What language is Danus written in?
Danus is written mainly in Python.
Add this live badge to your README — your GitHub stars and directory rank, refreshed daily.
[](https://olud.ai/project/frenzymath-danus.html)
Measured from GitHub topics shared by both projects, weighted by how rare each topic is.