MCP server

LingNao

io.github.genesis-plan/lingnao

Checked 25 Oct 2026, 21:11 UTC · Still published on its registry; checked against OSV.dev; never run by us

LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.

Runs on your computer

Website Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 25 Oct 2026, 21:11 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add lingnao -- npx -y lingnao-mcp@1.4.2

Claude Desktop

{"mcpServers":{"lingnao":{"command":"npx","args":["-y","lingnao-mcp@1.4.2"]}}}

Codex (config.toml)

[mcp_servers.lingnao]
command = "npx"
args = ["-y","lingnao-mcp@1.4.2"]

Gemini CLI

{"mcpServers":{"lingnao":{"command":"npx","args":["-y","lingnao-mcp@1.4.2"]}}}

Cursor

{"mcpServers":{"lingnao":{"command":"npx","args":["-y","lingnao-mcp@1.4.2"]}}}

VS Code

{"servers":{"lingnao":{"type":"stdio","command":"npx","args":["-y","lingnao-mcp@1.4.2"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

Munchausen Crypto Analytics
Crypto analytics via x402: free BTC/ETH/SOL prices, AI analysis and reports in USDC.
MeshMarket
The agent-to-agent capability exchange — rent memory, reasoning and safety, settled per call.
Compliance Intelligence
What one compliance standard already evidences of another, with the reasoning and the rejections.
Lingshu Solver
Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.
Arrowmem
Free Ollama hardening checker, plus tools for privacy architecture and the Data Dignity Standard.
RWA Data MCP Server
Pay-per-call crypto data for agents: metrics, claims, custom briefs. USDC via x402.
Insumermodel Insumer
Wallet auth: send a wallet and conditions, get a signed boolean across 37 chains.
Atomadic MCP
Atomadic MCP: 68 deterministic tools for agent identity, escrow, SLA, EU AI Act compliance.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.genesis-plan/lingnao.svg)](https://aptlynx.net/servers/io.github.genesis-plan/lingnao)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents