LingNao

Name: LingNao
Author: genesis-plan

de genesis-planversión 1.4.2i★ 0iSe ejecuta en tu computadora

Nombre en el registroio.github.genesis-plan/lingnao

Cómo instalar

What it does

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

Connects Se ejecuta en tu computadora
Account or key No key needed
Category Búsqueda y memoria de IA

Instalación

Elige la app de IA que usas y copia la configuración.

Pasó 2/3 revisiones · Funciona en tu computadora · ✓ Comandos revisados el 14 nov 2026

Primero: ¿qué IA usas?

ClaudeWeb · app · móvilChatGPTWebClaude CodeTerminalCursorEditor de códigoVS CodeEditor de códigoOtrasOtras apps

Elige tu app y los pasos aparecen abajo.

Funciona con Claude, pero hay que preparar algo antes

Instala Node.js en tu computadora primero (una sola vez) · Solo en la app de Claude para computadora (Windows o Mac), no en la web ni en el móvil

Que la IA lo instale

Copia este mensaje en un chat de Claude. La IA revisa tu equipo, te dice qué archivo va a cambiar y espera tu visto bueno cada vez.

Instala el MCP server LingNao para Claude en este equipo, en este orden: 1) Comprueba Node.js con node -v. Si falta, dime que lo instale desde https://nodejs.org/en/download; no lo instales tú. 2) Usa solo esta configuración (ya revisada por PopNx MCP): { "mcpServers": { "lingnao": { "command": "npx", "args": [ "-y", "lingnao-mcp" ] } } } 3) Dime la ruta completa del archivo que vas a cambiar o el comando que vas a ejecutar y espera mi visto bueno. 4) No hace falta clave. 5) Haz lo acordado y comprueba que las herramientas de LingNao aparecen de verdad.

Este mensaje no lleva tu clave. Si hace falta una, la IA te pedirá que la pegues tú en el archivo o en el campo de la app.

1
Instala Node.js (si no lo tienes)
¿Ya está instalado? Compruébalo primero · Abre la Terminal, escribe este comando y pulsa Enter
node -v
- Aparece un número de versión, p. ej. v26.13.1 = ya está instalado, sáltate este paso
- Aparece "command not found" (en Windows, "is not recognized") = aún no está instalado, o acabas de instalarlo y debes cerrar y volver a abrir la Terminal
Cómo abrir la Terminal
Mac: pulsa ⌘ + Espacio, escribe Terminal y pulsa Enter
Windows: abre Inicio, escribe Windows PowerShell y elige Abrir
Si no está instalado: Abre la página oficial de descargas, elige la versión LTS y el instalador de clics: .pkg en Mac · .msi en Windows. Haz doble clic y sigue hasta el final. No necesitas ningún comando curl
Abrir la página de descarga de Node.js ↗
Al terminar, cierra la Terminal, ábrela de nuevo y ejecuta el mismo comando. Debe aparecer un número de versión: node -v
Se instala una vez y sirve para todo lo que usa Node.js
Hecho
Abre el archivo de configuración de la app de Claude de escritorio
SettingsDeveloperEdit Config
Hecho

Pega esta configuración y guarda el archivo

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

Hecho

Cierra Claude y vuelve a abrirlo
Hecho
Pruébalo
Usa LingNao y dime qué puedes hacer por mí; luego muéstrame una cosa
✓ Si Claude dice que está usando LingNao o muestra una herramienta de LingNao en la respuesta, ya está conectado

Nombres de menú comprobados con la ayuda de Anthropic el 11 nov 2026 · tu pantalla puede variar un poco según la versión

ChatGPT todavía no puede conectar LingNao

LingNao se instala en tu computadora, pero ChatGPT solo conecta servidores que funcionan en la web

Lo que puedes hacer en su lugar

A · Usa una app que pueda conectar LingNao

