Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →Problem-solving strategies for vector spaces in linear algebra
| Test case | Without → With | Effect | Δ tokens | Δ turns |
|---|---|---|---|---|
| case-02 | ✗→✓ | ▲ Improved | -56% | 0% |
| case-04 | ✗→✓ | ▲ Improved | -52% | 0% |
| case-06 | ✗→✓ | ▲ Improved | -43% | 0% |
| case-10 | ✗→✓ | ▲ Improved | -40% | 0% |
| case-14 | ✗→✓ | ▲ Improved | -56% | 0% |
Use this skill when working on vector-spaces problems in linear algebra.
z3_solve.py provesympy_compute.py nullspace "A"sympy_compute.py rref "A" to find pivot columnssympy_compute.py inverse "P"bashuv run python -m runtime.harness scripts/sympy_compute.py nullspace "[[1,2,3],[4,5,6]]"
bashuv run python -m runtime.harness scripts/sympy_compute.py rref "[[1,2,3],[4,5,6]]"
bashuv run python -m runtime.harness scripts/z3_solve.py prove "subspace_closed"
See .claude/skills/math-mode/SKILL.md for full tool documentation.
Other measured skills in the registry, with their headline benchmark lift.