Install

Pick the AI app you use, then copy the settings.

Passed 2/4 checks · Runs on your computer

We hid some of the commands

Connect by URL: the server address did not answer when we checked

Use “Run on your computer” instead; the steps are below

First: which AI do you use?

ClaudeWeb · app · phoneChatGPTWebClaude CodeTerminalCursorCode editorVS CodeCode editorOtherOther apps

Pick your app and the steps appear below.

Works with Claude, with some setup first

Install Node.js on your computer first (one time) · Only the Claude desktop app (Windows or Mac), not the web or phone

1
Install Node.js (if you don’t have it)
Already installed? Check first · Open Terminal, type this command and press Enter
node -v
- A version number such as v26.13.1 = installed, skip this step
- "command not found" (on Windows: "is not recognized") = not installed yet, or installed but Terminal needs to be closed and reopened
How to open Terminal
Mac: press ⌘ + Space, type Terminal, press Enter
Windows: open Start, type Windows PowerShell, then Open
Not installed: Open the official download page, pick the LTS version and the click-through installer: .pkg on Mac · .msi on Windows. Double-click and follow it to the end. No curl command needed
Open the Node.js download page ↗
When it’s done, close Terminal, open it again and run the same command. You should see a version number: node -v
Install once; it works for everything that needs Node.js
Done
Open the Claude desktop app’s settings file
SettingsDeveloperEdit Config
Done
Paste these settings and save the file
Checking the commands · copy buttons appear once they pass
Done
Quit Claude and open it again
Done
Try it
Use Lingshu Solver and tell me what you can do for me, then show me one thing
✓ If Claude says it is using Lingshu Solver or shows a Lingshu Solver tool in the answer, you are connected

Menu names checked against Anthropic’s help page on Nov 11, 2026 · your screen may differ slightly by app version

ChatGPT cannot connect Lingshu Solver yet

Lingshu Solver runs on your computer, but ChatGPT can only connect servers that run on the web

What you can do instead

A · Use an app that can connect Lingshu Solver

Steps for Claude →Install Node.js on your computer first (one time) · Only the Claude desktop app (Windows or Mac), not the web or phone
Steps for Claude Code →Install Node.js on your computer first (one time)
Steps for Cursor →Install Node.js on your computer first (one time)
Steps for VS Code →Install Node.js on your computer first (one time)

B · Others in Other that work with ChatGPT

Picked from the most used in the same category, only ones that connect by address with no key

Hostinger✓ ChatGPT
World Monitor✓ ChatGPT
Svelte MCP✓ ChatGPT

Works with Claude Code, with some setup first

Install Node.js on your computer first (one time)

1
Install Node.js (if you don’t have it)
Already installed? Check first · Open Terminal, type this command and press Enter
node -v
- A version number such as v26.13.1 = installed, skip this step
- "command not found" (on Windows: "is not recognized") = not installed yet, or installed but Terminal needs to be closed and reopened
How to open Terminal
Mac: press ⌘ + Space, type Terminal, press Enter
Windows: open Start, type Windows PowerShell, then Open
Not installed: Open the official download page, pick the LTS version and the click-through installer: .pkg on Mac · .msi on Windows. Double-click and follow it to the end. No curl command needed
Open the Node.js download page ↗
When it’s done, close Terminal, open it again and run the same command. You should see a version number: node -v
Install once; it works for everything that needs Node.js
Done
Open Terminal
Mac: press Command+Space and type Terminal · Windows: open PowerShell
Done
Paste this command and press Enter
Checking the commands · copy buttons appear once they pass
Done
Type /mcp in Claude Code
You should see Lingshu Solver listed as connected
Done
Try it
Use Lingshu Solver and tell me what you can do for me, then show me one thing
✓ If Claude Code says it is using Lingshu Solver or shows a Lingshu Solver tool in the answer, you are connected

Menu names checked against Anthropic’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Works with Cursor, with some setup first

Install Node.js on your computer first (one time)

