lingzhi227Install Math Reasoning
Pick your agent. Every command is ready to paste.
npx skills add lingzhi227/agent-research-skills --skill math-reasoningThe open skills CLI detects your agents (Claude Code, Cursor, Codex and 70+ more) and installs to the right folder. Add -g to install globally.
01
Install it
Run the command above, or upload the folder in Claude.
02
Ask naturally
Describe the task. Your agent loads math-reasoning when the request matches its description.
03
Name it if needed
If it does not trigger, say “use the math-reasoning skill”. In Codex, type $math-reasoning.
Mathematical Reasoning
Perform rigorous mathematical reasoning and produce publication-quality LaTeX output.
Input
$0— Task type:derive,prove,formalize,stats,notation,verify$1— Context: equation, theorem statement, problem description, or data description
Tasks
derive — Step-by-step equation derivation
Show every intermediate step. Justify each with the rule applied. Box final result with \boxed{}. Number important equations with \label{eq:name}.
prove — Formal theorem proof
Use appropriate technique: direct, contradiction, induction, construction, or cases. See references/proof-templates.md for LaTeX templates.
formalize — Problem setting formalization
Convert informal description into formal mathematical framework with: variable definitions, domain/range specifications, assumptions, objective function.
stats — Statistical test selection
Use the decision tree in references/notation-guide.md to select appropriate tests. Report p-values, effect sizes, confidence intervals.
notation — Generate notation table
Create a \begin{table} with all symbols used in the paper. Use standard ML notation from references/notation-guide.md.
verify — Check mathematical correctness
Verify: dimensional consistency, boundary cases, gradient computations, notation consistency across sections.
References
- Standard ML notation + statistical tests:
~/.claude/skills/math-reasoning/references/notation-guide.md - Proof templates and theorem environments:
~/.claude/skills/math-reasoning/references/proof-templates.md
Rules
- Define ALL symbols before first use: "Let $\mathcal{X}$ denote..."
- Use consistent notation throughout the paper
- Number equations that are referenced later
- Use
\tag{reason}for key derivation steps - State assumptions explicitly
- Cite lemmas and prior results used in proofs
Related Skills
- Upstream: research-planning
- Downstream: algorithm-design, paper-writing-section
- See also: symbolic-equation, data-analysis
Tips for Math Reasoning
- • Start a fresh session after installing so your agent picks up the new skill.
- • It bundles reference files. The agent reads them only when needed, so they cost no context until then.
- • It is part of a pack with 30 skills. Install only the ones you need with --skill to keep triggers precise.
- • If two skills overlap, mention the one you want by name.
Questions about Math Reasoning
What does the Math Reasoning skill do?
Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation. Use when the user needs mathematical derivations, theorem proofs, notation tables, or statistical analysis formalization.
How do I install Math Reasoning?
Run "npx skills add lingzhi227/agent-research-skills --skill math-reasoning" in your project. The skills CLI installs it for Claude Code, Cursor, Codex and 70+ other agents. In Claude on the web, upload the skill folder as a ZIP under Customize > Skills.
Does Math Reasoning work in Cursor and Codex?
Yes. Math Reasoning uses the open SKILL.md format, so it works in Claude Code, Claude, Cursor, OpenAI Codex, Gemini CLI, GitHub Copilot and other agents that support agent skills.
Is Math Reasoning free?
Math Reasoning is open source on GitHub. It is free to install; check the license before commercial use.
Who made Math Reasoning?
Math Reasoning is published by lingzhi227 in the lingzhi227/agent-research-skills repository, together with 29 other skills.
