Lingshu Solver MCP server

Lingshu Solver

Category: Certified Real-Root Computation

A deterministic solver for systems of real equations. The same problem always produces the same

answer — no language model, no randomness, no hallucination. Every solution it reports is

Krawczyk-certified (certified: true), reproducible, checkable by substitution, and usable as an

audit trail.

Two audiences: people who just want an answer (open the web page, no install), and AI agents (a standard MCP tool, one line to connect).

🔬 Live demo against the production endpoint: — call the real MCP endpoint right from the browser and watch poly_roots return certified real roots and verify judge a candidate value. Thirty seconds is enough to see why "an LLM will mis-compute this, Lingshu can certify it".

30 seconds to start

① Web (zero install, permanently free)

• Main site:
• Mirrors: ·

Type equations into the box (for example x^2 + y^2 = 25 and x + y = 7) and press solve. Everything is computed inside your browser; the equations never leave your device.

② AI agent (MCP — pick either form)

// local stdio — permanently free, unlimited, offline. Recommended.
{ "mcpServers": { "lingshu-solver": { "command": "npx", "args": ["-y", "lingshu-solver"] } } }

// hosted endpoint — no install, always on, reachable over the public internet
{ "mcpServers": { "lingshu-solver": { "type": "http", "url": "https://hongchenlingjing.com/mcp" } } }

It also works if you never pay: the hosted endpoint runs on an honor system — pass

"honorPaid": true in the solve arguments and the call is released for free (no verification, no

balance deduction). The npx local version and the web version are permanently free. If you do want to

support it, see the payment page — a corporate account, self-service

crediting, effective immediately, no human approval anywhere in the loop.

③ Developer

git clone https://github.com/genesis-plan/lingshu-solver.git
cd lingshu-solver
node mcp-server.js          # start the local MCP (stdio) server
node test/regression.js     # standing regression suite

Honest boundaries

Shortened. The full README is on GitHub.