A cognitive prosthetic stack for exact mathematical computation. You get five layers: SymPy for symbolic algebra and calculus, Z3 for constraint solving and theorem proving, a scratchpad for verifying reasoning chains, a tutor mode with progressive hints, and Lean 4 integration for formal proofs. Also includes numerical tools (NumPy, SciPy, mpmath) and plotting. The hint system is clever, going from conceptual direction at level 1 to full solutions at level 5. Use this when you need to solve equations, verify derivations step by step, or check your mathematical reasoning without doing it all in your head. The quick reference table alone is worth having around.
- skills.sh installs
- 881
- GitHub stars
- 3.9K
- last updated
- Aug 21, 2026
Install
$ npx -y skills add parcadei/continuous-claude-v3 --skill math --agent claude-codeInstalls into .claude/skills of the current project.
Files
/math - Unified Math Capabilities
One entry point for all computation and explanation. I route to the right tool based on your request.
For formal proofs, use /prove instead.
Quick Examples
| You Say | I Use |
|---|---|
| "Solve x² - 4 = 0" | SymPy solve |
| "Integrate sin(x) from 0 to π" | SymPy integrate |
| "Eigenvalues of [[1,2],[3,4]]" | SymPy eigenvalues |
| "Is x² + 1 > 0 for all x?" | Z3 prove |
| "Convert 5 miles to km" | Pint |
| "Explain what a functor is" | Category theory skill |
Computation Scripts
SymPy (Symbolic Math)
uv run python "$CLAUDE_PROJECT_DIR/.claude/scripts/cc_math/sympy_compute.py" <command> <args>
Sponsors
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any languageDetails
- Repository
- github.com/parcadei/continuous-claude-v3
- First seen
- May 16, 2026
More from parcadei/continuous-claude-v3
All 108- Github Search740
- Dead Code736
- Refactor623
- Recall Reasoning603
- Graceful Degradation601
- Explore580
- Agentic Workflow567
- Modular Code567
- Math Help545
- Sub Agents537
- Security532
- Research Agent530
- Perplexity Search528
- Agent Orchestration525
- Ast Grep Find523
- Git Commits523
- Remember523
- Repo Research Analyst522
- Review521
- Planning Agent520
- Repoprompt517
- Agent Context Isolation514
- Parallel Agents514
- Create Handoff512
Recommended
cavemanjuliusbrussee/cavemanUltra-compressed communication mode. Cuts output tokens 65% (measured) by speaking like caveman while keeping full technical accuracy. Supports intensity levels618.3Kskills.sh installs
improveshadcn/improveSurvey any codebase as a senior advisor and produce prioritized, self-contained implementation plans for OTHER models/agents to execute. Strictly read-only on s40Kskills.sh installs
systematic-debuggingobra/superpowersUse when encountering any bug, test failure, or unexpected behavior, before proposing fixes326.7Kskills.sh installs
karpathy-guidelinesforrestchang/andrej-karpathy-skillsBehavioral guidelines to reduce common LLM coding mistakes through explicit assumptions, simplicity, and verifiable success criteria.17.9Kskills.sh installs
find-skillsvercel-labs/skillsHelps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express int4.3Mskills.sh installs