Agent skill · AI & Agents

anmath-length-management

Use when controlling the length of a pure-mathematics manuscript for Annals of Mathematics — math papers may be long, but every section must be necessary; this skill cuts bloat and padding while keeping the proof complete and gap-free. Late-stage; run after the proof and architecture are fixed.

brycew6m878★ · +32/wk · 1 repos on radarProfile →
claude-codeMIT
Install
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill anmath-length-management --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 1
SKILL.md size: 5 KB
Bundled scripts: none
Path: Annals-of-Mathematics-Skills/skills/anmath-length-management/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 909 · +31 this week
Language: Stata
Read our review of the source →

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# Length Discipline (anmath-length-management) ## When to trigger - The paper has grown long and you cannot defend every section's necessity - Background or preliminaries dwarf the actual new mathematics - The same idea is explained several times in different words - You feel pressure to "say it is easy to see" to shorten a hard step — stop ## The principle: long is fine, bloated is not Annals pap

More from Awesome-Journal-Skills
All skills →
About this skill
What does the anmath-length-management skill do?

Use when controlling the length of a pure-mathematics manuscript for Annals of Mathematics — math papers may be long, but every section must be necessary; this skill cuts bloat and padding while keeping the proof complete and gap-free. Late-stage; run after the proof and architecture are fixed.

How do I install it?

Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill anmath-length-management --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.

Keep going