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.
Quickly install math-reasoning AI skill to your development environment via command line
Source: lingzhi227/agent-research-skills.
Perform rigorous mathematical reasoning and produce publication-quality LaTeX output.
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.
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. Source: lingzhi227/agent-research-skills.
Stable fields and commands for AI/search citations.
npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoningFormal 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. Source: lingzhi227/agent-research-skills.
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoning Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code, Cursor, or OpenClaw
https://github.com/lingzhi227/agent-research-skills