npx skills add parcadei/Continuous-Claude-v3 --skill continuity --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.
# 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 ```bash uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a ``` ### Sympy_Limit_Left ```bash uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a --dir left ``` ### Z3_Prove ```bash 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.
- When to Use
- Decision Tree
- Tool Commands
- SympyLimit
- SympyLimitLeft
- Z3Prove
- Cognitive Tools Reference
uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a --dir left uv run python -m runtime.harness scripts/z3_solve.py prove "continuous_at_a"
What does the continuity skill do?
Problem-solving strategies for continuity in real analysis
How do I install it?
Run `npx skills add parcadei/Continuous-Claude-v3 --skill continuity --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.