プロトタイプ · プレビュー版：公式レジストリのすべてのサーバーを掲載し、30分ごとに同期しています。Google でログインするとレビューを書けます。プロトタイプ · 30分ごとに更新
PopNx MCPAIを使う人のためのMCPサーバー · やさしい言葉で解説
☰ メニュー日本語 設定
初心者モード オフ
配色システムに合わせるライトホワイトダーク
言語ไทยEnglish中文日本語한국어EspañolDeutsch

LingNao

作者：genesis-planバージョン 1.4.2i★ 0iパソコンで動く
レジストリ名io.github.genesis-plan/lingnao

インストール方法

What it does

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

  • Connects パソコンで動く
  • Account or key No key needed
  • Category 検索・AIの記憶

インストール

使っているAIアプリを選んで、設定をコピーしてください。

チェック 2/3 合格 · あなたのパソコンで動きます · ✓ コマンド確認済み 2026年11月14日

まず：どの AI を使っていますか？

使っているアプリを選ぶと、下に手順が表示されます。

Claude につなげますが、先に準備が必要です

先にパソコンへ Node.js を入れてください（1 回だけ） · パソコン版 Claude アプリ（Windows または Mac）のみ。Web やスマホでは使えません

AI にインストールしてもらう

このメッセージを Claude のチャットに貼り付けます。AI がパソコンを確認し、変更するファイルを伝え、毎回あなたの了承を待ちます。

このパソコンの Claude に MCP server LingNao を入れてください。順番に：1) node -v で Node.js があるか確認。なければ https://nodejs.org/en/download から入れるよう私に伝え、自分では入れない。2) この設定だけを使う（PopNx MCP の確認済み）：{ "mcpServers": { "lingnao": { "command": "npx", "args": [ "-y", "lingnao-mcp" ] } } } 3) 変更するファイルのフルパスか実行するコマンドを伝えて、私の了承を待つ。4) キーは不要。5) 了承した内容を実行し、LingNao のツールが本当に表示されるか確認する。

このメッセージにあなたのキーは含まれません。キーが必要な場合は、AI がファイルやアプリの入力欄にご自身で貼るよう案内します。

  1. Node.js を入れる（まだなければ）

    もう入っていますか？先に確認 · ターミナルを開き、このコマンドを入力して Enter

    node -v
    • バージョン番号（例 v26.13.1）が出る = 入っています。この手順は飛ばせます
    • "command not found"（Windows では "is not recognized"）が出る = まだ入っていないか、入れた直後でターミナルを開き直す必要があります
    ターミナルの開き方

    Mac：⌘ + Space を押し、Terminal と入力して Enter

    Windows：スタートメニューを開き、Windows PowerShell と入力して「開く」

    まだ入っていない場合: 公式ダウンロードページで LTS 版と、クリックで進むインストーラーを選びます：Mac は .pkg、Windows は .msi。ダブルクリックして最後まで進めるだけで、curl コマンドは不要です

    Node.js のダウンロードページを開く ↗

    入れ終わったらターミナルを閉じて開き直し、同じコマンドをもう一度実行します。バージョン番号が出れば完了です: node -v

    一度入れれば、Node.js を使うすべてのツールで使えます

  2. パソコン版 Claude アプリの設定ファイルを開く

    SettingsDeveloperEdit Config

  3. この設定を貼り付けて保存

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

  4. Claude を終了してもう一度開く

  5. 試してみる

    LingNao を使って、私に何ができるか教えて、1 つやってみせて

    ✓ Claude が LingNao を使っていると言うか、回答に LingNao のツール名が出れば接続成功です

メニュー名は 2026年11月11日 に Anthropic のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります

ChatGPT はまだ LingNao につなげません

LingNao はパソコンに入れて使うものですが、ChatGPT は Web 上で動くサーバーにしかつなげません

代わりにできること

A · LingNao につなげるアプリを使う

  • 先にパソコンへ Node.js を入れてください（1 回だけ） · パソコン版 Claude アプリ（Windows または Mac）のみ。Web やスマホでは使えません
  • 先にパソコンへ Node.js を入れてください（1 回だけ）
  • 先にパソコンへ Node.js を入れてください（1 回だけ）
  • 先にパソコンへ Node.js を入れてください（1 回だけ）

B · 検索・AIの記憶 の中で ChatGPT につなげる別のサーバー

同じカテゴリでよく使われているものから、キーなしでアドレスだけでつなげるものを選びました

Claude Code につなげますが、先に準備が必要です

先にパソコンへ Node.js を入れてください（1 回だけ）

AI にインストールしてもらう

このメッセージを Claude Code のチャットに貼り付けます。AI がパソコンを確認し、変更するファイルを伝え、毎回あなたの了承を待ちます。

