用途：该技能面向实分析中的连续性（continuity）问题，提供一套系统化的求解策略与工具命令。
主要能力：给出判断连续性的决策树，依次检查 f(a) 是否存在、lim_{x->a} f(x) 是否存在、以及两者是否相等；对分段函数分别检查左极限与右极限；并可用 Z3 进行逻辑证明。
使用方式：通过 SymPy 计算极限，例如 uv run python -m runtime.harness scripts/sympy_compute.py limit "f(x)" --var x --at a；计算左极限时追加 --dir left；用 Z3 证明时运行 uv run python -m runtime.harness scripts/z3_solve.py prove "continuous_at_a"。完整工具文档见 .claude/skills/math-mode/SKILL.md。
适用场景：需要验证函数在某点连续性、处理分段函数极限、或对连续性相关命题做形式化证明的数学任务。
限制：资料未提供具体收费、平台支持范围或效果保证等信息。