LingNao MCP server

English | 推理方法学与数学定理（地基文档） | API 接入指南 | Playground

灵脑 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 ／ 控制台

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

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

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

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

逐条定理出处、保证内容与 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（接入身体/大模型/大脑后开始干活）。

③ 开发者

Shortened. The full README is on GitHub.