Pasos para Claude →Instala Node.js en tu computadora primero (una sola vez) · Solo en la app de Claude para computadora (Windows o Mac), no en la web ni en el móvil
Pasos para Claude Code →Instala Node.js en tu computadora primero (una sola vez)
Pasos para Cursor →Instala Node.js en tu computadora primero (una sola vez)
Pasos para VS Code →Instala Node.js en tu computadora primero (una sola vez)

B · Otros en Búsqueda y memoria de IA que funcionan con ChatGPT

Elegidos entre los más usados de la misma categoría, solo los que se conectan con una dirección y sin clave

Context7✓ ChatGPT
OpenSEO✓ ChatGPT
AIHOT✓ ChatGPT

Funciona con Claude Code, pero hay que preparar algo antes

Instala Node.js en tu computadora primero (una sola vez)

Que la IA lo instale

Copia este mensaje en un chat de Claude Code. La IA revisa tu equipo, te dice qué archivo va a cambiar y espera tu visto bueno cada vez.

Instala el MCP server LingNao para Claude Code en este equipo, en este orden: 1) Comprueba Node.js con node -v. Si falta, dime que lo instale desde https://nodejs.org/en/download; no lo instales tú. 2) Usa solo esta configuración (ya revisada por PopNx MCP): claude mcp add --scope user lingnao -- npx -y lingnao-mcp 3) Dime la ruta completa del archivo que vas a cambiar o el comando que vas a ejecutar y espera mi visto bueno. 4) No hace falta clave. 5) Haz lo acordado y comprueba que las herramientas de LingNao aparecen de verdad.

Este mensaje no lleva tu clave. Si hace falta una, la IA te pedirá que la pegues tú en el archivo o en el campo de la app.

1
Instala Node.js (si no lo tienes)
¿Ya está instalado? Compruébalo primero · Abre la Terminal, escribe este comando y pulsa Enter
node -v
- Aparece un número de versión, p. ej. v26.13.1 = ya está instalado, sáltate este paso
- Aparece "command not found" (en Windows, "is not recognized") = aún no está instalado, o acabas de instalarlo y debes cerrar y volver a abrir la Terminal
Cómo abrir la Terminal
Mac: pulsa ⌘ + Espacio, escribe Terminal y pulsa Enter
Windows: abre Inicio, escribe Windows PowerShell y elige Abrir
Si no está instalado: Abre la página oficial de descargas, elige la versión LTS y el instalador de clics: .pkg en Mac · .msi en Windows. Haz doble clic y sigue hasta el final. No necesitas ningún comando curl
Abrir la página de descarga de Node.js ↗
Al terminar, cierra la Terminal, ábrela de nuevo y ejecuta el mismo comando. Debe aparecer un número de versión: node -v
Se instala una vez y sirve para todo lo que usa Node.js
Hecho
Abre la Terminal
Mac: pulsa Command+Espacio y escribe Terminal · Windows: abre PowerShell
Hecho

Pega este comando y pulsa Enter

claude mcp add --scope user lingnao -- npx -y lingnao-mcp

Hecho

Escribe /mcp en Claude Code
Deberías ver LingNao en la lista como conectado
Hecho
Pruébalo
Usa LingNao y dime qué puedes hacer por mí; luego muéstrame una cosa
✓ Si Claude Code dice que está usando LingNao o muestra una herramienta de LingNao en la respuesta, ya está conectado

Nombres de menú comprobados con la ayuda de Anthropic el 11 nov 2026 · tu pantalla puede variar un poco según la versión

Funciona con Cursor, pero hay que preparar algo antes

Instala Node.js en tu computadora primero (una sola vez)

Que la IA lo instale

Copia este mensaje en un chat de Cursor. La IA revisa tu equipo, te dice qué archivo va a cambiar y espera tu visto bueno cada vez.

Instala el MCP server LingNao para Cursor en este equipo, en este orden: 1) Comprueba Node.js con node -v. Si falta, dime que lo instale desde https://nodejs.org/en/download; no lo instales tú. 2) Usa solo esta configuración (ya revisada por PopNx MCP): { "mcpServers": { "lingnao": { "command": "npx", "args": [ "-y", "lingnao-mcp" ] } } } 3) Dime la ruta completa del archivo que vas a cambiar o el comando que vas a ejecutar y espera mi visto bueno. 4) No hace falta clave. 5) Haz lo acordado y comprueba que las herramientas de LingNao aparecen de verdad.

