LingNao

io.github.genesis-plan/lingnao

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
1.4.2
Registry
active
Published
10/13/2026

More Developer Tools servers

Browse all Developer Tools →

Lingshu Solver

genesis-plan

Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.

Developer ToolsAdded 1 month ago

io.github.genesiscode2026/genesis-agent-mcp

genesiscode2026

Pay-per-call x402 MCP tools on Base USDC: Release Guardian + Workflow Runner.

Developer ToolsAdded 1 month ago

Geniffy

Geniffy

Geniffy is the memory infrastructure for AI applications and agents.

Developer ToolsAdded 3 weeks ago

io.github.geniuskey/mcp-server-xlwings

geniuskey

Excel automation via xlwings COM. DRM-protected files, live sessions, VBA macros. Windows only.

Developer ToolsAdded 8 months ago

GenPM

GenPM-net

Search, inspect and inject full source modules (code + AI rules + MCP) pinned to a Git commit.

Developer ToolsAdded 4 weeks ago

MCPSentinel

gentaArnezzi

Precision-first security scanning for Model Context Protocol servers.

Developer ToolsAdded 1 month ago

Add the badge to your site

Show visitors that LingNao is listed here — it’s also the link we check for a free listing.

LingNao — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-genesis-plan-lingnao?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="LingNao — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![LingNao — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-genesis-plan-lingnao?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.