Skills DirectorySkills Directory
SkillsLearnSecurityCategoriesDocsCommunityBlog
Sign InSubmit Skill
Skills Directory

Security-tested agent skills for Claude, coding agents, and AI workflows.

Directory

  • Browse Skills
  • All Skills A–Z
  • Claude Skills
  • Claude Code Skills
  • Agent Skills
  • Categories
  • Authors
  • Submit a Skill

Learn

  • Learn Hub
  • Install Claude Skills
  • Write SKILL.md
  • Skills vs MCP
  • Directories Compared

Security

  • Security
  • Methodology
  • Secure Claude Skills
  • Security Badges

Company

  • About
  • Community
  • Blog
  • API Docs
  • Advertise

2026 Skills Directory. All rights reserved.

ProTermsPrivacyRefunds
Back to skills

Anmath Workflow

ASecurity

Use when deciding which anmath-* sub-skill to invoke next, or when sequencing work on a pure-mathematics manuscript from scope check through major revision for an Annals of Mathematics submission. Routes — does not replace — the specialized skills.

1,052 stars
0 votes
0 copies
1 views
Added 6/4/2026
ai-agentsgo

Works with

cli

Security Analysis

A100/100

Scanned 6/4/2026

Install to Claude Code

$npx -y skills add brycewang-stanford/Awesome-Journal-Skills --skill anmath-workflow --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of Anmath Workflow?

Add the live security badge to your README — it updates automatically with every re-scan.