このパソコンの Claude Code に MCP server LingNao を入れてください。順番に：1) node -v で Node.js があるか確認。なければ https://nodejs.org/en/download から入れるよう私に伝え、自分では入れない。2) この設定だけを使う（PopNx MCP の確認済み）：claude mcp add --scope user lingnao -- npx -y lingnao-mcp 3) 変更するファイルのフルパスか実行するコマンドを伝えて、私の了承を待つ。4) キーは不要。5) 了承した内容を実行し、LingNao のツールが本当に表示されるか確認する。

このメッセージにあなたのキーは含まれません。キーが必要な場合は、AI がファイルやアプリの入力欄にご自身で貼るよう案内します。

  1. Node.js を入れる（まだなければ）

    もう入っていますか？先に確認 · ターミナルを開き、このコマンドを入力して Enter

    node -v
    • バージョン番号（例 v26.13.1）が出る = 入っています。この手順は飛ばせます
    • "command not found"（Windows では "is not recognized"）が出る = まだ入っていないか、入れた直後でターミナルを開き直す必要があります
    ターミナルの開き方

    Mac：⌘ + Space を押し、Terminal と入力して Enter

    Windows：スタートメニューを開き、Windows PowerShell と入力して「開く」

    まだ入っていない場合: 公式ダウンロードページで LTS 版と、クリックで進むインストーラーを選びます：Mac は .pkg、Windows は .msi。ダブルクリックして最後まで進めるだけで、curl コマンドは不要です

    Node.js のダウンロードページを開く ↗

    入れ終わったらターミナルを閉じて開き直し、同じコマンドをもう一度実行します。バージョン番号が出れば完了です: node -v

    一度入れれば、Node.js を使うすべてのツールで使えます

  2. ターミナルを開く

    Mac：Command+スペースで Terminal と入力 · Windows：PowerShell を開く

  3. このコマンドを貼り付けて Enter

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

  4. Claude Code で /mcp と入力

    LingNao が一覧にあり、接続済みと表示されれば OK です

  5. 試してみる

    LingNao を使って、私に何ができるか教えて、1 つやってみせて

    ✓ Claude Code が LingNao を使っていると言うか、回答に LingNao のツール名が出れば接続成功です

メニュー名は 2026年11月11日 に Anthropic のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります

Cursor につなげますが、先に準備が必要です

先にパソコンへ Node.js を入れてください（1 回だけ）

AI にインストールしてもらう

このメッセージを Cursor のチャットに貼り付けます。AI がパソコンを確認し、変更するファイルを伝え、毎回あなたの了承を待ちます。

このパソコンの Cursor に MCP server LingNao を入れてください。順番に：1) node -v で Node.js があるか確認。なければ https://nodejs.org/en/download から入れるよう私に伝え、自分では入れない。2) この設定だけを使う（PopNx MCP の確認済み）：{ "mcpServers": { "lingnao": { "command": "npx", "args": [ "-y", "lingnao-mcp" ] } } } 3) 変更するファイルのフルパスか実行するコマンドを伝えて、私の了承を待つ。4) キーは不要。5) 了承した内容を実行し、LingNao のツールが本当に表示されるか確認する。

このメッセージにあなたのキーは含まれません。キーが必要な場合は、AI がファイルやアプリの入力欄にご自身で貼るよう案内します。

  1. Node.js を入れる（まだなければ）

    もう入っていますか？先に確認 · ターミナルを開き、このコマンドを入力して Enter

    node -v
    • バージョン番号（例 v26.13.1）が出る = 入っています。この手順は飛ばせます
    • "command not found"（Windows では "is not recognized"）が出る = まだ入っていないか、入れた直後でターミナルを開き直す必要があります
    ターミナルの開き方

    Mac：⌘ + Space を押し、Terminal と入力して Enter

    Windows：スタートメニューを開き、Windows PowerShell と入力して「開く」

    まだ入っていない場合: 公式ダウンロードページで LTS 版と、クリックで進むインストーラーを選びます：Mac は .pkg、Windows は .msi。ダブルクリックして最後まで進めるだけで、curl コマンドは不要です

    Node.js のダウンロードページを開く ↗

    入れ終わったらターミナルを閉じて開き直し、同じコマンドをもう一度実行します。バージョン番号が出れば完了です: node -v

    一度入れれば、Node.js を使うすべてのツールで使えます

  2. このボタンで Cursor を開く

    Cursor で開く

    Cursor がインストールの確認をするので Install を押します

  3. Cursor の AI チャットを Agent モードで開く

  4. 試してみる

    LingNao を使って、私に何ができるか教えて、1 つやってみせて

    ✓ Cursor が LingNao を使っていると言うか、回答に LingNao のツール名が出れば接続成功です

