Write Math
- 2 repo stars
- Updated July 24, 2026
- cboone/agent-harness-plugins
Guide mathematical writing and exposition using conventions from Tao, Knuth, Halmos, and other leading references.
About
Write-math is a guide to mathematical writing and exposition drawn from Tao, Knuth, Halmos, and other leading references. It helps authors structure notation, proofs, and explanations so technical math reads clearly. Aimed at researchers and students improving the quality of their mathematical writing.
- Exposition best practices
- Tao/Knuth/Halmos references
- Notation guidance
- Clear proofs and prose
Write Math by the numbers
- Data as of Jul 25, 2026 (Skillselion catalog sync)
/plugin marketplace add cboone/agent-harness-plugins/plugin install write-math@agent-harness-pluginsAdd your badge
Show developers this skill is listed on Skillselion. Paste this into your README.
| repo stars | ★ 2 |
|---|---|
| Last updated | July 24, 2026 |
| Repository | cboone/agent-harness-plugins ↗ |
What it does
Guide mathematical writing and exposition using conventions from Tao, Knuth, Halmos, and other leading references.
README.md
Write Math
Mathematical writing and exposition guide based on Tao, Knuth, Halmos, and other leading references.
Type: Skill
Trigger: /write-math (also activates automatically)
Installation
See the marketplace install instructions.
What It Does
Provides mathematical writing conventions for clarity, notation discipline, theorem and proof structure, paper organization, and revision workflow. Activates automatically when producing or discussing mathematical content in any venue, including LaTeX or Pandoc Markdown files, Lean docstrings with mathematical content, and chat-response proof sketches.
Includes a condensed essential checklist plus comprehensive references on notation, theorem-and-proof structure, paper structure, English usage, reader-centered writing, citations, and revision process.
Usage
/write-math
The skill also activates automatically when Claude Code detects mathematical exposition work (LaTeX, Pandoc Markdown, Lean docstrings, theorem statements, proof sketches).
Examples
- Drafting a theorem statement or proof: activates automatically
- Writing a paper introduction or notation table: activates automatically
- "explain why this proof goes through": activates automatically when responding
- "/write-math": loads the full style guide explicitly
See Also
- Write LaTeX: typesetting conventions for
.texfiles - Write Pandoc Markdown: Pandoc Markdown for academic papers
- Write Formalization Roadmap: structuring multi-milestone proof projects
- All plugins
Related skills
Lark MarkdownInstantly turn any markdown file into clean, formatted Lark/Figma-compatible documents without manual reformatting.488k
Lark DocCreate, read, update, summarize, rewrite and manage Feishu/Lark cloud documents directly from agent workflows.401k16.1kLark WikiCreate, organize, query, and manage documents, spaces, and members inside Lark (Feishu) knowledge bases directly from AI agent workflows.397k16.1k
Domain ModelingBuild and sharpen a project's domain model: pin down domain terminology in a glossary and record architectural decisions as ADRs.318k202k
Opensource Guide CoachGet expert, attribution-safe guidance on launching and sustaining an open-source project.270k71Readme I18nMaintain consistent, updatable language selector blocks across every README variant in a multilingual repository.270k71