io.github.genesis-plan/lingshu-solver

down checked 2026-11-09T19:37:34.348Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Lingshu Solver

Publisher-provided description

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

Summary by lookupd

Solves real equation systems and polynomial roots deterministically, verifies claimed answers, and runs closed-form geometry calculations.

Install

Claude Code, remote (streamable-http)

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

Claude Code, npm package (stdio)

claude mcp add lingshu-solver -- npx -y lingshu-solver

Codex, remote (streamable-http)

codex mcp add lingshu-solver --url https://hongchenlingjing.com/mcp

Codex, npm package (stdio)

codex mcp add lingshu-solver -- npx -y lingshu-solver

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "lingshu-solver": {
      "command": "npx",
      "args": [
        "-y",
        "lingshu-solver"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (6 tools)

Publisher-provided text

• 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 alway
• 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 on
• 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-
• 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
• geometry Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact
• 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-cal

Details

• Version: 1.0.23
• Transports: streamable-http, stdio
• Uptime (7 days): 29%
• Median latency: 4160 ms
• First indexed: 2026-11-01T09:30:34.909Z
• Last seen in registry: 2026-11-01T09:30:35.138Z
• Repository: https://github.com/genesis-plan/lingshu-solver
• Website: https://hongchenlingjing.com/

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.genesis-plan/lingshu-solver.svg)](https://lookupd.com/servers/io.github.genesis-plan/lingshu-solver)

• 62071 servers
• Last crawl: 2026-11-11T16:39:06.253Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp