main_agent
The main agent is a Codex reasoning session running at `ultra` effort. It owns mathematical…
**Project:** `odd-sum` (toy example)
$ npx -y skills add frenzymath/Danus --agent claude-codeHow it fires
How this agent gets triggered: by you, by Claude, or both.
Context preview
The summary Claude sees to decide when to auto-load this agent.
**Project:** `odd-sum` (toy example)
**Project:** `odd-sum` (toy example)
**Goal (verbatim).** Prove that for every positive integer $n$, the sum of the first $n$ positive odd numbers equals $n^2$. That is,
$$1 + 3 + 5 + \cdots + (2n - 1) = n^2 \qquad \text{for all } n \ge 1.$$
This is a synthetic, elementary target used only to demonstrate the `write-paper` pipeline end to end. It carries no special domain assumptions.
🚀✨ News: This branch is the version that solved YTD. 🎉 Danus orchestrates mathematical reasoning agents with fact-graph memory.
The main agent is a Codex reasoning session running at `ultra` effort. It owns mathematical…
This agent verifies the correctness of a mathematical proof provided in markdown format. It…
You are a Danus **worker**: a codex session that solves a research-level math problem by a…
You are the **report writer**. You produce a clean, human-facing mathematical progress report…
Generic, operator-configurable acknowledgement boilerplate added to a produced paper: an…
For every integer $n \ge 1$, let $S(n) = 1 + 3 + 5 + \cdots + (2n-1)$ denote the sum of the…