
Continuity
- 1 installs
- 3.9k repo stars
- Updated January 26, 2026
- parcadei/continuous-claude-v3
Guides Claude through real-analysis continuity problems by checking the limit definition, piecewise one-sided limits, and z3 verification via sympy.
About
A decision-tree skill for verifying continuity in real analysis using sympy limit computation and one-sided checks. A developer uses it when they want Claude to test continuity at a point or across piecewise functions.
- Limit-definition continuity check with sympy
- Left and right limits for piecewise functions
Continuity by the numbers
- 1 all-time installs (skills.sh)
- Ranked #1,803 of 2,064 Data Science & ML skills by installs in the Skillselion catalog
- Data as of Aug 5, 2026 (Skillselion catalog sync)
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill continuityAdd your badge
Show developers this skill is listed on Skillselion. Paste this into your README.
| Installs | 1 |
|---|---|
| repo stars | ★ 3.9k |
| Last updated | January 26, 2026 |
| Repository | parcadei/continuous-claude-v3 ↗ |
What it does
Guides Claude through real-analysis continuity problems by checking the limit definition, piecewise one-sided limits, and z3 verification via sympy.
Files
Continuity
When to Use
Use this skill when working on continuity problems in real analysis.
Decision Tree
1. Check Definition
- f(a) exists (function defined at point)
- lim_{x->a} f(x) exists
- lim_{x->a} f(x) = f(a)
2. Use SymPy for Limit Check
sympy_compute.py limit "f(x)" --var x --at a- Compare with f(a)
3. Piecewise Functions
- Check left and right limits separately
sympy_compute.py limit "f(x)" --var x --at a --dir left
4. Verify with Z3
z3_solve.py prove "limit_exists implies continuous"
Tool Commands
Sympy_Limit
uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at aSympy_Limit_Left
uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a --dir leftZ3_Prove
uv run python -m runtime.harness scripts/z3_solve.py prove "continuous_at_a"Cognitive Tools Reference
See .claude/skills/math-mode/SKILL.md for full tool documentation.