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

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 continuity

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 continuity problems by checking the limit definition, piecewise one-sided limits, and z3 verification via sympy.

Files

SKILL.mdMarkdownGitHub ↗

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 a

Sympy_Limit_Left

uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a --dir left

Z3_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.

Related skills

Data Science & MLagentsresearch

This week in AI coding

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

unsubscribe anytime.