verified-technical-solver
Provides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.
- Score
- Unranked
- Evidence
- No signals yet
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- sdiehl-sympy85 stars · 13 forks89.725
- wolfram-language-mcp13 stars · 3 forks69.809
- 611711dark-sympy-calculator6 stars · 4 forks61.407
What it is
Provides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.
When to use it
Provides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.