Find the right tool for your math problem.
What it does
Guides users to suitable tools for mathematical computation, reasoning checks, learning, and formal proofs.
When to use it
Use when asking which math tool to choose or how to approach a mathematical task.
How to use it
Ask for help choosing a math tool; it returns guidance on which tool and commands fit the task.
Latest review
What you need · 1
The documented setup uses uv to install the math scripts and dependencies.
Access · 1
This skill
uv sync
Execute
Installs math script dependencies