From annals-of-mathematics-skills
Lays out proof strategy for pure-mathematics manuscripts, structuring arguments into lemmas and propositions and isolating novel techniques.
How this skill is triggered — by the user, by Claude, or both
Slash command
/annals-of-mathematics-skills:anmath-methodsThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
- The proof is essentially complete but its logical structure is not laid out for a reader
For an Annals paper, an expert non-specialist should be able to read a proof overview and understand how the theorem is proved before verifying that it is. The architecture is part of the contribution.
| Symptom | Action |
|---|---|
| A 10-page proof with no internal structure | Extract Lemmas/Propositions with clear statements |
| The same estimate reused three times | State it once as a Lemma and cite it |
| A self-contained technical computation interrupting the flow | Push to an appendix (anmath-supplementary) |
| Reliance on a deep external theorem | State it precisely with citation; do not paraphrase loosely |
| The crux step stated as "a calculation shows" | Expand fully — this is exactly what referees check |
【Proof strategy, one paragraph】...
【Key lemmas/propositions】L1: ...; P1: ...; ...
【The new idea (crux)】...
【Why the standard approach fails】...
【External results relied on】author (year), Thm X — exact statement used
【Steps to push to appendix】... → anmath-supplementary
【Next step】anmath-figures (exposition & structure)
npx claudepluginhub brycewang-stanford/awesome-journal-skills --plugin annals-of-mathematics-skillsStress-tests a mathematical proof as an expert Annals of Mathematics referee would, identifying gaps, checking external citations, and hardening the manuscript before submission.
Polishes Mathematical Finance (Wiley) manuscripts with theorem-first exposition, consistent notation, proof hygiene, and financial-modeling intuition for a stochastic-analysis readership.
Guides selection of proof techniques (direct, contradiction, induction, contrapositive, construction) for mathematical claims. Based on Polya's heuristics.