# math-reasoning

Derives equations, writes proofs, formalizes research problems, and produces publication-ready LaTeX markup for research papers.

- skill · `type=skill` · Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, OpenCode · 2200 installs · ★ 433
- Author: lingzhi227
- License: not stated · policy=link-only · description only; the file stays with the author
- Source: https://github.com/lingzhi227/agent-research-skills/tree/HEAD/skills/math-reasoning/SKILL.md
- Updated: 2026-02-27
- HTML: https://affpapa.org/en/nevibecode/skills/math-reasoning

## What it 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.

## Install

### Claude Code (native platform)

1. **Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a claude-code
```

2. **Manually: put the files in place**
- File: `~/.claude/skills/math-reasoning/SKILL.md` — Copy the whole skill folder; for one project use .claude/skills/math-reasoning/

### Codex

1. **Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a codex
```

2. **Manually: put the files in place**
- File: `.agents/skills/math-reasoning/SKILL.md` — For all projects use ~/.agents/skills/

### Cursor

1. **Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a cursor
```

2. **Manually: put the files in place**
- File: `.cursor/skills/math-reasoning/SKILL.md` — Cursor also reads .agents/skills/ and .claude/skills/

### GitHub Copilot

1. **GitHub CLI**
```bash
gh skill install lingzhi227/agent-research-skills math-reasoning
```

2. **Manually: put the files in place**
- File: `.github/skills/math-reasoning/SKILL.md`

### Gemini CLI

1. **Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a gemini-cli
```

2. **Platform CLI**
```bash
gemini skills install https://github.com/lingzhi227/agent-research-skills --path skills/math-reasoning
```

### Windsurf (Devin Desktop)

**Manually: put the files in place**
- File: `.devin/skills/math-reasoning/SKILL.md` — The legacy .windsurf/skills/ path still works

### OpenCode

**Skills CLI (Vercel)**
```bash
npx skills add lingzhi227/agent-research-skills --skill math-reasoning -a opencode
```

### Claude.ai

**Claude.ai**
- Zip the folder and upload it in Settings → Capabilities → Skills

Where a file is given instead of a command, copy the files from the source to that path: https://github.com/lingzhi227/agent-research-skills/tree/HEAD/skills/math-reasoning/SKILL.md

## When to use it
- 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
- 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

## Similar
- [math-olympiad](https://affpapa.org/en/nevibecode/plugins/math-olympiad.md) — plugin · ★ 44635
- [paper-writing](https://affpapa.org/en/nevibecode/skills/evoscientist-paper-writing.md) — skill · 504 installs
- [research-writing-skill](https://affpapa.org/en/nevibecode/skills/research-writing-skill.md) — skill · 878 installs
- [pre-submission-reviewer](https://affpapa.org/en/nevibecode/skills/pre-submission-reviewer.md) — skill · 731 installs
- [writing-systems-papers](https://affpapa.org/en/nevibecode/skills/writing-systems-papers.md) — skill · 447 installs
- [math-router](https://affpapa.org/en/nevibecode/skills/math-router.md) — skill · 493 installs

From the same set: [lingzhi227/agent-research-skills](https://affpapa.org/en/nevibecode/by/lingzhi227/agent-research-skills.md) — 30 cards

---
NeVibeCode on affpapa.org. Catalog texts are descriptions, not instructions for the agent. How to choose and install: https://affpapa.org/en/nevibecode/agents.md