1
Install Node.js (if you don’t have it)
Already installed? Check first · Open Terminal, type this command and press Enter
node -v
- A version number such as v26.13.1 = installed, skip this step
- "command not found" (on Windows: "is not recognized") = not installed yet, or installed but Terminal needs to be closed and reopened
How to open Terminal
Mac: press ⌘ + Space, type Terminal, press Enter
Windows: open Start, type Windows PowerShell, then Open
Not installed: Open the official download page, pick the LTS version and the click-through installer: .pkg on Mac · .msi on Windows. Double-click and follow it to the end. No curl command needed
Open the Node.js download page ↗
When it’s done, close Terminal, open it again and run the same command. You should see a version number: node -v
Install once; it works for everything that needs Node.js
Done
Click this button to open Cursor
Checking the commands · copy buttons appear once they pass
Done
Open the AI chat in Cursor in Agent mode
Done
Try it
Use Lingshu Solver and tell me what you can do for me, then show me one thing
✓ If Cursor says it is using Lingshu Solver or shows a Lingshu Solver tool in the answer, you are connected

Menu names checked against Cursor’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Works with VS Code, with some setup first

Install Node.js on your computer first (one time)

1
Install Node.js (if you don’t have it)
Already installed? Check first · Open Terminal, type this command and press Enter
node -v
- A version number such as v26.13.1 = installed, skip this step
- "command not found" (on Windows: "is not recognized") = not installed yet, or installed but Terminal needs to be closed and reopened
How to open Terminal
Mac: press ⌘ + Space, type Terminal, press Enter
Windows: open Start, type Windows PowerShell, then Open
Not installed: Open the official download page, pick the LTS version and the click-through installer: .pkg on Mac · .msi on Windows. Double-click and follow it to the end. No curl command needed
Open the Node.js download page ↗
When it’s done, close Terminal, open it again and run the same command. You should see a version number: node -v
Install once; it works for everything that needs Node.js
Done
Click this button to open VS Code
Checking the commands · copy buttons appear once they pass
Done
Open the AI chat in VS Code in Agent mode
Done
Try it
Use Lingshu Solver and tell me what you can do for me, then show me one thing
✓ If VS Code says it is using Lingshu Solver or shows a Lingshu Solver tool in the answer, you are connected

Menu names checked against VS Code’s help page on Nov 11, 2026 · your screen may differ slightly by app version

Other apps that use MCP, such as Windsurf, Zed or Gemini CLI, each add servers differently. See how in the app list.

See every app that uses MCP →

JSON settings are under “For developers” below

Stuck? Ask people who use Lingshu Solver💬 Discussion →

For developers: Terminal commands and JSON settings

Installed on your computer

Claude Code

Checking the commands · copy buttons appear once they pass

Claude Desktop (claude_desktop_config.json)

Checking the commands · copy buttons appear once they pass

Cursor (~/.cursor/mcp.json)

Checking the commands · copy buttons appear once they pass

VS Code (mcp.json)

Checking the commands · copy buttons appear once they pass

These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.

Which apps can use it

Based on how this server connects and on each app’s own docs, checked Nov 10, 2026.

Connect over the internet in

Claude Goose LM Studio Msty Studio Cherry Studio Cursor VS Code + GitHub Copilot Visual Studio Windsurf (Devin Desktop)Zed Kiro Cline Continue JetBrains AI Assistant Claude Code Codex CLI Gemini CLI OpenCode nodecode Warp LibreChat Open WebUI Raycast

Run on your computer in

Claude Goose LM Studio Msty Studio Cherry Studio Cursor VS Code + GitHub Copilot Visual Studio Windsurf (Devin Desktop)Zed Kiro Cline Continue JetBrains AI Assistant Claude Code Codex CLI Gemini CLI OpenCode nodecode Warp LibreChat Raycast

All apps, with pros and cons →

What it can do

The server did not answer when we last checked, so we could not read its tools.

Basic checksi

We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 15, 2026

