# danus

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.

- Tier: Indexed (plain plugin)
- Category: Agent Orchestration
- Page: https://www.flowy.sh/listings/frenzymath-danus
- Source: https://github.com/frenzymath/Danus
- Price: free and open source

## Summary
danus is a Claude Code plugin with 17 hand-picked skills for agent orchestration work, indexed on Flowy. Install it with the command on its page. It includes consult, elaboration, human-summary. Its skills do not fire on their own yet. Request auto-invocation to have Flowy route them as you prompt. Free and open source.

## Install (Claude Code)
```
npx -y skills add frenzymath/Danus --agent claude-code
```

## Skills
- consult
- elaboration
- human-summary
- initialize
- write-paper
- check-referenced-statements
- synthesize-verification-report
- verify-sequential-statements
- construct-counterexamples
- construct-toy-examples
- direct-proving
- identify-key-failures
- obtain-immediate-conclusions
- propose-subgoal-decomposition-plans
- query-memory
- search-math-results
- verify-proof

## FAQ

### What is danus?
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.

### How do I install danus?
Run these in Claude Code: npx -y skills add frenzymath/Danus --agent claude-code. Then prompt normally.

### Does danus auto-invoke its skills?
Not yet. It is indexed on Flowy as a plain plugin. Request auto-invocation on its page and Flowy will route its skills for you as you prompt.

### Is danus free?
Yes. Flowy is free and open source, with nothing gated. You can read every skill in full before you install.