用途：该技能用于处理实分析中的收敛问题，提供从识别序列/级数类型到验证界、计算和的解题策略。
主要能力：包含决策树，可识别几何级数（|r| < 1 收敛）、p-级数（p > 1 收敛）、交错级数（检查递减且极限为 0）；可应用比值检验、根值检验和比较检验；可用 z3_solve.py prove 验证不等式界，并用导数检查单调性；若收敛，可计算级数和。
使用方式：通过工具命令执行，例如：uv run python -m runtime.harness scripts/sympy_compute.py limit "a_n" --var n --at oo；uv run python -m runtime.harness scripts/sympy_compute.py sum "1/n**2" --var n --from 1 --to oo；uv run python -m runtime.harness scripts/z3_solve.py prove "series_bounded"。完整工具文档见 .claude/skills/math-mode/SKILL.md。
适用场景：适合需要判断数列或级数收敛性、验证界或求收敛和的实分析任务。
限制：资料未提供安装、收费、平台或效果信息；具体命令参数需按实际表达式调整。