Este mensaje no lleva tu clave. Si hace falta una, la IA te pedirá que la pegues tú en el archivo o en el campo de la app.

1
Instala Node.js (si no lo tienes)
¿Ya está instalado? Compruébalo primero · Abre la Terminal, escribe este comando y pulsa Enter
node -v
- Aparece un número de versión, p. ej. v26.13.1 = ya está instalado, sáltate este paso
- Aparece "command not found" (en Windows, "is not recognized") = aún no está instalado, o acabas de instalarlo y debes cerrar y volver a abrir la Terminal
Cómo abrir la Terminal
Mac: pulsa ⌘ + Espacio, escribe Terminal y pulsa Enter
Windows: abre Inicio, escribe Windows PowerShell y elige Abrir
Si no está instalado: Abre la página oficial de descargas, elige la versión LTS y el instalador de clics: .pkg en Mac · .msi en Windows. Haz doble clic y sigue hasta el final. No necesitas ningún comando curl
Abrir la página de descarga de Node.js ↗
Al terminar, cierra la Terminal, ábrela de nuevo y ejecuta el mismo comando. Debe aparecer un número de versión: node -v
Se instala una vez y sirve para todo lo que usa Node.js
Hecho
Pulsa este botón para abrir Cursor
Abrir en Cursor
Cursor te pedirá confirmar; pulsa Install
Hecho
Abre el chat de IA de Cursor en modo Agent
Hecho
Pruébalo
Usa LingNao y dime qué puedes hacer por mí; luego muéstrame una cosa
✓ Si Cursor dice que está usando LingNao o muestra una herramienta de LingNao en la respuesta, ya está conectado

Nombres de menú comprobados con la ayuda de Cursor el 11 nov 2026 · tu pantalla puede variar un poco según la versión

Funciona con VS Code, pero hay que preparar algo antes

Instala Node.js en tu computadora primero (una sola vez)

Que la IA lo instale

Copia este mensaje en un chat de VS Code. La IA revisa tu equipo, te dice qué archivo va a cambiar y espera tu visto bueno cada vez.

Instala el MCP server LingNao para VS Code en este equipo, en este orden: 1) Comprueba Node.js con node -v. Si falta, dime que lo instale desde https://nodejs.org/en/download; no lo instales tú. 2) Usa solo esta configuración (ya revisada por PopNx MCP): { "servers": { "lingnao": { "type": "stdio", "command": "npx", "args": [ "-y", "lingnao-mcp" ] } } } 3) Dime la ruta completa del archivo que vas a cambiar o el comando que vas a ejecutar y espera mi visto bueno. 4) No hace falta clave. 5) Haz lo acordado y comprueba que las herramientas de LingNao aparecen de verdad.

Este mensaje no lleva tu clave. Si hace falta una, la IA te pedirá que la pegues tú en el archivo o en el campo de la app.

1
Instala Node.js (si no lo tienes)
¿Ya está instalado? Compruébalo primero · Abre la Terminal, escribe este comando y pulsa Enter
node -v
- Aparece un número de versión, p. ej. v26.13.1 = ya está instalado, sáltate este paso
- Aparece "command not found" (en Windows, "is not recognized") = aún no está instalado, o acabas de instalarlo y debes cerrar y volver a abrir la Terminal
Cómo abrir la Terminal
Mac: pulsa ⌘ + Espacio, escribe Terminal y pulsa Enter
Windows: abre Inicio, escribe Windows PowerShell y elige Abrir
Si no está instalado: Abre la página oficial de descargas, elige la versión LTS y el instalador de clics: .pkg en Mac · .msi en Windows. Haz doble clic y sigue hasta el final. No necesitas ningún comando curl
Abrir la página de descarga de Node.js ↗
Al terminar, cierra la Terminal, ábrela de nuevo y ejecuta el mismo comando. Debe aparecer un número de versión: node -v
Se instala una vez y sirve para todo lo que usa Node.js
Hecho
Pulsa este botón para abrir VS Code
Abrir en VS Code
VS Code te pedirá confirmar; pulsa Install
Hecho
Abre el chat de IA de VS Code en modo Agent
Hecho
Pruébalo
Usa LingNao y dime qué puedes hacer por mí; luego muéstrame una cosa
✓ Si VS Code dice que está usando LingNao o muestra una herramienta de LingNao en la respuesta, ya está conectado

