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.
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill math