Now liveThe Skillselion MCP - thousands of ranked skills, loaded into your agent mid-task. No install.Get it →
parcadei avatar

Limits

  • 1 installs
  • 3.9k repo stars
  • Updated January 26, 2026
  • parcadei/continuous-claude-v3

Guides Claude through real-analysis limit problems using direct substitution and indeterminate-form handling.

About

A decision-tree skill for computing limits, starting with direct substitution and resolving indeterminate forms. A developer uses it when they want Claude to evaluate limits step by step.

  • Direct substitution as first step
  • Indeterminate-form detection and resolution

Limits 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 limits

Add your badge

Show developers this skill is listed on Skillselion. Paste this into your README.

Listed on Skillselion
Installs1
repo stars3.9k
Last updatedJanuary 26, 2026
Repositoryparcadei/continuous-claude-v3

What it does

Guides Claude through real-analysis limit problems using direct substitution and indeterminate-form handling.

Files

SKILL.mdMarkdownGitHub ↗

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

uv run python -m runtime.harness scripts/sympy_compute.py limit "sin(x)/x" --var x --at 0

Sympy_Diff

uv run python -m runtime.harness scripts/sympy_compute.py diff "x**2" --var x

Z3_Prove

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.

Related skills

Data Science & MLagentsresearch

This week in AI coding

Five minutes, every Monday - the tools, releases and tactics for developers.

unsubscribe anytime.