Nombres de menú comprobados con la ayuda de VS Code el 11 nov 2026 · tu pantalla puede variar un poco según la versión

Otras apps que usan MCP, como Windsurf, Zed o Gemini CLI, añaden servidores de forma distinta. Míralo en la lista de apps

Ver todas las apps que usan MCP →

La configuración JSON está en “Para desarrolladores”, abajo

¿Te atascaste? Pregunta a quien usa LingNao💬 Conversación →

Para desarrolladores: comandos de Terminal y configuración JSON

Instalado en tu computadora

Claude Code

claude mcp add --scope user lingnao -- npx -y lingnao-mcp

Claude Desktop (claude_desktop_config.json)

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

Cursor (~/.cursor/mcp.json)

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

VS Code (mcp.json)

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

Esta configuración se genera a partir de la ficha del creador en el registro. Si el README dice otra cosa, sigue el README.

De un vistazo

Estrellas de GitHub i: 0
Descargas por semanai: 73/sem
Licencia i: Sin licencia indicada
Conexión: Se ejecuta en tu computadora
Transporte: stdio
Última versióni: 1.4.2
Categoríai: Búsqueda y memoria de IA
Publicado en el registroi: 13 oct 2026
Último cambio de códigoi: 4 nov 2026
Creador: genesis-plan
Paquetes: npm: lingnao-mcp
Repo: genesis-plan/lingnao
Sitio web: hongchenlingjing.com
Estado en el registro: Activo

Qué apps pueden usarlo

Según cómo se conecta este servidor y la documentación de cada app, comprobado el 10 nov 2026.

Se ejecutan en tu computadora en

Claude Goose LM Studio Msty Studio Cherry Studio Cursor VS Code + GitHub Copilot Visual Studio Windsurf (Devin Desktop)Zed Kiro Cline Continue JetBrains AI Assistant Claude Code Codex CLI Gemini CLI OpenCode nodecode Warp LibreChat Raycast

Todas las apps, con ventajas y desventajas →

Qué puede hacer

Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.

Revisiones básicasi

Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 15 nov 2026

✓ Superada
El creador coincide con el repo
El nombre en el registro se verificó con la cuenta de GitHub genesis-plan, dueña del repo
✓ Superada
Sigue en mantenimiento
Último cambio de código: hace 11 días
! Precaución
Tiene licencia
GitHub no pudo identificar el tipo de licencia; abre el archivo para comprobarlo
– No aplica
El endpoint responde
Este se ejecuta en tu computadora; no hay endpoint en internet
– No aplica
Inicio de sesión con OAuth
Se ejecuta en tu computadora y usa ajustes locales en su lugar
… Aún sin revisar
Sin instrucciones ocultas en las descripciones de herramientas
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet

Vulnerabilidades publicadas (OSV.dev)

Aún no revisado

Qué revisamos → · JSON

Creadores: pedir otra revisión o avisar de un dato erróneo

Iniciar sesión

Conversación

Pregunta, comparte un consejo o avisa de que no funciona. Ordenado por lo que la gente marcó como útil.

Aún no hay publicaciones. Sé la primera persona en preguntar o compartir.

Lo publicado aquí lo escriben usuarios, no el equipo de PopNx.

Inicia sesión para publicar

Reseñas de usuarios

Aún no hay reseñas

Inicia sesión para escribir una reseña

Comparado con otros en Búsqueda y memoria de IAi

