Agent Skills
› parcadei/Continuous-Claude-v3
› limits
limits
GitHub针对实分析极限问题的解题技能，提供直接代入、洛必达法则、夹逼定理及ε-δ证明等策略，并集成Sympy和Z3工具进行计算与验证。
触发场景
求解函数极限
处理未定式极限
进行极限的严格数学证明
安装
npx skills add parcadei/Continuous-Claude-v3 --skill limits -g -y
SKILL.md
Frontmatter
{
"name": "limits",
"description": "Problem-solving strategies for limits in real analysis",
"allowed-tools": [
"Bash",
"Read"
]
}
Limits
When to Use
Use this skill when working on limits problems in real analysis.
Decision Tree
-
Direct Substitution
- Try plugging in the value directly
- If you get a determinate form, that's the answer
-
Indeterminate Form? (0/0, inf/inf)
- Try algebraic manipulation (factor, rationalize)
- Try L'Hopital's rule:
sympy_compute.py diffon numerator/denominator
-
Squeeze Theorem
- If bounded: find g(x) <= f(x) <= h(x) where lim g = lim h
- Verify bounds with
z3_solve.py prove
-
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.
版本历史
- d07ff4b 当前 2026-08-20 12:49
