npx skills add parcadei/Continuous-Claude-v3 --skill limits --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.
# Limits ## When to Use Use this skill when working on limits problems in real analysis. ## Decision Tree 1. **Direct Substitution** - Try plugging in the value directly - If you get a determinate form, that's the answer 2. **Indeterminate Form? (0/0, inf/inf)** - Try algebraic manipulation (factor, rationalize) - Try L'Hopital's rule: `sympy_compute.py diff` on numerator/denominator 3. **Squeeze Theorem** - If bounded: find g(x) <= f(x) <= h(x) where lim g = lim h - Verify bounds with `z3_solve.py prove` 4. **Epsilon-Delta Proof** - For rigorous proof: set up |f(x) - L| < epsilon - Find delta in terms of epsilon - Verify with `math_scratchpad.py verify` ## Tool Commands ### Sympy_Limit ```bash uv run python -m runtime.harness scripts/sympy_compute.py limit "sin(x)/x" --var x --at 0 ``` ### Sympy_Diff ```bash uv run python -m runtime.harness scripts/sympy_compute.py diff "x**2" --var x ``` ### Z3_Prove ```bash uv run python -m runtime.harness scripts/z3_solve.py prove "limit_bound" --vars x ``` ## Cognitive Tools Reference See `.claude/skills/math-mode/SKILL.md` for full tool documentation.
- When to Use
- Decision Tree
- Tool Commands
- SympyLimit
- SympyDiff
- Z3Prove
- Cognitive Tools Reference
uv run python -m runtime.harness scripts/sympy_compute.py limit "sin(x)/x" --var x --at 0 uv run python -m runtime.harness scripts/sympy_compute.py diff "x**2" --var x uv run python -m runtime.harness scripts/z3_solve.py prove "limit_bound" --vars x
What does the limits skill do?
Problem-solving strategies for limits in real analysis
How do I install it?
Run `npx skills add parcadei/Continuous-Claude-v3 --skill limits --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,885 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.