by frenzymath · Codex Skill · ★ 356
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory 🚀✨ News: This branch now carries our internal Danus v3. 🎉 Danus orchestrates mathematical reasoning agents with fact-graph memory. A main agent (codex) steers a swarm of autonomous codex workers that prove; a cold-start verifier is the sole authority on correctness: a result becomes real only once it passes. Verified results accumulate in a content-addressed fact graph — the system's only source of truth — and the main agent decomposes the problem and steers the swarm, r
| Stars | 356 |
| Forks | 54 |
| Language | Python |
| Category | Codex Skill |
| License | Apache-2.0 |
| Quality Score | 36.75/100 |
| Open Issues | 1 |
| Last Updated | 2026-08-27 |
| Created | 2026-07-07 |
| Platforms | claude-code, codex, python |
| Est. Tokens | ~66k |
These tools work well together with Danus for enhanced workflows:
Explore other popular codex skill tools:
Danus is Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory. It is categorized as a Codex Skill with 356 GitHub stars.
Danus is primarily written in Python. It covers topics such as agents, ai4math, automated-reasoning.
You can find installation instructions and usage details in the Danus GitHub repository at github.com/frenzymath/Danus. The project has 356 stars and 54 forks, indicating an active community.
Danus is released under the Apache-2.0 license, making it free to use and modify according to the license terms.