MCPLow riskUnclaimed

LingNao

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

genesis-plangenesis-plan/lingnaoUpdated Oct 9, 2026

server.json

{
  "$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"
      }
    }
  ]
}

Permissions

DeclaredDetected
Runs code—node
Installs—npm:lingnao-mcp@1.4.1
Runs install scripts—None
NetworkNoneNone
Needs credentialsNoneNone
Outside the workspace—None
Agent tools—None

Checks

Low risk · Nothing worth a warning was found.

Not reviewed by a person · Checked by rules; the model review is not switched on yet.

Versions

  1. #11.4.1latestOct 9, 2026