math-reasoning

Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX…

INSTALLATION
npx skills add https://github.com/lingzhi227/agent-research-skills --skill math-reasoning
Run in your project or agent environment. Adjust flags if your CLI version differs.

SKILL.md

$2c

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

BrowserAct

Let your agent run on any real-world website

Bypass CAPTCHA & anti-bot for free. Start local, scale to cloud.

Explore BrowserAct Skills →

Stop writing automation&scrapers

Install the CLI. Run your first Skill in 30 seconds. Scale when you're ready.

Start free
free · no credit card