LocalFree

LingNao MCP server

genesis-plan/lingnao

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

0 GitHub stars921 npm downloads / month

Install LingNao in Claude Code

Claude Code
claude mcp add lingnao -- npx -y lingnao-mcp
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "lingnao": {
      "command": "npx",
      "args": [
        "-y",
        "lingnao-mcp"
      ]
    }
  }
}

Frequently asked questions

What does the LingNao MCP server do?

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

Is the LingNao MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does LingNao run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add LingNao to Claude Code?

Run: claude mcp add lingnao -- npx -y lingnao-mcp

More ai agents & coding agents MCP servers

View all