Más estrellas que el 0% de los otros 6155 servidores de esta categoría
Publicado en el registro más recientemente que el 53% de los otros 6155 servidores de esta categoría
Revisiones básicas iguales o mejores que el 50% de los otros 6155 servidores de esta categoría

Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.

Preguntas frecuentes

¿Es seguro LingNao?

Superó 2 de 3 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.

¿Qué claves o códigos necesita?

El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.

¿Se ejecuta en mi computadora o en la nube?

Se ejecuta en tu computadora. Tu app de IA lo inicia cuando hace falta, y los datos no pasan por los servidores del creador (a menos que el propio servidor llame a un servicio en línea).

¿Sigue en mantenimiento?

El repo de GitHub cambió por última vez hace 11 días, y la última versión (1.4.2) llegó al registro hace 33 días.

¿Qué apps pueden usarlo?

Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. También necesitas Node.js en tu computadora.

¿Qué puedo usar en su lugar?

En la misma categoría: OpenSEO, Exa, Mockserver, Microsoft Learn MCP, Docs

Alternativas parecidas

Misma categoría, otros creadores, comandos ya revisados. Primero los oficiales, luego por estrellas.

Cómo leer una tarjeta:↓ Descargas por semanai★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi

OpenSEO

Keyword research, site audits, rank tracking and AI visibility for your AI agent.

de every-appMuy usado★ 27,7 milActualizado ayer

Se ejecuta en la nube✓ everyapp.com

Cómo conectar

Exa

Connect AI agents to Exa for web search, content fetching, and multi-step research.

de exa-labsMuy usado★ 5,2 milActualizado hace 2 meses

Se ejecuta en la nube✓ del servicio · exa.aiProbado por el equipo de PopNx

Cómo conectar

Mockserver

Mock, record/replay, verify and chaos-test any HTTP, REST, gRPC or LLM dependency over MCP.

de mock-serverEn crecimiento★ 5 milActualizado hace 19 días

Se ejecuta en tu computadora✓ del servicio · mock-server.com

Instalar

Microsoft Learn MCP

Official Microsoft Learn MCP Server – real-time, trusted docs & code samples for AI and LLMs.

de MicrosoftDocsMuy usado★ 2 milActualizado hace 12 meses

Se ejecuta en la nube✓ del servicio · microsoft.comProbado por el equipo de PopNx

Cómo conectar

Docs

Search and read Empryo's documentation. Read-only, no auth, no local access.

de proxysoulEn crecimiento★ 1,6 milActualizado hace 2 meses

Se ejecuta en la nube✓ empryo.com

Cómo conectar

OpenSEO — Funciona en la nube, sin instalar nada · Sin clave
Exa — Funciona en la nube, sin instalar nada · Sin clave · En el directorio de Claude
Mockserver — Se instala en tu equipo · Sin clave
Microsoft Learn MCP — Funciona en la nube, sin instalar nada · Sin clave · En el directorio de Claude
Docs — Funciona en la nube, sin instalar nada · Sin clave

README del creador

Abrir el README

Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.

English | 推理方法学与数学定理（地基文档）

灵脑 LingNao · 任意智能体的确定性推理服务

灵脑是面向「任意智能体」的确定性推理服务层——不做验证、不做审计，只做推理。

无论你的智能体跑在 Claude、GPT、自研 agent 还是机器人控制器上，只要它能发 MCP 调用，就能用同一个网关 lingnao（op + args → 结构化结论）拿到确定性、不幻觉、可复现的推理。

推理能力由真实数学定理支撑：A\*/确定性 MCTS 做深思规划，do-演算做因果推理，PAC/VC 维做不确定性界，Baire 纲 / 紧致性 / 代数簇 / 范德瓦尔登 / Cauchy–Lipschitz / Bertrand / 鸽笼原理 / 霍尔匹配 / Erdős–Szekeres / 欧拉路径 共 10 个真实定理做数学健全性压力测试。

完整方法学与定理清单见 docs/00-推理引擎原理与方法学.md。

