agentsclimarketplace
Sign in

Math reasoning

Skill kenantang/codex-and-claude-skills/collected-academic-research-skills/sources/lingzhi227__agent-research-skills/skills/math-reasoning

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.From its SKILL.md

Install
npx -y skills add kenantang/codex-and-claude-skills --skill math-reasoning

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

2 things to look at

  • no licenseNo license file was found in the repository. Code published without one is not open source by default, so using it at work is a question for whoever answers licensing questions where you are.
  • 0 stars0 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

SKILL.md

2.5 KB, 469 tokens by cl100k_base, as published. Nobody here has run it

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

What ships with it: 2 files

6.8 KB alongside SKILL.md

references/

Keep looking

Skills are one crate of 326,679. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.