Danus

by frenzymath · Codex Skill · ★ 356

About Danus

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

agentsai4mathautomated-reasoningclaude-codecodexllmmathematicsmulti-agent

Quick Facts

Stars356
Forks54
LanguagePython
CategoryCodex Skill
LicenseApache-2.0
Quality Score36.75/100
Open Issues1
Last Updated2026-08-27
Created2026-07-07
Platformsclaude-code, codex, python
Est. Tokens~66k

Compatible Skills

These tools work well together with Danus for enhanced workflows:

  • skills — semantic(0.18)+complementary+same_lang+similar_pop+shared_platform (51%)
  • zenith — semantic(0.18)+complementary+same_lang+similar_pop+shared_platform (51%)
  • captain-claw — semantic(0.17)+complementary+same_lang+similar_pop+shared_platform (51%)
  • caura-memclaw — semantic(0.15)+complementary+same_lang+similar_pop+shared_platform (50%)

More Codex Skill Tools

Explore other popular codex skill tools:

View all Codex Skill tools →

Popular Python Agent Tools

Frequently Asked Questions

What is Danus?

Danus is Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory. It is categorized as a Codex Skill with 356 GitHub stars.

What programming language is Danus written in?

Danus is primarily written in Python. It covers topics such as agents, ai4math, automated-reasoning.

How do I install or use Danus?

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.

What license does Danus use?

Danus is released under the Apache-2.0 license, making it free to use and modify according to the license terms.

View on GitHub → Browse Codex Skill tools