メニュー名は 2026年11月11日 に Cursor のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります

VS Code につなげますが、先に準備が必要です

先にパソコンへ Node.js を入れてください（1 回だけ）

AI にインストールしてもらう

このメッセージを VS Code のチャットに貼り付けます。AI がパソコンを確認し、変更するファイルを伝え、毎回あなたの了承を待ちます。

このパソコンの VS Code に MCP server LingNao を入れてください。順番に：1) node -v で Node.js があるか確認。なければ https://nodejs.org/en/download から入れるよう私に伝え、自分では入れない。2) この設定だけを使う（PopNx MCP の確認済み）：{ "servers": { "lingnao": { "type": "stdio", "command": "npx", "args": [ "-y", "lingnao-mcp" ] } } } 3) 変更するファイルのフルパスか実行するコマンドを伝えて、私の了承を待つ。4) キーは不要。5) 了承した内容を実行し、LingNao のツールが本当に表示されるか確認する。

このメッセージにあなたのキーは含まれません。キーが必要な場合は、AI がファイルやアプリの入力欄にご自身で貼るよう案内します。

  1. Node.js を入れる（まだなければ）

    もう入っていますか？先に確認 · ターミナルを開き、このコマンドを入力して Enter

    node -v
    • バージョン番号（例 v26.13.1）が出る = 入っています。この手順は飛ばせます
    • "command not found"（Windows では "is not recognized"）が出る = まだ入っていないか、入れた直後でターミナルを開き直す必要があります
    ターミナルの開き方

    Mac：⌘ + Space を押し、Terminal と入力して Enter

    Windows：スタートメニューを開き、Windows PowerShell と入力して「開く」

    まだ入っていない場合: 公式ダウンロードページで LTS 版と、クリックで進むインストーラーを選びます：Mac は .pkg、Windows は .msi。ダブルクリックして最後まで進めるだけで、curl コマンドは不要です

    Node.js のダウンロードページを開く ↗

    入れ終わったらターミナルを閉じて開き直し、同じコマンドをもう一度実行します。バージョン番号が出れば完了です: node -v

    一度入れれば、Node.js を使うすべてのツールで使えます

  2. このボタンで VS Code を開く

    VS Code で開く

    VS Code がインストールの確認をするので Install を押します

  3. VS Code の AI チャットを Agent モードで開く

  4. 試してみる

    LingNao を使って、私に何ができるか教えて、1 つやってみせて

    ✓ VS Code が LingNao を使っていると言うか、回答に LingNao のツール名が出れば接続成功です

メニュー名は 2026年11月11日 に VS Code のヘルプページで確認 · アプリのバージョンにより画面が少し違うことがあります

Windsurf、Zed、Gemini CLI など MCP を使える他のアプリは追加方法がそれぞれ違います。アプリ一覧で確認してください

MCP を使えるアプリをすべて見る →

JSON 設定は下の「開発者向け」にあります

つまずいたら？LingNao を使っている人に聞いてみましょう💬 ディスカッション →
開発者向け：ターミナルのコマンドと JSON 設定

パソコンにインストール

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

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

ひと目でわかる

週あたりのダウンロードi
73/週
ライセンスi
ライセンスの記載なし
接続方法
パソコンで動く
最新バージョンi
1.4.2
レジストリ公開日i
2026年10月13日
コードの最終更新i
2026年11月4日
作者
genesis-plan
パッケージ
npm: lingnao-mcp
ウェブサイト
hongchenlingjing.com
レジストリでの状態
有効

使えるアプリ

このサーバーのつなぎ方と、各アプリの公式ドキュメントに基づきます。2026年11月10日に確認。

パソコン上で動かせるアプリ

ClaudeGooseLM StudioMsty StudioCherry StudioCursorVS Code + GitHub CopilotVisual StudioWindsurf (Devin Desktop)ZedKiroClineContinueJetBrains AI AssistantClaude CodeCodex CLIGemini CLIOpenCodenodecodeWarpLibreChatRaycast

すべてのアプリと長所・短所 →

できること

パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月15日にチェック

  • ✓ 合格

    作者とリポジトリが一致

    レジストリ名は、リポジトリを所有するGitHubアカウント genesis-plan で確認済みです

  • ✓ 合格

    今もメンテナンスされている

    コードの最終更新：11 日前

  • ! 注意

    ライセンスがある

    GitHubがライセンスの種類を判別できませんでした。ファイルを開いて確認してください

  • – 対象外

    エンドポイントが応答する

    これはパソコンで動くため、インターネット上のエンドポイントはありません

  • – 対象外

    OAuthでサインイン

    パソコンで動き、代わりにローカルの設定を使います

  • … 未チェック

    ツールの説明に隠れた指示がない

    パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです

