MCP server

Lingshu Solver

io.github.genesis-plan/lingshu-solver

Checked 25 Oct 2026, 20:29 UTC · Connected to it and listed its tools

Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.

Website Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Working at last check

Tools

6

Token cost

About 2,417 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

25 Oct 2026, 20:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http lingshu-solver https://hongchenlingjing.com/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.lingshu-solver]
url = "https://hongchenlingjing.com/mcp"

Gemini CLI

{"mcpServers":{"lingshu-solver":{"httpUrl":"https://hongchenlingjing.com/mcp"}}}

Cursor

{"mcpServers":{"lingshu-solver":{"url":"https://hongchenlingjing.com/mcp"}}}

VS Code

{"servers":{"lingshu-solver":{"type":"http","url":"https://hongchenlingjing.com/mcp"}}}

Antigravity

agy mcp add lingshu-solver https://hongchenlingjing.com/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"lingshu-solver","server_url":"https://hongchenlingjing.com/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"lingshu-solver","server_url":"https://hongchenlingjing.com/mcp"}

Tools

• geometry ~658 tokens
  Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact up to floating-point rounding, identical output for identical input. Use it instead of doing geometry yourself. Pass {op, ...args} with op o
• give_feedback ~152 tokens
  Report a problem to the operator when solve hits a dead end, returns an error, or produces something you believe is wrong. The text is written to a local log only and is never transmitted anywhere else.
• pay Moves money · ~480 tokens
  Optional voluntary-support only. The hosted endpoint is no per-call charge today (metering off) (metering off: no credential required, no call limit, no per-call charge), so no payment is needed at all. This tool records a support contribution of any amount: the channel is a corporate static collect
• poly_roots ~190 tokens
  All real roots of a polynomial, each individually Krawczyk-certified with a strict error box. Coefficients are highest degree first: [1,-2,-5,6] means x^3-2x^2-5x+6. Use it instead of letting a language model estimate roots. Complex roots are not returned (real only).
• solve ~616 tokens
  Deterministic (non-LLM) solver for systems of real equations. Use it instead of computing the math yourself whenever a wrong number has a cost. Same input always returns the identical result — no hallucination, no randomness, so caching and retries are safe. Supports algebraic equations and common t
• verify ~321 tokens
  Check whether a claimed answer is actually correct — call this on any number you computed yourself before passing it downstream. verdict=verified means it is a certified real root; verdict=refuted_or_unverified means it is NOT, and nearestCertifiedRoot then carries the correct value so you can self-

Browse

• GitHub tools
• Payments
• GitHub and code hosting
• Calling other AI models

Related MCP servers

• CalcBright Calculators
  160+ calculators: take-home pay for 166 countries, mortgage, loan, VAT, BMI, dates, units, currency.
• The Cure Protocol
  Agent research API for 15 disease areas, plus a T1D cure lab, sourced evidence ledger and models.
• Calcgrid
  China working-day data, UK bank holidays, IANA time zones and deterministic business deadlines.
• Agent Hive Orchestrator
  Deterministic nested hive-mind orchestration over the A2A rails: hire N solvers, adversarial cross-r
• Equation Steps
  Step-by-step solver for linear/quadratic equations in one variable, signs and ± always right.
• Kernelcad
  Agent-first CAD: editable .kcad.ts source, deterministic review, OpenCASCADE kernel.
• MORVS
  Keyless, read-only US public records for agents: SEC, FDA, enforcement, sanctions, market data.
• DiscreteRate
  Run DRS demos (Fast-Slow Drain, Hamburger Duo, Valdez Tanker) and explore the paradigm.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.genesis-plan/lingshu-solver.svg)](https://aptlynx.net/servers/io.github.genesis-plan/lingshu-solver)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents