Lingshu Solver

A deterministic, non-LLM math tool that solves real-valued equation systems and certifies each root with interval arithmetic.

What it does

Lingshu Solver is a numerical solver for real-valued algebraic and common transcendental equation systems (sin, cos, tan, log, exp, sqrt, abs). It exposes MCP tools such as poly_roots, which returns real roots with Krawczyk interval certification (certified: true), and verify, which judges whether a candidate root is valid. Results are deterministic: the same input always yields the same output, with no randomness or model inference. It also reports truncated=true when a global search is not proven exhaustive within budget.

When to use it

Use it when an assistant needs reproducible numeric answers to equation systems rather than model-generated arithmetic, for example checking candidate roots, back-substituting solutions, or feeding auditable results into a workflow. It suits up to 6 variables and 1 to 64 equations, and is not a symbolic CAS, differential equation solver, or integer programming solver.

Requirements

Runs as a remote streamable HTTP endpoint at with no declared authentication, environment variables, or headers. A local stdio form is also documented via npx lingshu-solver, which needs Node.js and works offline. The web version runs entirely in the browser. No account or API key is declared.