{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.genesis-plan/lingnao","description":"LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.","title":"LingNao","repository":{"url":"https://github.com/genesis-plan/lingnao","source":"github"},"version":"1.4.1","websiteUrl":"https://hongchenlingjing.com/verify/","packages":[{"registryType":"npm","identifier":"lingnao-mcp","version":"1.4.1","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-09T09:17:04.282695Z","publishedAt":"2026-10-09T09:17:04.282695Z","updatedAt":"2026-10-09T09:17:04.282695Z","isLatest":true}}}