霊数ソルバー · Lingshu Solver

≤6 次元の決定的実数方程式系求解エンジン · AI エージェントと一般ユーザー向け MCP ツール

霊数ソルバー（コードネーム Epsilon、V4.1）は、オフライン・決定的・ゼロデータの実数方程式系ソルバーであり、 6 変数以下・実数解・軽量な数値位置特定をカバーします。ユーザーに初期値を要求せず、区間演算による保守的収縮 + Krawczyk 作用素による解の認証を行い、多解の網羅にも努めます。

🚀 クイックスタート（30 秒）

技術に詳しくない方 —— そのまま Web 版を使う

このリンクを開くだけで使えます。何もインストールする必要はありません： 👉 https://genesis-plan.github.io/lingshu-solver/

入力欄に方程式を書いて（例：x^2 + y^2 = 25 と x + y = 7）、求解を押すだけです。 ページ内に 6 つのサンプルボタンがあり、押せば何が解けるかすぐ分かります。

AI ユーザーの方（Claude / Cursor / Cline など）

以下の設定を MCP クライアントの設定ファイルにコピーし、クライアントを再起動するだけです：

{
  "mcpServers": {
    "lingshu-solver": {
      "command": "npx",
      "args": ["-y", "lingshu-solver"]
    }
  }
}

コードのダウンロードもパスの入力も不要です。npx が自動的に取得・実行します。 お使いの PC に Node.js が未インストールの場合は、https://nodejs.org から LTS 版をダウンロードしてインストールしてください（次へを押し続けるだけです）。

開発者の方

git clone https://github.com/genesis-plan/lingshu-solver.git
cd lingshu-solver
node mcp-server.js        # 启动 MCP 服务端
node test/regression.js   # 跑回归测试（28 用例）

本リポジトリには以下が含まれます：

• index.html —— 単一ファイル製品（ブラウザ内 UI + 検証済みコアスクリプト <script id="solver-core">）

• solver-core.js —— Node エンジンローダー（index.html のコアスクリプトを読み込み、ゼロ依存、MCP/テストで再利用）

• mcp-server.js —— ゼロ依存 MCP stdio サーバー（手書き JSON-RPC 2.0 + Content-Length フレーミング）

• package.json —— 標準メタデータ、npx lingshu-solver で一行接続

• test/ —— 回帰スイート + スモークテスト + 3 セットの常設試験問題

能力の境界（正直な宣言）

保証しないこと：あらゆる入力に対する 100% の網羅性、高度に悪条件なシステムでの予算内の必収束。これらは正直な境界であり、欠陥ではありません。

MCP ツールとしての利用

1. サーバーの起動

node mcp-server.js

2. MCP クライアント（Claude Desktop / Cursor / Cline / VS Code など）での設定

推奨 · 一行コマンド（npm への公開が必要です。未公開のため、現在は下記の clone 版を使用してください）：

{
  "mcpServers": {
    "lingshu-solver": {
      "command": "npx",
      "args": ["-y", "lingshu-solver"]
    }
  }
}

注：npx lingshu-solver は本パッケージが npm に公開された後に利用可能になります。現在対応中です。それまでは下記の「ローカルパスを手動指定」版（リポジトリを clone 済みの場合）を使用してください。

代替 · ローカルパスを手動指定（リポジトリを clone 済みの場合）：

{
  "mcpServers": {
    "lingshu-solver": {
      "command": "node",
      "args": ["把这里替换成你本地的绝对路径/灵数求解器/mcp-server.js"]
    }
  }
}

手動版では args 内のパスを、お使いのマシン上の mcp-server.js の絶対パスに置き換える必要があります（例：C:/Users/あなたのユーザー名/Desktop/霊数ソルバー/mcp-server.js）。npx 版ではこの手順は不要です。

ツール 1：solve

入力：

{
  "equations": ["x^2 + y^2 = 25", "x + y = 7"],
  "variables": ["x", "y"],
  "domain": { "x": [-30, 30], "y": [-30, 30] }
}

• equations：方程式の文字列配列（必須）、+ - * / ^ sqrt log sin cos tan exp abs と、文中の定義域制約 "x ∈ [-30,30]" をサポート。

• variables：変数名の配列（任意。未指定の場合は出現順に自動認識、最大 6 個）。

• domain：明示的な探索域（任意）。「有限解・一部」デモや急増加関数では指定を推奨。指定しない場合、デフォルトの ±1e6 では剪枝が失敗し truncated が発生する可能性があります。

出力精度は小数第 6 位固定（製品仕様「6 桁小数の有限グリッド」）。桁数切替はありません。解点 values はグリッドに吸着され、実際の残差は通常 ≤ 1e-9 です。

出力（抜粋）：

{
  "resultType": 2,
  "resultTypeName": "finite",
  "certified": true,
  "truncated": false,
  "precisionDecimals": 6,
  "solutionCount": 2,
  "recommended": { "values": [3, 4], "tier": "proven", "residual": 0 },
  "solutions": [ { "values": [3, 4], "tier": "proven", "residual": 0 }, ... ],
  "warnings": []
}

• resultType：1=empty(解なし) / 2=finite(有限解) / 3=infinite(無限解集合、原点から最も近い推奨解のみ提示)。

• tier：proven（Krawczyk 認証）/ candidate（未認証だが解の可能性あり）/ structural（構造的導出）。

ツール 2：give_feedback

AI エージェントが詰まり・エラー・疑わしい問題に遭遇した際に能動的に報告。ローカルの feedback.log にのみ記録され、外部送信はされません：

{ "name": "give_feedback", "arguments": { "message": "x^2=4 期望2解", "context": "批量求解场景" } }

ローカル検証

node verify_core.js        # 引擎加载 + 6 个代表性用例
node mcp_smoke.js          # MCP 字节级冒烟（initialize/tools/list/tools/call）
node mcp_smoke2.js         # give_feedback + 错误结构化（不泄露堆栈）
node test/regression.js    # 三套常驻考卷回归（28 用例，known 命中率统计）

例（6 種類の結果を網羅）

ドキュメント

• 《霊数ソルバー_コードフロー中国語説明.md》—— 解析から出力までの完全な内部フロー（数学バックグラウンドの読者向け）

• 《霊数ソルバー商業化戦略ホワイトペーパー.md》—— ポジショニング、能力の境界、リスク

• 発明特許出願シリーズ（提出済み）

ライセンス

Apache License 2.0 —— LICENSE を参照。