main_agent
The main agent is a Codex reasoning session running at `ultra` effort. It owns mathematical…
Per-paper intent and constraints. Filled through a short interview with the operator (the write-paper skill asks; you do not invent answers). The math comes from the fact graph — this file is about framing, audience, and the per-paper overrides, NOT the mathematics. Everything
$ 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.
Per-paper intent and constraints. Filled through a short interview with the operator (the write-paper skill asks; you do not invent answers). The math comes from the fact graph — this file is about framing, audience, and the per-paper overrides, NOT the mathematics. Everything
> Per-paper intent and constraints. Filled through a short interview with the > operator (the write-paper skill asks; you do not invent answers). The math > comes from the fact graph — this file is about framing, audience, and the > per-paper overrides, NOT the mathematics. > > Everything below is synthetic placeholder data for the example.
The Sum of the First $n$ Odd Numbers
A general mathematical audience; an introductory note-length venue. Target: arXiv `math.HO`, mirrored to the synthetic journal *J. Example Math.*
(All names, affiliations, and emails are obviously-synthetic placeholders for this example.)
Headline result: `fact_odd_sum_main` — for every integer $n \ge 1$, the sum of the first $n$ positive odd numbers equals $n^2$. Supporting lemmas: `fact_odd_recurrence` (the partial-sum recurrence) and `fact_square_recurrence` (the recurrence for squares). Note length; one theorem with two short lemmas.
<!-- STRUCTURED FIELDS (machine-read by the write-paper skill — keep the `field: value` shape on its own line; the prose above is for humans). -->
headline_fact_ids: fact_odd_sum_main
The paper is written from the transitive-predecessor closure of this target (here: `fact_odd_sum_main` plus its two predecessor lemmas — i.e. all three facts), and the reference ledger is seeded from the same closure.
structural_exemplar:
(No anchor supplied for this example; the generic PAPER_STRUCTURE.md note tier supplies the structure. Voice comes from the unified STYLE_GUIDE.)
None. Follow the global STYLE_GUIDE and the note tier of PAPER_STRUCTURE.
No deadline. Illustrative final draft for the example.
funding and no personal thanks were supplied, so omit both of those acknowledgement blocks.
re-verification sentence.
🚀✨ 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…