math-help
Guide to the math cognitive stack - what tools exist and when to use each
Profile →npx skills add parcadei/Continuous-Claude-v3 --skill math-help --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Math Cognitive Stack Guide Cognitive prosthetics for exact mathematical computation. This guide helps you choose the right tool for your math task. ## Quick Reference | I want to... | Use this | Example | |--------------|----------|---------| | Solve equations | sympy_compute.py solve | `solve "x**2 - 4 = 0" --var x` | | Integrate/differentiate | sympy_compute.py | `integrate "sin(x)" --var x` | | Compute limits | sympy_compute.py limit | `limit "sin(x)/x" --var x --to 0` | | Matrix operations | sympy_compute.py / numpy_compute.py | `det "[[1,2],[3,4]]"` | | Verify a reasoning step | math_scratchpad.py verify | `verify "x = 2 implies x^2 = 4"` | | Check a proof chain | math_scratchpad.py chain | `chain --steps '[...]'` | | Get progressive hints | math_tutor.py hint | `hint "Solve x^2 - 4 = 0" --level 2` | | Generate practice problems | math_tutor.py generate | `generate --topic algebra --difficulty 2` | | Prove a theorem (constraints) | z3_solve.py prove | `prove "x + y == y + x" --vars x y` | | Check satisfiability | z3_solve.py sat | `sat "x > 0, x < 10, x*x == 49"` | | Optimize with constraints | z3_solve.py optimize | `optimize "x + y" --constraints "..."` | | Plot 2D/3D func
- Quick Reference
- The Five Layers
- Layer 1: SymPy (Symbolic Algebra)
- Layer 2: Z3 (Constraint Solving & Theorem Proving)
- Layer 3: Math Scratchpad (Reasoning Verification)
- Layer 4: Math Tutor (Educational)
- Layer 5: Lean 4 (Formal Proofs)
- Numerical Tools
- NumPy (160 functions)
- SciPy (289 functions)
- mpmath (153 functions, arbitrary precision)
- Visualization
- mathplot.py
- Educational Features
Solve equation uv run python -m runtime.harness scripts/sympy_compute.py \ solve "x**2 - 5*x + 6 = 0" --var x --domain real Integrate integrate "sin(x)" --var x Definite integral integrate "x**2" --var x --bounds 0 1 Differentiate (2nd order) diff "x**3" --var x --order 2 Simplify (trig strategy)
What does the math-help skill do?
Guide to the math cognitive stack - what tools exist and when to use each
How do I install it?
Run `npx skills add parcadei/Continuous-Claude-v3 --skill math-help --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From parcadei/Continuous-Claude-v3, a repository with 3,879 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.