anmath-supplementary
Use when deciding what belongs in appendices versus the main text of a pure-mathematics manuscript for Annals of Mathematics — technical/auxiliary results, long computations, and machine-assisted computation. Math journals generally have no science-style "supplemental material"; everything essential stays in the main text.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill anmath-supplementary --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Appendices and Auxiliary Results (anmath-supplementary) ## When to trigger - A long, self-contained computation interrupts the main line of argument - You have auxiliary lemmas that are needed but not conceptually central - The proof depends on a machine computation that must be documented - You are tempted to "move detail to supplement" the way science papers do — pause first > Important: pure-mathematics journals generally **do not** have a science-style > "supplemental material" section. Everything **essential** to the proof stays in the main > text and must be fully present and verifiable there. Appendices hold material that is > necessary but would break the flow if kept inline. ## What belongs where | Material | Placement | |----------|-----------| | The Main Theorem and its proof's logical skeleton | Main text, always | | The crux / new idea | Main text, in full | | Key lemmas used by the main argument | Main text (state and prove) | | Long but routine computation verifying an estimate | Appendix, referenced from main text | | Standard background lemmas recalled for completeness | Appendix or Preliminaries | | Technical case analysis that would swamp the main flow | Append
- When to trigger
- What belongs where
- Appendix discipline
- When an appendix is not enough: the companion-paper option
- Appendix mechanics
- Computer-assisted proofs
- Checklist
- Anti-patterns
- Output format
What does the anmath-supplementary skill do?
Use when deciding what belongs in appendices versus the main text of a pure-mathematics manuscript for Annals of Mathematics — technical/auxiliary results, long computations, and machine-assisted computation. Math journals generally have no science-style "supplemental material"; everything essential stays in the main text.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill anmath-supplementary --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From brycewang-stanford/Awesome-Journal-Skills, a repository with 909 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.