仓库：genesis-plan/lingnao · npm：lingnao-mcp · 在线试用：playground ／控制台

	说明
是	确定性推理服务层：对智能体/机器人的规划、因果、世界模型、数学健全性做符号推理；同输入必得同输出；不可判定时诚实返回 𝕌（弃权）
不是	语言模型（不生成文本、无世界知识）、审计器、认证器、"绝对安全"的证明器、通用数学定理证明器（Coq/Lean 类），也不是验证/裁判层

为什么"任意智能体"都能用

这不是营销话术，而是接口设计 + 内核性质共同保证的：

性质	含义	对任意智能体的意义
单一网关	只暴露 1 个工具 `lingnao`，靠 `op` 分派 51 项能力	任何 MCP 客户端一行配置即可接入，无需为某家 LLM 定制
智能体无关语义	入参/出参都是结构化 JSON，`op` 是稳定键名	不要求智能体说中/英、不绑定任何框架、不依赖特定模型
确定性内核	同输入 ⇒ 同输出	推理可复现、可比对，能直接集成进任何决策回路
无神经网络在环	推理全是符号/数值确定性计算；可选 LLM 仅在"感知 NL→JSON"与"解释"两端，强制标 `UNVERIFIED_LLM` 且绝不进入推理链	不幻觉、不编造、不被 prompt 注入改写出错答案
三态诚实语义	真 / 假 / 想不了（𝕌 弃权），fail-closed	智能体拿到的是"可被机器消费"的结论，而非需再判断的自然语言
可复现推理账本	推理链由 Hoare 逻辑闭合（proof ledger）	任意智能体都能拿到"为何得此结论"的可验证轨迹

方法学与数学定理（地基）

灵脑的推理能力由真实数学定理支撑，不是启发式打分。五大前沿逐一对应：

#	前沿	方法	数学定理 / 形式基础	对应 `op`
①	深思规划	可搜索推理（非一遍直出）	A\*（可采纳启发式下最优）；确定性 MCTS（UCB1）；Bellman 值迭代	`reason` · `dmcts` · `plan_task` · `h_max` · `goal_directed`
②	因果推理	因果图 + do-演算	Pearl 因果阶梯；do-演算（后门/前门准则）；反事实三步法	`causal` · `causal_effect` · `counterfactual`
③	不确定性理论	样本复杂度界 + 保角预测	PAC（Valiant 1984）+ VC 维：`m ≥ (d_VC·ln(1/ε)+ln(1/δ))/ε²`	`pac_bound`
④	数学健全性压力测试	真实定理做健全性检验	Baire 纲 / 紧致性 / 代数簇(Zariski) / 范德瓦尔登(Ramsey) / Cauchy–Lipschitz / Bertrand / 鸽笼原理(Dirichlet) / 霍尔匹配(Hall) / Erdős–Szekeres / 欧拉路径(Euler)	`baire_trap` · `compactness_trap` · `variety_trap` · `van_der_waerden_trap` · `cauchy_lipschitz_trap` · `bertrand_trap` · `pigeonhole_trap` · `hall_trap` · `erdos_szekeres_trap` · `euler_path_trap` · `run_deterministic_traps`
⑤	世界模型 / 反事实 / 元认知 / 自演化	SEM + 不动点 + Hoare + FCA	结构方程模型；Banach 不动点；Hoare 逻辑 `{P}C{Q}`；形式概念分析 FCA	`world_model` · `perceive_belief` · `meta` · `knowledge_` · `sl_` · `ima_*`
＋	具身决策	声明式能力契约 + 有界重规划闭环	规划→执行→SAFE-STOP→有界重规划（`maxReplans`）	`attach_body` · `get_state`/`set_state`/`state_diff` · `positioning`

逐条定理出处、保证内容与 op 对应关系，见 docs/00-推理引擎原理与方法学.md。

诚实注记：因果/世界模型为 lite 实现（PC-lite 发现、线性 SEM），规划基于有限图；但每个结论都来自确定性符号计算，可复现、不幻觉，数学健全性由真实定理保证。

