frenzymath / Danus
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Why this job: works in the areas we cover, but does not say which job it does
What it does
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, reasoning itself (optionally via exploratory codex subagents). When you have the answer, Danus renders it into a human report or a publishable LaTeX paper.
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit 2 months ago
- Stars
- 505
- +7 this week
- Licence
- Apache-2.0
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- v0.1.0
- Released 4 months ago
- Built with
- Python
- 90% of the code
Is it looked after?
- Contributors
- 1
- Last 90 days
- Issues
- 100% closed
- 0 still open
- Pull requests
- 2 merged
- 3 waiting
- Releases
- 2
- 2 in the last year
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| ZIB-IOL / The-Agentic-Researcher | 107 | 5 months ago | MIT | No downloads |
More: languages, topics and project record
Languages
- Python 90%
- Shell 6%
- JavaScript 2%
- CSS 1%
Topics
- agents
- ai4math
- automated-reasoning
- claude-code
- codex
- llm
- mathematics
- multi-agent
Project record
- JobOther AI tools
- StatusListed
- Commits21
- Forks75
- Watching3
- Stars in 28 days+30
- CreatedJul 7, 2026
- First seen by usNov 7, 2026
- CheckedNov 7, 2026