Security grade badge for Anmath Workflow
[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/brycewang-stanford-anmath-workflow/badge)](https://www.skillsdirectory.com/skills/brycewang-stanford-anmath-workflow)

More formats (shields.io, HTML) on the badges page.

Download with Pro
Files
SKILL.md
---
name: anmath-workflow
description: Use when deciding which anmath-* sub-skill to invoke next, or when sequencing work on a pure-mathematics manuscript from scope check through major revision for an Annals of Mathematics submission. Routes — does not replace — the specialized skills.
---

# Annals of Mathematics Workflow (anmath-workflow)

## Overview

This is the router. It does not replace any specialized skill; it tells you **which
anmath-* skill to use at your current stage** of a theorem-and-proof manuscript.

Default assumption: unless you say otherwise, the target is **Annals of Mathematics**,
where the bar is significance + originality + a complete, correct, rigorously verified
proof with clear exposition. The importance threshold is very high and acceptance is
highly competitive.

## When to trigger

- You ask "what should I do next?" with a math paper in progress
- You have a draft and need to find the current bottleneck (significance? a gap? exposition?)
- You are cycling between proof, writing, and referee response and have lost the thread
- You received a referee report from Annals and need to switch into revision mode

## Routing table

| Current symptom                                                  | Next skill                |
|------------------------------------------------------------------|---------------------------|
| Unsure the result clears the Annals importance bar / is in scope | `anmath-scope-fit`        |
| Main theorem stated vaguely; significance/positioning unclear    | `anmath-results-framing`  |
| Proof works but the argument's architecture is not laid out      | `anmath-methods`          |
| Exposition is hard to follow; sectioning/notation/diagrams weak  | `anmath-figures`          |
| Long computations / auxiliary lemmas clutter the main line       | `anmath-supplementary`    |
| Prose is sloppy; "clearly"/"it is easy to see" hide steps        | `anmath-writing-style`    |
| Paper feels bloated or padded; every section not yet justified   | `anmath-length-management`|
| Preparing the cover note to the editors                          | `anmath-cover-letter`     |
| Ready to submit; need the final preflight                        | `anmath-submission`       |
| Want to anticipate how an expert referee will probe the proof    | `anmath-referee-strategy` |
| Received a report; need to revise and reply                      | `anmath-revision`         |

## Default order

1. `anmath-scope-fit` — confirm the result is important and original enough for Annals
2. `anmath-results-framing` — state the main theorem(s) precisely and position them
3. `anmath-methods` — lay out the proof strategy, key lemmas, and where the difficulty lies
4. `anmath-figures` — exposition and structure: sectioning, notation, statements-before-proofs
5. `anmath-supplementary` — move auxiliary results / long computations to appendices
6. `anmath-writing-style` — eliminate gaps and "clearly"; tighten every claim
7. `anmath-length-management` — confirm every section is necessary; cut bloat
8. `anmath-cover-letter` — concise letter framing significance for the editors
9. `anmath-submission` — final preflight (format, TeX, MSC, references, arXiv)
10. `anmath-referee-strategy` — stress-test the proof against expert scrutiny before sending
11. `anmath-revision` — after the report arrives

> `anmath-writing-style` and `anmath-length-management` are **late-stage polish**; do not
> run them before the proof is actually complete and the architecture is fixed.

## Decision heuristics

- "I am not sure this is big enough for Annals" → `anmath-scope-fit`
- "My main theorem is a paragraph, not a precise statement" → `anmath-results-framing`
- "The proof is right but readers can't see the plan" → `anmath-methods`
- "A referee would get lost in Section 3" → `anmath-figures`
- "I have a 6-page computation in the middle of the proof" → `anmath-supplementary`
- "I wrote 'it is easy to see' and it is not" → `anmath-writing-style`
- "The paper is 90 pages and I can't justify all of them" → `anmath-length-management`
- "I'm clicking submit tomorrow" → `anmath-submission`
- "I got a referee report" → `anmath-revision`

## Difference vs. a generic math-writing toolbox

A generic LaTeX/writing helper optimizes for readability alone. This stack is tuned to
the Annals standard: **the importance bar is unusually high, and a single hidden gap is
fatal**. Significance and complete rigor dominate every routing decision here.

## Anti-patterns

- **Do not** skip `anmath-scope-fit` — Annals desk-screens on importance first
- **Do not** let `anmath-figures` polish exposition while a proof gap remains open
- **Do not** let `anmath-revision` draft a reply before you have actually fixed the text
- **Do not** treat `anmath-supplementary` as a dumping ground — essentials stay in main text

Attribution

brycewang-stanfordbrycewang-stanford
View sourceMore from brycewang-stanford →
SSkills DirectorySkills Directory

Know which skills are safe — weekly.

Best new skills + every skill we flagged as malicious. From the team that scanned 103,619.

Join free

Is this your skill, or is something wrong with this listing? Request removal or report an issue. Author removals are honored within 72 hours.

Comments (0)

No comments yet. Be the first to comment!

SSkills DirectorySkills Directory

Know which skills are safe — weekly.

Best new skills + every skill we flagged as malicious. From the team that scanned 103,619.

Join free

Related Skills

Caveman

Ultra-compressed communication mode that cuts output tokens while keeping technical accuracy. Levels: lite, full, ultra and the wenyan variants. Use for /caveman, "caveman mode", "talk like caveman", "be brief" or "less tokens".

1074701 votes

Hyperplan

Adversarial multi-agent planning skill. Self-orchestrates 5 hostile category members (unspecified-low, unspecified-high, deep, ultrabrain, artistry) via team-mode for ruthless cross-critique debate, distills only the defensible insights, then MANDATORILY hands the distilled insight bundle to the `plan` agent for executable plan formalization. Use when planning needs maximum rigor and surfacing of weak assumptions, blind spots, and over-engineering. Triggers: 'hyperplan', 'hpp', '/hyperplan', ...

693161 votes

Mcp Code Execution

Routes multi-tool workflows through MCP servers for large datasets and pipelines. Use when Bash tool overhead is limiting throughput on data-heavy tasks.

3351 votes

catchup

Recovers the conversation and failed tool calls of a previous Codex, Claude Code, Antigravity, Cline, Copilot CLI, Cursor, DeepSeek Harness, Kimi, OpenCode, Pi Agent, or ZCode session. Use when the user says "catch up", "what did the last session do", "get me up to speed", "I switched agents", asks to recover/summarize a previous session before continuing, or asks to diagnose or report a catchup failure. Do NOT use for the current conversation, git history, or any non-agent log.

691 votes

math-skill

A comprehensive mathematical reasoning skill for AI assistants — handles arithmetic to research-level problems with rigorous step-by-step reasoning, systematic verification, and transparent uncertainty handling

381 votes
View all in ai-agents →