30 秒上手

① MCP 接入（推荐，给任意 AI 客户端用） —— 不用开网页、不用服务器、不用本地装包：

"mcpServers": { "lingnao": { "command": "npx", "args": ["github:genesis-plan/lingnao"], "env": { "OPENROUTER_API_KEY": "填你的免费Key（可留空）" } } } }

npm 稳定版同款：{ "command": "npx", "args": ["-y", "lingnao-mcp"] }（见 mcp.json ／ mcp.example.json）

② 零安装网页 —— 双击 playground.html（A\* 规划 + 因果 + 数学健全性陷阱，离线可用），或 lingnao-console.html（接入身体/大模型/大脑后开始干活）。

③ 开发者

git clone https://github.com/genesis-plan/lingnao && cd lingnao

node lingnao-mcp.js --selftest # 零依赖内核自检 node build-umd.js # 从内核真源重建 UMD（导出 250）

Node 库：const K = require('./lingnao-mcp')（直接调内核，不自启服务）
浏览器： → window.LingNao

能力边界（诚实声明）

维度	说明
决策/规划	A\* 最优路径 + 硬/软约束 + RSG 推理状态图 + 系统 1 高置信快答，同输入必得同输出
因果	do-演算（后门/前门调整）估计因果效应、反事实推演；确定性因果图，无 LLM 编造
数学健全性	十类确定性陷阱（Baire/紧致/代数簇/范德瓦尔登/柯西-利普希茨/Bertrand/鸽笼/霍尔匹配/Erdős–Szekeres/欧拉路径），真实定理保证
不幻觉	LLM 只在感知（NL→JSON）与解释两端，强制标 `UNVERIFIED_LLM` + `mayHallucinate`，绝不进入推理链
具身	声明式能力契约接入任意身体；规划 → SAFE-STOP → 执行 → 有界重规划闭环
工具暴露	1 个网关工具 `lingnao`（`op` 参数收编推理子能力：规划 / 因果 / 数学健全性 / 具身决策等）；灵脑 = 推理-only，不含计算
自测	`--selftest` → 核心通过 + 如实披露 6 项已知未实现能力（KB 未接入）
依赖	零第三方运行时依赖；灵脑 = 推理-only，不接入、不委派任何计算引擎（方程求解 / 验真归灵数 lingshu-solver 独立产品）

不保证：绝对安全、绝对正确、不漏解、能连所有真机。这是设计上的诚实边界，不是待修缺陷。

推理能力（单网关 `lingnao`，`op` 参数分派）

MCP 对外只暴露 1 个工具 lingnao：arguments = { "op": 能力名, "args": 参数 }，按旧名直调会被拒绝并返回指引。

world_info · set_world · perceive · reason · carrier_report · learn · knowledge_query · knowledge_add · meta · perceive_belief · knowledge_ann · knowledge_distill · cog_graph · world_model · counterfactual · causal_effect · dmcts · goal_directed · pac_bound · ask · explain · causal · event_publish · knowledge_fabric · ima_load · ima_query · sl_record · sl_discover · sl_monitor · sl_status · attach_body · capabilities · get_state · set_state · state_diff · h_max · plan_task · execute_task · positioning · bertrand_trap · compactness_trap · van_der_waerden_trap · baire_trap · variety_trap · cauchy_lipschitz_trap · pigeonhole_trap · hall_trap · erdos_szekeres_trap · euler_path_trap · run_deterministic_traps

两个独立产品，勿混淆

产品	是什么	仓库	npm
灵脑 LingNao（本仓库）	推理服务：感知 / 规划 / 因果 / 世界模型 / 数学健全性 / 具身决策	`genesis-plan/lingnao`	`lingnao-mcp`
灵数 LingShu	求解器：方程组实数解（区间收缩 + Krawczyk）	`genesis-plan/lingshu-solver`	`lingshu-solver`

