main_agent
The main agent is a Codex reasoning session running at `ultra` effort. It owns mathematical…
For every integer $n \ge 1$, $(n+1)^2 = n^2 + (2n+1)$.
$ 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.
For every integer $n \ge 1$, $(n+1)^2 = n^2 + (2n+1)$.
fact_id: fact_square_recurrence
problem_id: odd-sum
author: example-worker
predecessors: []
glossary_introduces: {}
external_refs: []For every integer $n \ge 1$, $(n+1)^2 = n^2 + (2n+1)$.
Expanding the square, $(n+1)^2 = n^2 + 2n + 1 = n^2 + (2n+1)$.
The perfect squares grow by the consecutive odd numbers: the gap between $n^2$ and $(n+1)^2$ is exactly $2n+1$. This is the same increment that appears in the recurrence for $S(n)$.
🚀✨ 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…