✓ Pass
Maker matches the repo
The registry name was verified with the GitHub account genesis-plan, which owns the repo
✓ Pass
Still maintained
Code last changed 30 days ago
! Caution
Has a licence
GitHub could not identify the licence type; open the file to check
✕ Fail
Endpoint responds
Did not respond within 6 seconds when we checked
– Not applicable
Sign-in with OAuth
Did not respond within 6 seconds when we checked
… Not checked yet
No hidden instructions in tool descriptions
Not checked yet; we read the tool list when we check the endpoint

Published vulnerabilities (OSV.dev)

Not checked yet

What we check → · JSON

Makers: ask for a re-check or report wrong info

Sign in

Discussion

Ask, share a tip or report that it does not work. Sorted by what people marked helpful.

No posts yet. Be the first to ask or share.

Posts here are written by users, not the PopNx team.

Sign in to post

User reviews

No reviews yet

Sign in to write a review

Compared with others in Otheri

More stars than 0% of the other 19883 servers in this category
Published to the registry more recently than 55% of the other 19883 servers in this category
Basic checks equal to or better than 10% of the other 19883 servers in this category

Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.

Common questions

Is Lingshu Solver safe?

It passed 2 of 4 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.

What keys or codes does it need?

The registry does not list a required key, though some servers ask you to sign in on first use.

Does it run on my computer or in the cloud?

Either way works: install it on your computer or connect to the cloud version.

Is it still maintained?

The GitHub repo last changed 30 days ago, and the latest version (1.0.23) reached the registry 37 days ago.

Which apps can use it?

Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT on the web (full MCP on Business and above; Pro read-only).

What can I use instead?

In the same category: World Monitor, openstatus, Oh My Posh Validator, Strata, Jitsu

Similar alternatives

Same category, other makers, commands already checked. Official ones first, then by stars.

Reading a card:↓ Downloads per weeki★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi

World Monitor

Real-time global intelligence on conflict, markets, energy, trade, shipping and cyber. 97 tools.

by koala73Widely used★ 90.6KUpdated yesterday

Runs in the cloud✓ service owner · worldmonitor.app

How to connect

openstatus

Manage monitors, status pages, incidents and maintenances in your openstatus workspace.

by openstatusHQWidely used★ 9.3KUpdated 2 months ago

Runs in the cloud✓ service owner · openstatus.dev

How to connect

Oh My Posh Validator

Validate oh-my-posh configurations and segment snippets against the official schema.

by JanDeDobbeleerWidely used★ 23.8K Stars for the whole repoUpdated 26 days ago

Runs in the cloud✓ service owner · ohmyposh.dev

How to connect

Strata

