{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.genesis-plan/lingshu-solver","description":"确定性可认证实根计算 MCP 工具：给 AI Agent 的不会算错数的数学工具（非大模型、零幻觉）。","repository":{"url":"https://github.com/genesis-plan/lingshu-solver","source":"github"},"version":"1.0.15","remotes":[{"type":"streamable-http","url":"https://hongchenlingjing.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-29T08:31:13.966783Z","publishedAt":"2026-09-29T08:31:13.966783Z","updatedAt":"2026-09-29T08:31:13.966783Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.genesis-plan/lingshu-solver","description":"Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.","title":"Lingshu Solver","repository":{"url":"https://github.com/genesis-plan/lingshu-solver","source":"github"},"version":"1.0.17","websiteUrl":"https://hongchenlingjing.com/","packages":[{"registryType":"npm","identifier":"lingshu-solver","version":"1.0.17","transport":{"type":"stdio"}}],"remotes":[{"type":"streamable-http","url":"https://hongchenlingjing.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-01T05:36:57.460049Z","publishedAt":"2026-10-01T05:36:57.460049Z","updatedAt":"2026-10-01T05:36:57.460049Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.genesis-plan/lingshu-solver","description":"Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.","title":"Lingshu Solver","repository":{"url":"https://github.com/genesis-plan/lingshu-solver","source":"github"},"version":"1.0.18","websiteUrl":"https://hongchenlingjing.com/","packages":[{"registryType":"npm","identifier":"lingshu-solver","version":"1.0.18","transport":{"type":"stdio"}}],"remotes":[{"type":"streamable-http","url":"https://hongchenlingjing.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-01T06:00:16.295968Z","publishedAt":"2026-10-01T06:00:16.295968Z","updatedAt":"2026-10-01T06:00:16.295968Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.genesis-plan/lingshu-solver","description":"Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.","title":"Lingshu Solver","repository":{"url":"https://github.com/genesis-plan/lingshu-solver","source":"github"},"version":"1.0.19","websiteUrl":"https://hongchenlingjing.com/","packages":[{"registryType":"npm","identifier":"lingshu-solver","version":"1.0.19","transport":{"type":"stdio"}}],"remotes":[{"type":"streamable-http","url":"https://hongchenlingjing.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-02T07:55:29.11149Z","publishedAt":"2026-10-02T07:55:29.11149Z","updatedAt":"2026-10-02T07:55:29.11149Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.genesis-plan/lingshu-solver","description":"Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.","title":"Lingshu Solver","repository":{"url":"https://github.com/genesis-plan/lingshu-solver","source":"github"},"version":"1.0.22","websiteUrl":"https://hongchenlingjing.com/","packages":[{"registryType":"npm","identifier":"lingshu-solver","version":"1.0.22","transport":{"type":"stdio"}}],"remotes":[{"type":"streamable-http","url":"https://hongchenlingjing.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-03T15:24:27.512011Z","publishedAt":"2026-10-03T15:24:27.512011Z","updatedAt":"2026-10-03T15:24:27.512011Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.genesis-plan/lingshu-solver","description":"Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.","title":"Lingshu Solver","repository":{"url":"https://github.com/genesis-plan/lingshu-solver","source":"github"},"version":"1.0.23","websiteUrl":"https://hongchenlingjing.com/","packages":[{"registryType":"npm","identifier":"lingshu-solver","version":"1.0.23","transport":{"type":"stdio"}}],"remotes":[{"type":"streamable-http","url":"https://hongchenlingjing.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-09T08:49:07.225266Z","publishedAt":"2026-10-09T08:49:07.225266Z","updatedAt":"2026-10-09T08:49:07.225266Z","isLatest":true}}}],"metadata":{"count":6}}