用途：该技能用于处理线性代数中的向量空间问题，按决策树给出解题路径。
主要能力：子空间判定（是否含零向量、对加法封闭、对标量乘法封闭，并用 z3_solve.py prove 验证）；线性无关判定（以向量为列构造 Ax=0，用 sympy_compute.py nullspace 求零空间，零空间平凡即无关）；基与维数（先找生成集再去掉相关向量，用 sympy_compute.py rref 找主元列，维数等于主元个数）；基变换（求过渡矩阵 P，新坐标 = P^(-1) * 旧坐标，用 sympy_compute.py inverse 求逆）。
使用方式：通过 uv run python -m runtime.harness 调用脚本，例如：uv run python -m runtime.harness scripts/sympy_compute.py nullspace "[[1,2,3],[4,5,6]]"；uv run python -m runtime.harness scripts/sympy_compute.py rref "[[1,2,3],[4,5,6]]"；uv run python -m runtime.harness scripts/z3_solve.py prove "subspace_closed"。完整工具文档见 .claude/skills/math-mode/SKILL.md。
适用场景：需要按步骤求解向量空间相关题目的场景。
限制：资料未提供具体安装步骤、依赖版本、收费信息或效果说明。