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.
1---2name: continuity3description: Continuity4---56# Continuity78## When to Use910Use this skill when working on continuity problems in real analysis.1112## Decision Tree1314151. **Check Definition**16 - f(a) exists (function defined at point)17 - lim_{x->a} f(x) exists18 - lim_{x->a} f(x) = f(a)19202. **Use SymPy for Limit Check**21 - `sympy_compute.py limit "f(x)" --var x --at a`22 - Compare with f(a)23243. **Piecewise Functions**25 - Check left and right limits separately26 - `sympy_compute.py limit "f(x)" --var x --at a --dir left`27284. **Verify with Z3**29 - `z3_solve.py prove "limit_exists implies continuous"`303132## Tool Commands3334### Sympy_Limit35```bash36uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a37```3839### Sympy_Limit_Left40```bash41uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a --dir left42```4344### Z3_Prove45```bash46uv run python -m runtime.harness scripts/z3_solve.py prove "continuous_at_a"47```4849## Cognitive Tools Reference5051See `.claude/skills/math-mode/SKILL.md` for full tool documentation.
Run npx skillmds@latest add dojogenesis/continuity in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.
Continuity It is listed under Coding & Dev Tools on SkillMD.
This skill has not completed SkillMD's automated safety review yet. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.
This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.
Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.
DojoGenesis (@dojogenesis) published this skill. Their other Agent Skills are listed on their SkillMD profile.
DojoGenesis