Lingshu Solver
genesis-plan
Lingshu Solver — the certified deterministic (non-LLM) compute layer for AI agents: real equation systems (≤6 vars) and polynomial roots with Krawczyk interval certification and per-result trust tiers
{ "mcpServers": { "lingshu-solver": { "command": "npx", "args": [ "-y", "[email protected]" ] } }}.cursor/mcp.jsonMCP server
- Transport
- stdio
- Status
- Local
Power your agent
Add this server
The publisher's own command. Not a PlugMCP endpoint.
Host a copy with our keys and logs.
Local command
npx -y [email protected]Claude Code has no install link for a local command. Copy the command below and run it in a terminal.
shClaude Code
claude mcp add lingshu-solver -- npx -y lingshu-solver@1.0.25Run in a terminal.
jsonClaude Desktop
{ "mcpServers": { "lingshu-solver": { "command": "npx", "args": [ "-y", "[email protected]" ] } }}claude_desktop_config.json
Local · npmPublisher installStep-by-step: add this in Claude
Remote URL or a command on your machine? How the two installs differ
Run on PlugMCP
Host a copy with our keys and logs.
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
LaunchServer facts
Local- Transport
- stdio
- Version
- 1.0.25
- Last checked
- 2026-10-26
- Stars
- —
- Tools
- —
- Uptime
- —
Overview
About Lingshu Solver
Lingshu Solver — the certified deterministic (non-LLM) compute layer for AI agents: real equation systems (≤6 vars) and polynomial roots with Krawczyk interval certification and per-result trust tiers. The tool agents call instead of computing arithmetic
Tools
Tools
No tool list yet. Remote servers get one after the first health check.
FAQ
Questions
How do I install Lingshu Solver?
Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.
Does Lingshu Solver need an API key?
No required environment variable is listed on this record.
What transport does Lingshu Solver use?
Lingshu Solver runs locally over stdio.
When was Lingshu Solver last checked?
Last checked 2026-10-26. Lingshu Solver — the certified deterministic (non-LLM) compute layer for AI agents: real equation systems (≤6 vars) and polynomial roots with Krawczyk interval certification and per-result trust tiers. The tool agents call instead of computing arithmetic
From the publisher
Documentation
README is not crawled yet. Open the repository