All servers · Payments & accounting · AI models & agents · Company & business data

Lingshu Solver

io.github.genesis-plan/lingshu-solver · v1.0.23

Measured by MCP Station

Description written by the publisher, not verified

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

Connect

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

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

Tools as reported by the server

• solve
  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
• give_feedback
  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.
• poly_roots
  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).
• verify
  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-
• geometry
  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
• pay
  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

Repository · Website · JSON · Text for agents · Registry updated 2026-10-09