灵脑 = 推理-only：感知 / 规划 / 因果 / 数学健全性 / 具身决策，全程不计算、不求解、不委派。方程求解 / 验真归灵数 lingshu-solver（独立产品），两者互不耦合、互不委派。

分发渠道

渠道	入口
GitHub（主仓）	https://github.com/genesis-plan/lingnao — 克隆即跑
npm	`npx -y lingnao-mcp`
MCP 市场	Smithery / Glama / mcp.so 搜索 `lingnao-mcp`，或粘贴仓库 URL
在线试用	控制台／ Playground

许可（摘要）

非商业免费 + 商业须书面授权（详见 LICENSE，不是开源协议）：

非商业用途免费：个人学习 / 研究 / 教学 / 评测；非营利组织与教育机构内部使用；年营收 ≤ 100 万元的团队内部评估（同时运行实例 ≤ 3 个）。须保留版权与许可声明。
商业用途须事先取得书面授权：任何以营利为目的的产品 / 服务 / 业务，SaaS / 云 / API 对外提供能力（无论是否收费），集成嵌入商业发行物，再分发 / 转授权 / 对外托管 —— 均须事先书面授权（详见 LICENSE）。
「灵脑 / LingNao」为版权方商标，本许可不授予商标使用权。

完整条款见 LICENSE。

联系

商务 / 授权 / 反馈：553420544@qq.com（亦可用仓库 Issues）
版权方：广州市红尘灵境数字科技有限公司

诚实注记（已知待办）

knowledge_query / knowledge_add / knowledge_ann / knowledge_distill / cog_graph 需接入 KB 知识库，未接入时恒返 available:false；自测中如实单列为「已知未实现能力」，不计入绿色通过。
物理接入模块 30 条协议中仅 ws / modbus-tcp / mqtt 已实装真实驱动，其余为「仅建档、需硬件」。
docs/01–11 为历史技术文档，仍含「审计/验证」旧口径，正逐步与本文档及 docs/00 对齐（后续收尾任务）；本文档与方法学文档为对外权威口径。
验证/审计类能力（audit/certify/verify/prove/runtime_monitor 等）已从对外网关能力清单中移除（不再暴露、不再挂名），仅保留为内核内部资产；灵脑对外只做推理。

LingNao

What it does

Instalación

Instala Node.js (si no lo tienes)

Abre el archivo de configuración de la app de Claude de escritorio

Pega esta configuración y guarda el archivo

Cierra Claude y vuelve a abrirlo

Pruébalo

Lo que puedes hacer en su lugar

Instala Node.js (si no lo tienes)

Abre la Terminal

Pega este comando y pulsa Enter

Escribe /mcp en Claude Code

Pruébalo

Instala Node.js (si no lo tienes)

Pulsa este botón para abrir Cursor

Abre el chat de IA de Cursor en modo Agent

Pruébalo

Instala Node.js (si no lo tienes)

Pulsa este botón para abrir VS Code

Abre el chat de IA de VS Code en modo Agent

Pruébalo

Instalado en tu computadora

De un vistazo

Qué apps pueden usarlo

Qué puede hacer

Revisiones básicasi

El creador coincide con el repo

Sigue en mantenimiento

Tiene licencia

El endpoint responde

Inicio de sesión con OAuth

Sin instrucciones ocultas en las descripciones de herramientas

Vulnerabilidades publicadas (OSV.dev)

Conversación

Reseñas de usuarios

Comparado con otros en Búsqueda y memoria de IAi

Preguntas frecuentes

Alternativas parecidas

OpenSEO

Exa

Mockserver

Microsoft Learn MCP

Docs

README del creador

灵脑 LingNao · 任意智能体的确定性推理服务

为什么"任意智能体"都能用

方法学与数学定理（地基）

30 秒上手

能力边界（诚实声明）

推理能力（单网关 lingnao，op 参数分派）

推荐调用序列（纯推理）

推荐调用序列（具身 / 机器人）

两个独立产品，勿混淆

分发渠道

许可（摘要）

联系

诚实注记（已知待办）

推理能力（单网关 `lingnao`，`op` 参数分派）