MCP servers
LingNao
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
lingnao-mcp · npm 1.4.2 · stdio
claude mcp add --transport stdio lingnao -- npx -y lingnao-mcp@1.4.2Server details
- Registry name
- io.github.genesis-plan/lingnao
- Version
- 1.4.2
- Registry status
- active
