mcpField
M
math-reasoning

math-reasoning

github.com/lingzhi227Productivity4402.2k installsUpdated 35w ago
Repository

About math-reasoning

math-reasoning is a Claude skill for rigorous mathematical work, from equation derivations and proofs to statistical test selection and correctness checks. It provides task-specific LaTeX conventions and references for research writing.

Key features

  1. 01Step-by-step equation derivations
  2. 02Formal theorem proofs
  3. 03Formalize problem settings
  4. 04Select statistical tests
  5. 05Generate notation tables
  6. 06Check mathematical correctness

Use cases

  1. 01Deriving an equation for a paper
  2. 02Writing a theorem proof in LaTeX
  3. 03Choosing a statistical test
  4. 04Checking notation and calculations

Install

Copy the command and run it in a terminal.

$npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoning

After installing, type/math-reasoningin Claude Code to confirm it loaded.

Bundled filesreferences/notation-guide.mdreferences/proof-templates.md

Details

From the project README

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

Comments

Markdown supported