by frenzymath · Codex Skill · ★ 91
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
🔒 Is Danus safe to install? View the security audit →
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory Danus orchestrates mathematical reasoning agents with fact-graph memory. A main agent (Claude Code) 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 a strategy loop (a strong reasoning model) decomposes the problem and steers the swarm. When you have the answer, Danus render
| Stars | 91 |
| Forks | 20 |
| Language | Python |
| Category | Codex Skill |
| License | Apache-2.0 |
| Quality Score | 59.8444829100118/100 |
| Last Updated | 2026-07-22 |
| Created | 2026-07-07 |
| Platforms | claude-code, codex, python |
| Est. Tokens | ~15k |
These tools work well together with Danus for enhanced workflows:
Looking for a Danus alternative? If you're comparing Danus with other codex skill tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.
An introduction to the world of AI Agents
Lightweight agent orchestration dev tool that lives in your repo
Open source AI coding platform with Web IDE, multi-agent system, 37+ tools, MCP protocol. MIT licensed.
Governance gateway for AI agents — bounded, auditable, session-aware control with MCP proxy, shell proxy & HTT
Context-Engine MCP - Agentic Context Compression Suite
A collection of Model Context Protocol (MCP) servers, clients and developer tools by IBM.
Explore other popular codex skill tools:
Danus is Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory. It is categorized as a Codex Skill with 91 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 91 stars and 20 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.
The top alternatives to Danus on Agent Skills Hub include oreilly-ai-agents, sudocode, claude-code-open. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.