Deterministic, non-LLM solver for real equation systems and polynomial roots with certified, checkable results and a trust block for agents.
Setup
Choose your client, copy the config, then fill in any required environment variables.
Local
claude mcp add lingshu-solver -- npx -y lingshu-solver~/.codex/config.toml
[mcp_servers.lingshu-solver]
command = "npx"
args = ["-y", "lingshu-solver"]
# codex mcp add lingshu-solver -- npx -y lingshu-solver~/.cursor/mcp.json
{
"mcpServers": {
"lingshu-solver": {
"command": "npx",
"args": [
"-y",
"lingshu-solver"
]
}
}
}.vscode/mcp.json
{
"servers": {
"lingshu-solver": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"lingshu-solver"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"lingshu-solver": {
"command": "npx",
"args": [
"-y",
"lingshu-solver"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"lingshu-solver": {
"command": "npx",
"args": [
"-y",
"lingshu-solver"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"lingshu-solver": {
"command": "npx",
"args": [
"-y",
"lingshu-solver"
]
}
}
}Remote
claude mcp add --transport http lingshu-solver https://hongchenlingjing.com/mcp~/.codex/config.toml
[mcp_servers.lingshu-solver]
url = "https://hongchenlingjing.com/mcp"
# codex mcp add lingshu-solver --url https://hongchenlingjing.com/mcp~/.cursor/mcp.json
{
"mcpServers": {
"lingshu-solver": {
"url": "https://hongchenlingjing.com/mcp"
}
}
}.vscode/mcp.json
{
"servers": {
"lingshu-solver": {
"type": "http",
"url": "https://hongchenlingjing.com/mcp"
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"lingshu-solver": {
"httpUrl": "https://hongchenlingjing.com/mcp"
}
}
}claude_desktop_config.json · Customize › Connectors › Add custom connector
{
"mcpServers": {
"lingshu-solver": {
"command": "npx",
"args": [
"-y",
"mcp-remote",
"https://hongchenlingjing.com/mcp"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"lingshu-solver": {
"url": "https://hongchenlingjing.com/mcp"
}
}
}