公開済みの脆弱性（OSV.dev）

OSV.dev に lingnao-mcp@1.4.2 の登録はありません

このバージョンのパッケージ本体のみ確認。すべての依存関係ではありません · 確認日 2026年11月15日

確認していること → · JSON

作者の方へ：再確認の依頼・情報の誤りの報告

ログイン

話し合い

質問、コツの共有、使えないことの報告ができます。「役に立った」の多い順です。

まだ投稿はありません。最初の質問や共有をどうぞ。

ここの投稿は利用者によるもので、PopNx チームのものではありません。

ログインして投稿

ユーザーレビュー

まだレビューはありません

ログインしてレビューを書く

検索・AIの記憶のほかのサーバーとの比較i

  • このカテゴリのほかの6182件のうち0%よりスターが多い
  • このカテゴリのほかの6182件のうち53%より最近レジストリに公開
  • 基本チェックの結果が、このカテゴリのほかの6182件のうち50%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

LingNaoは安全ですか？

当てはまる基本チェック3項目のうち2項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか？

レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。

パソコンで動きますか、それともクラウドですか？

あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません（サーバー自体がオンラインサービスを呼び出す場合を除きます）。

今もメンテナンスされていますか？

GitHubリポジトリの最終更新は11 日前、最新バージョン（1.4.2）がレジストリに届いたのは33 日前です。

どのアプリで使えますか？

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにNode.jsも必要です。

代わりに使えるものは？

同じカテゴリには：OpenSEO, Exa, Mockserver, Microsoft Learn MCP, Docs

似た働きのほかの候補

同じカテゴリでほかの作者のもの。コマンドは確認済み。公式を先に、次にスター順。

カードの見方：↓ 週あたりのダウンロードi★ GitHubスターi3つの柱：レビュー · チェック · 利用状況i更新＝最新バージョンをレジストリに公開した日i

OpenSEO

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

作者：every-app広く使われている★ 2.8万昨日更新

クラウドで動く✓ everyapp.com
接続方法

Exa

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

作者：exa-labs広く使われている★ 52342 か月前更新

クラウドで動く✓ 提供元 · exa.aiPopNx チームが実際に試用
接続方法

Mockserver

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

作者：mock-server成長中★ 501119 日前更新

パソコンで動く✓ 提供元 · mock-server.com
インストール

Microsoft Learn MCP

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

作者：MicrosoftDocs広く使われている★ 199212 か月前更新

クラウドで動く✓ 提供元 · microsoft.comPopNx チームが実際に試用
接続方法

Docs

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

作者：proxysoul成長中★ 16142 か月前更新

クラウドで動く✓ empryo.com
接続方法
  • OpenSEO — クラウドで動き、インストール不要 · キー不要
  • Exa — クラウドで動き、インストール不要 · キー不要 · Claude のディレクトリに掲載
  • Mockserver — パソコンにインストールが必要 · キー不要
  • Microsoft Learn MCP — クラウドで動き、インストール不要 · キー不要 · Claude のディレクトリに掲載
  • Docs — クラウドで動き、インストール不要 · キー不要

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

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。

说明
是确定性推理服务层：对智能体/机器人的规划、因果、世界模型、数学健全性做符号推理；同输入必得同输出；不可判定时诚实返回 𝕌（弃权）
不是语言模型（不生成文本、无世界知识）、审计器、认证器、"绝对安全"的证明器、通用数学定理证明器（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}；形式概念分析 FCAworld_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

推荐调用序列（纯推理）
  1. world_info — 查看世界图 𝕎
  2. set_world —（可选）载入你自己的场景
  3. carrier_report — 上报物理状态（电量/密度）以推导硬/软约束
  4. reason — 深思规划（系统 1 快答 + 系统 2 A\* + RSG）
  5. dmcts —（可选）确定性 MCTS 多候选探索
  6. causal / causal_effect / counterfactual — 因果与反事实推演
  7. pac_bound — 评估所需样本量（不确定性理论）
  8. learn — 把真实结果反馈回经验库，置信度流入未来规划
推荐调用序列（具身 / 机器人）

attach_body → plan_task → execute_task（每步 SAFE-STOP）→ state_diff → 有界重规划（maxReplans）

两个独立产品，勿混淆

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

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

分发渠道

渠道入口
GitHub（主仓）https://github.com/genesis-plan/lingnao — 克隆即跑
npmnpx -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 等）已从对外网关能力清单中移除（不再暴露、不再挂名），仅保留为内核内部资产；灵脑对外只做推理。