# lingshu-solver

Lingshu Solver — deterministic (non-LLM) MCP tool for solving systems of real equations, up to 6 variables: interval arithmetic + affine arithmetic + constructive Krawczyk certification, zero dependencies, offline, no data upload, unproven-completeness ho

- **Type:** MCP server
- **Trust:** 60/100 (B), scored on the package rubric
- **Verification:** community-indexed — nobody has claimed this listing
- **Version:** 1.0.18
- **Author:** Unknown
- **License:** SEE LICENSE IN LICENSE
- **npm:** lingshu-solver
- **Endpoints:** streamable-http https://hongchenlingjing.com/mcp
- **Source:** https://github.com/genesis-plan/lingshu-solver
- **Endpoint health:** reachable (last checked 2026-10-01T21:48:07.815Z, 1 sample) — uptime is not a security property and is not part of the trust score
- **Compatible clients:** claude-code, cursor, copilot, chatgpt, gemini (basis: transport)

## Trust

60/100 (B), scored on the package rubric
- Publisher verified: no
- Install scripts: nothing suspicious found
- Prompt-injection scan: not run
- Obfuscation scan: not run
- Evidence age: 1 day

## Security scan

- **Status:** clean
- **Scanned:** 2026-10-01T21:47:29.181Z
- **Version scanned:** 1.0.18
- **CVEs:** none found by OSV at scan time

## Tools

5 declared. Statically extracted from the shipped source — a floor on the surface, not a census.
- `solve`
- `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 certified by Krawczyk with a strict error box. Coefficients are ordered highest degree first, so [1,-2,-5,6] m
- `verify`
- `pay`

## Install

**Verdict: review** — Installable, but 1 thing to check first: No publisher has proved control of this listing; it is indexed, not vouched for.
**Cautions** (coverage gaps and advisories — never blocking)
- No publisher has proved control of this listing; it is indexed, not vouched for.
**Config** (claude-code):
```json
"{\n  \"mcpServers\": {\n    \"lingshu-solver\": {\n      \"command\": \"npx\",\n      \"args\": [\n        \"-y\",\n        \"lingshu-solver\"\n      ]\n    }\n  }\n}"
```

## Blast radius

Contained to moderate — no credential declaration found, from the publisher, the upstream registry, or the README. Known so far: runs locally and hosted; read-only tool surface.
- Floor 15, ceiling 33 (tier: unknown)
- `unknown` means the floor and ceiling land in different bands — not measured enough to name one. It does not mean low.
- This is impact, not likelihood. A high radius is not a defect: a filesystem server is supposed to write files. It is never part of the trust score.

## Machine-readable views of this entry

- Signed JSON: https://forgeregistry.com/api/v1/packages/lingshu-solver
- Install plan: https://forgeregistry.com/api/v1/packages/lingshu-solver/install-plan
- Alternatives: https://forgeregistry.com/api/v1/alternatives/lingshu-solver
- HTML page: https://forgeregistry.com/registry/lingshu-solver
- MCP: POST https://forgeregistry.com/api/mcp → `forge_get_package` / `forge_install_plan`

## About this document

Generated by Forge (https://forgeregistry.com) — a compact rendering of the same record served, signed, at the JSON URL above. Trust and scan facts are the registry's own measurements; anything Forge did not measure is named as unmeasured rather than omitted.