math-reasoning — Claude Code skill: what it does, how to install
Derives equations, writes proofs, formalizes research problems, and produces publication-ready LaTeX markup for research papers.
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-codeWhat math-reasoning does
The skill handles rigorous mathematical tasks required during paper writing. It operates on a task identifier alongside context such as an equation, theorem statement, or problem description. Supported workflows include deriving equations, proving theorems, formalizing problem setups, choosing statistical tests, compiling notation tables, and verifying derivations.
During derivations, the skill justifies each step with its governing rule, encloses final expressions in \boxed{}, and attaches LaTeX labels to referenced equations. Proofs rely on specific techniques such as contradiction, induction, direct derivation, or case analysis. Problem formalization turns informal statements into strict systems containing variable definitions, domains, assumptions, and objective functions.
Correctness checking catches dimension mismatches, boundary case flaws, and gradient calculation issues. Because the skill references local files notation-guide.md and proof-templates.md, missing template paths will break standard notation lookups and theorem formatting.
What it helps with
- derive mathematical equations step by step with rule justifications
- construct formal theorem proofs using induction or contradiction
- translate informal problem statements into formal mathematical frameworks
- inspect derivations for dimensional consistency and boundary behavior
- compile standard notation tables in LaTeX for academic papers
Example prompts for the agent
- Use math-reasoning derive to calculate the gradient of the loss function
- Run math-reasoning verify to check dimensional consistency across paper equations
- Call math-reasoning notation to generate a LaTeX table of paper symbols
How to install math-reasoning
1Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-code2Manually: put the files in place
~/.claude/skills/math-reasoning/SKILL.mdCopy the whole skill folder; for one project use .claude/skills/math-reasoning/
1Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a codex2Manually: put the files in place
.agents/skills/math-reasoning/SKILL.mdFor all projects use ~/.agents/skills/
1Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a cursor2Manually: put the files in place
.cursor/skills/math-reasoning/SKILL.mdCursor also reads .agents/skills/ and .claude/skills/
1GitHub CLI
gh skill install lingzhi227/agent-research-skills math-reasoning2Manually: put the files in place
.github/skills/math-reasoning/SKILL.md1Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a gemini-cli2Platform CLI
gemini skills install https://github.com/lingzhi227/agent-research-skills --path skills/math-reasoningManually: put the files in place
.devin/skills/math-reasoning/SKILL.mdThe legacy .windsurf/skills/ path still works
Skills CLI (Vercel)
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a opencodeClaude.ai
Zip the folder and upload it in Settings → Capabilities → Skills
Step by step, with commands for each platform: How to install skills in Claude Code: five ways
Questions about math-reasoning
How to install math-reasoning in Claude Code?
Run npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-code in your terminal.
What does the math-reasoning skill do?
It structures mathematical derivations, drafts formal theorem proofs, selects statistical tests, and formats clean LaTeX tables for scientific writing.
What reference files does math-reasoning rely on?
The skill looks for references/notation-guide.md and references/proof-templates.md to apply consistent notation and theorem environments.
