用途：该技能用于处理实分析中的极限问题，按决策树给出求解思路。
主要能力：先尝试直接代入，若得到确定形式即为答案；遇到 0/0 或 inf/inf 等不定式时，可做代数变形（因式分解、有理化），或使用洛必达法则对分子分母求导；有界情形可用夹逼定理，寻找 g(x) <= f(x) <= h(x) 且两端极限相等；需要严格证明时，可建立 |f(x) - L| < epsilon 并求 delta 关于 epsilon 的表达式。
使用方式：提供以下命令，需保持原样。 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 夹逼定理的边界可用 z3_solve.py prove 验证，ε-δ 证明可用 math_scratchpad.py verify 验证。
适用场景：实分析课程中的极限计算与证明练习。
限制：完整工具文档见 .claude/skills/math-mode/SKILL.md；资料未提供安装步骤、收费、平台与效果信息。