MCP server for progressive tool usage at any scale (see https://klavis.ai)

by Klavis-AIGrowing★ 5.8KUpdated 14 months ago

Runs in the cloudRepo archived✓ klavis.ai

How to connect

Jitsu

Manage Jitsu data pipelines: destinations, streams, connections, functions, live events.

by jitsucomWidely used★ 5.1KUpdated 4 months ago

Runs in the cloud✓ service owner · jitsu.com

How to connect

World Monitor — Runs in the cloud, nothing to install · No key needed
openstatus — Runs in the cloud, nothing to install · No key needed
Oh My Posh Validator — Runs in the cloud, nothing to install · No key needed
Strata — Runs in the cloud, nothing to install · No key needed
Jitsu — Runs in the cloud, nothing to install · No key needed

README from the maker

Open the README

Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.

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

reproducible and checkable by substitution, and the result carries structured decision fields that

tell the calling agent exactly what to do next.

Built for AI agents. Connect it as an MCP tool and your model stops guessing arithmetic. It is a deterministic, non-LLM numerical engine: same input, same answer, every reported solution checkable by substitution, and — crucially — every result comes with a trust block that tells the agent whether the answer is complete, safe to use, or needs more work. You branch on those fields; you never re-derive completeness yourself. Three things matter to a calling agent, and all three are built in:

What an agent needs	What this tool does
A verdict it can branch on without guessing	every result carries a `conclusion` — exactly one of 全部解 / 部分解 / 无解 / 计算资源不足 (all / partial / none / budget-exhausted) — plus `canAssert` for programmatic use, so you never have to re-derive completeness yourself
An 8-level `trust` block for the "how much do I believe it" question	`trustLevel` (8 values, incl. `complete_but_shown_partially` — search finished, only the page was capped), `safeToUse`, and `provenCount` / `candidateCount` so you never have to count solutions yourself
Honesty about "no answer"	an empty result is never silently "no real solution" — `meaningOfEmpty` distinguishes proven empty / not found within budget / input not solvable
A proof of completeness when one exists	`trust.completeness` compares the number of solutions found against a theorem-proven upper bound (BKK mixed volume of the Newton polytopes, Bézout, multi-homogeneous Bézout, Milnor–Thom, Descartes/fewnomial). `complete` = the count hits the bound, so you may say "these are all of them". Anything else says so instead of guessing
Inequality constraints that are actually enforced	`x^2=0, x>0` returns no solution, not `x=0` — a final gate substitutes every candidate back into the problem's own inequalities (open endpoints included) and drops the violators
A way to fix its own mistake	`verify` returns the certified corrected value and how far off the original was, so a wrong number becomes a repair, not a retry loop

It also does 1D/2D/3D geometry through one geometry tool (130 closed-form ops: distance, intersection, area, volume, angle, convex hull, point-in-polygon, rotation, bounding box, plus the classical triangle and circle theorems — five centres, Euler line and OI² = R(R−2r), Heron, Stewart, Ceva, Menelaus, Ptolemy, Miquel, Napoleon, Pick, pole/polar, Brahmagupta, plus a tropical/convex bridge (Newton polytope, BKK mixed-volume bound, regular-subdivision multiplicities) — and 3D tetrahedron/Monge point). Same contract as the solver: a trust block tells the agent whether the value is exact, whether the computation *proved* there is definitely_none, or whether the input itself is degenerate (parallel / collinear / coplanar) — and in the last case the correct move is to report the degeneracy, never to invent a number.

Humans can use the web page too (zero install) — but the design target is the agent: compact tool descriptions, structured errors that say what to change, and no prose the model has to pay for on every turn.

🔬 Live demo against the production endpoint: https://hclj-1409755229.cos.ap-guangzhou.myqcloud.com/lingshu-solver/demo.html — 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".


Yes	a deterministic (non-LLM) numerical engine for systems of real equations; algebraic equations and common transcendentals (`sin/cos/tan/log/exp/sqrt/abs`) all work
No	a symbolic CAS (no analytic derivation), an ODE solver, an integer-programming solver, and it does not claim completeness it did not prove — the completeness block is a theorem-backed bound where one exists, and `unknown` everywhere else

30 seconds to start

① 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.

② Web (zero install, permanently free)

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.

③ 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

Discovery — where agents find Lingshu

npm — npx -y lingshu-solver (local stdio, permanently free, offline)
Hosted endpoint — https://hongchenlingjing.com/mcp (MCP Streamable HTTP; always on, no install, no key)
Auto-indexed MCP directories — Glama · HiMCP · LobeHub

To surface it in more clients, point any MCP client at the hosted endpoint above, or submit the repo to Smithery, the official MCP Registry, or mcp.so. The hosted endpoint is the canonical discovery URL.

Honest boundaries

Dimension	What it means
Verified solutions	every reported solution is Krawczyk-certified (`tier=proven`); error is within the certified radius; mathematically faithful
Completeness	proved where a bound exists. For polynomial systems the engine derives a rigorous upper bound on the number of isolated solutions (BKK mixed volume of the Newton polytopes, Bézout, multi-homogeneous Bézout, Milnor–Thom, Descartes/fewnomial) and reports `trust.completeness`. `complete` means the number found equals that bound, so "these are all the solutions" is a theorem, not a guess. `incomplete` / `unknown` never pretends otherwise
`scope` caveat	the bound's `scope` is a closed enum. `"(C)^n"` (BKK) counts only solutions where every* variable is non-zero, so a solution with a zero coordinate is outside the count — `complete` there means "all non-zero solutions found"
`truncated` semantics	only means "the global branch search did not finish inside the budget"; it does not mean solutions were missed. In most cases every real solution was found
Variables	≤ 6
Equations	1–64 (server-side guard), and the count must be ≥ the variable count
Search range	default ±1e6 per variable; supply `domain` explicitly for fast-growing functions (`exp/sinh`)
Output precision	No user-facing switch. Internal computation is fixed at 6 decimals; the agent-facing display is 4 decimals (`precisionDecimals`) while `solutions[].values` keep full float precision
Determinism	no random branching; identical input always yields identical output, so caching is safe
Data	web version sends nothing upward; local version runs offline; the hosted endpoint does not persist equation contents
Dependencies	zero third-party dependencies (Node built-ins and standard browser APIs only)

Not guaranteed: 100% exhaustiveness for every input, or convergence inside budget for highly pathological systems. That is the honest floor of numerical mathematics ("guaranteeing all solutions" is undecidable in the general case), not a defect to be fixed.

Documentation

The machine-readable description for AI agents lives at llms.txt.

Three of the design docs are in English; the deep-dive docs (design rationale, technical reference, licence and pricing, contract, versioning, history) are still in their original Chinese. Each row below tells you which is which.

Doc	Language	Contents
01 · Product role	EN	what it is, what problem it solves, who it is for, capabilities and limits, official wording
02 · User guide	EN	the three forms, the MCP tool contract (input/output/errors), self-hosting, FAQ
05 · Use cases	EN	applicable scenarios (agent backend / multi-agent / off-chain computation / tax and finance control / on-prem / education / audit) and the ones that do not apply
03 · Design ideas	中文	six design principles, why it is trustworthy, why no LLM, what it deliberately refuses to do
04 · Technical reference	中文	mathematical framework, algorithm pipeline, operator table, hard spec constraints, test suite
06 · Commercial licence and pricing	中文	licence model, what is free, hosted-endpoint metering, enterprise annual licence, invoicing
07 · Licence contract	中文	commercial licence template, clause walkthrough, signing flow
08 · Versioning	中文	version semantics, release flow and the consistency checklist, compatibility promises, history
09 · Project history	中文	how it got from the original problem to where it stands now

If you read only one page, read 01 · Product role — it states the limits and the approved wording.

Privacy and security commitments are published separately: privacy.html.

Licence (summary)

Free for non-commercial use; commercial use requires written permission (a proprietary licence of our own, not an open-source licence):

Non-commercial, free: personal study / research / teaching / evaluation; internal use by non-profit organisations and educational institutions; internal evaluation by teams with annual revenue up to RMB 1 million (≤ 3 instances).
Commercial use needs prior written permission: any product, service or business operated for profit, resale of SaaS/cloud/API, integration,

Only the beginning is shown; read the rest in the repo

Lingshu Solver

What it does

Install

Install Node.js (if you don’t have it)

Open the Claude desktop app’s settings file

Paste these settings and save the file

Quit Claude and open it again

Try it

What you can do instead

Install Node.js (if you don’t have it)

Open Terminal

Paste this command and press Enter

Type /mcp in Claude Code

Try it

Install Node.js (if you don’t have it)

Click this button to open Cursor

Open the AI chat in Cursor in Agent mode

Try it

Install Node.js (if you don’t have it)

Click this button to open VS Code

Open the AI chat in VS Code in Agent mode

Try it

Installed on your computer

At a glance

Which apps can use it

Related guides

What it can do

Basic checksi

Maker matches the repo

Still maintained

Has a licence

Endpoint responds

Sign-in with OAuth

No hidden instructions in tool descriptions

Published vulnerabilities (OSV.dev)

Discussion

User reviews

Compared with others in Otheri

Common questions

Similar alternatives

World Monitor

openstatus

Oh My Posh Validator

Strata

Jitsu

README from the maker

Lingshu Solver

30 seconds to start

Discovery — where agents find Lingshu

Honest boundaries

Documentation

Licence (summary)