MCP serverio.github.genesis-plan/lingshu-solver

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

UNRATEDActivestreamable-httphongchenlingjing.com

Overview

Score?

UNRATED 0.000

of what a free look can see, on 5 looks

Looks

last 4 hr ago

Tools

changed 2 days ago

URL

hongchenlingjing.com/mcp

streamable-http

Says it is

lingshu-solver 1.0.22

protocol 2024-11-05

In the record since

4 days ago

0median 0.606 · this server 0.000 · highest on record 0.8561

The tools this server lists, read out of the definition it returned
Tool	Schema
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 tran	input · no output
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 pay	input · no output
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] means x^3-2x^2-5x+6.	input · no output
solve Deterministic solver for systems of real equations. This is not a language model: no randomness, and identical input always returns an identical, reproducible result. Use it when y	input · no output
verify Check whether a claimed answer is correct. Give the equation plus a candidate value (a number for a single variable, {variable:value} pairs, or an array in variable order); the sam	input · no output

Verify it yourselfnpx teppi-check https://hongchenlingjing.com/mcpcurl -s https://api.teppi.xyz/v1/trust/mcp/mcs_01M3RGDTCBVHFM6WNZBVJ4SHH9