
Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.
Streamable HTTP
https://hongchenlingjing.com/mcpclaude mcp add --transport http lingshu-solver https://hongchenlingjing.com/mcplingshu-solver · npm 1.0.23 · stdio
claude mcp add --transport stdio lingshu-solver -- npx -y lingshu-solver@1.0.23