v1.0.2 446/446 MCP 疎通 PASS Windows / Linux / Mac

Sougou Connectors — 学問・技術総合一覧 446 項目 MCP コネクタ

『学問・技術総合一覧』(2026-08-19) の 446 項目すべて に、 1 項目 = 1 本の MCP コネクタを用意したもの。共通コア + 薄いサーバ設計、外部依存ゼロ。

🌳 まず触ってみる方は → Sougou Explorer (学問・技術総合一覧 446 項目の interactive 索引、 install 不要、ブラウザで即動作)

生徒さん・一般ユーザーには上記 Explorer が最短経路。 dev / MCP 統合したい方は以下 (§9 「一般ユーザーが使う」) の git clone 手順へ。

1. 何ができるか

446 本の各コネクタは、それぞれ担当する 1 項目について 4 つのツール を提供する。

ツール	何をするか
`info`	照会 — その項目の所属 (部・章・小見出し)、併記された補足、小見出し内での位置
`siblings`	一覧 — 同じ小見出しに並ぶ項目すべて。自分の位置に `→` が付く
`chapter`	章俯瞰 — 所属する章を、小見出しごとの用語一覧として一望する
`search`	検索 — 総目録 446 項目を部分一致で。用語名への一致を上位に並べる

search だけは全体を見に行くので、どの 1 本を繋いでも総目録全体を引ける。つまり 446 本すべてを入れる必要はない。まず 1 本入れて、そこから search で全体を探る使い方ができる。

2. 章別内訳 (合計 446 項)

章	項目数	内容
01	36	学校の教科
02	37	学問分野
03	51	資格
04	15	教育学
05	23	哲学
06	31	理論
07	25	思想
08	19	倫理
09	34	装置
10	52	回路
11	48	コネクタ
12	57	ソフトウェア
A	5	付録: PC 完結メーター一覧
B	3	付録: 空気中からの発電
C	10	付録: Rei 向けコネクタ候補
合計	446

3. 使ってみる (MCP を介さず単独実行)

python3 connectors/276_mosfet.py info
python3 connectors/276_mosfet.py siblings
python3 connectors/164_kenron.py chapter
python3 connectors/399_lean4_mathlib.py search 倫理

実行結果 (info):

■ MOSFET  [276]

所属 : 第II部 技術・実装 › 10. 回路 › 能動素子
位置 : 小見出し内 3/6 番目
出典 : 学問・技術 総合一覧 (2026-08-19)

実行結果 (siblings):

■ 10. 回路 › 能動素子  (6 項)

   [274] ダイオード
   [275] BJT
 → [276] MOSFET
   [277] IGBT
   [278] SCR/TRIAC
   [279] フォトカプラ

4. Claude Desktop 等への導入

446 本を一度に登録すると起動が重くなるので、章ごとの段階導入を勧める。

python3 make_config.py --chapter 10       # 第10章(回路)44本だけ
python3 make_config.py --ids 164 276 399  # 特定項目だけ
python3 make_config.py                    # 全446本

生成された config.json の mcpServers の中身を、 Claude Desktop の claude_desktop_config.json にそのまま貼り付ける。

5. 検証

Windows 実測 (2026-08-20): run_all_tests.py --full

1. 構文検証        : 446 本
2. コア4機能       : 446 項目 × 4 = 1784 呼び出し
3. MCP 疎通(全数)  : 446 本すべてを実起動して initialize / tools/list / tools/call を確認
4. 設定JSON        : 全446本 + 章別15ファイル
すべて成功。446本すべてが起動・応答可能です。

確認内容:

446 ファイルすべての構文が正しい
446 項目 × 4 機能 = 1,784 呼び出しが例外なく応答する
章別件数が一覧の記載 (36/37/51/15/23/31/25/19/34/52/48/57/5/3/10) と一致
各項目が自分自身を search で引ける
空検索・該当なし・存在しない ID が正しく処理される
MCP の initialize → tools/list → tools/call が通り、未知ツールは isError で返る

6. 設計上の判断

共通コア + 薄いサーバ

446 本を個別に手書きせず、実体は共通コア sougou_core.py 1 ファイルに集約。挙動を直したいとき 446 箇所ではなく 1 箇所を直せば済む。項目固有の情報は catalog.json にデータとして置いてあるので、用語の追加・修正はコードではなく JSON の編集で終わる。

外部依存ゼロ

pip install が要らないので、Rei 側の環境に何も足さずに動く。 MCP プロトコル (JSON-RPC 2.0 over stdio) は sougou_core.py に直接書いてある。

今できるのは「照会・一覧・検索」まで

外部ソース (arXiv、CiNii、Mathlib など) への実際の問い合わせは入っていない。付録 C の設計原則どおり、読み取り専用の資料系として切り出してある。外部接続を足すなら sougou_core.py にツールを 1 つ追加すれば 446 本すべてに同時に入る。

7. 変更履歴

2026-08-20 hotfix — Windows で MCP 経由の呼び出しが失敗する 2 点を修正:

sougou_core.py serve() 冒頭で stdio を UTF-8 に固定
(Windows の既定 cp932 では応答内の — などで encode 失敗していた)
run_all_tests.py を mcp パッケージの新旧両バージョンに対応
(serverInfo / server_info / isError / is_error を吸収)

初版 (前セッション実装、Linux/Mac verify) → hotfix 適用後 Windows でも --full が 446/446 PASS。

2026-08-21 v1.0.1 — 434 → 435 に拡張:

id 435 ラムダ計算 を追加 (章 06 理論 / 形式・数理、計算理論の直後に位置付け)。 Church 1936、λx.M 型計算モデル、計算理論・型理論・関数型言語の共通基礎。
章 06 = 27 → 28 項目、総数 434 → 435 項目

背景: 藤本さん「ラムダ計算は connector として機能するか」の判断 = 三条件 (未知データ/鮮度/検索量) いずれにも当たらず connector 化は無駄、ただし一覧側での抜けは補うべき、との整理を受けたもの。型検査 (合成規則としての meta 層) 導入は 3-4 コネクタの現状では過剰、合成失敗が実際に起きてから ── 圏論を持ち出せたのが可換でない図式が実地で出てからだったのと同じ基準。

2026-08-21 v1.0.2 — 435 → 446 に拡張 (11 項目追加、 (A)+(B)):

(A) 06 理論 / 形式・数理に 3 項目追加:

型理論 (id 436、Martin-Löf 1972 / dependent types / Curry-Howard 対応、 Lean 4 / Coq / Agda の基盤) — 証明論 (166) 直後に位置付け
時相論理 (id 437、LTL / CTL / μ-calculus、モデル検査の基盤、 TLA+ の理論的背景) — ラムダ計算 (435) 直後
Homotopy 型理論 (HoTT) (id 438、Voevodsky 2013 Univalent Foundations) — 末尾

(B) 10 回路に「量子」 subgroup 新設 + 8 項目:

量子ビット (439)、Hadamard (440)、Pauli X/Y/Z (441)、CNOT (442)、位相 S/T (443)、Toffoli (444)、測定 (445)、リセット (446)
Paper 145 D-FUMT₈ ALU 実装 (Aer + IBM Heron r2 + FPGA、 Phase 1-5 全検証済) との gap 解消 — 一覧側に量子 primitive 章がなく、実装との asymmetry があった

影響:

章 06 = 28 → 31 項目、章 10 = 44 → 52 項目 (+ 「量子」 subgroup 新設)
総数 435 → 446 項目、 446/446 MCP 疎通 PASS (Windows 実測)
catalog / INDEX / mcp_servers.all.json / config_by_chapter/{chapter_06.json + chapter_10.json} / connectors/{436-446 = 11 file} / tests 全 cascade update

背景: 藤本さん「学問・技術総合一覧を見直したい」 arc の (A)+(B) 選択。 06 理論 / 形式・数理の抜け (証明論の周辺 = 型理論 + 時相論理 = 形式手法群の直接前提) と、 10 回路の Paper 145 実装 gap (量子 primitive が一覧側に無かった) を両方埋めた。

8. Honest scope

「世界初」主張なし — 用途固有の資料系 MCP。総目録の 446 項目を機械可読な形で照会・検索できるように整理した layer 位置のみ。
4 機能に限定 — info / siblings / chapter / search のみ。外部 API 呼び出し・書き込み・状態保持は意図的にゼロ。
catalog.json は 2026-08-19 版 — 元 md 更新時は catalog.json を再生成する必要がある (現状の再生成 script は同梱していない)。
MCP プロトコル対応バージョン: 2025-06-18 / 2025-03-26 / 2024-11-05。 client が要求したものが対応表にあれば echo、無ければ最新版で応答。
依存: Python 3.9+ 標準ライブラリのみ。 run_all_tests.py --full の MCP 実起動 test だけは mcp と anyio パッケージが必要 (実運用では不要)。

9. 一般ユーザーが使う (2026-08-21 公開)

public GitHub repo: github.com/fc0web/sougou-connectors (MIT license)

依存パッケージゼロ、 clone するだけで即動く:

git clone https://github.com/fc0web/sougou-connectors.git
cd sougou-connectors
python3 connectors/276_mosfet.py info
python3 connectors/276_mosfet.py siblings
python3 connectors/435_ramuda_keisan.py chapter    # v1.0.1 追加分
python3 connectors/442_cnot.py siblings            # v1.0.2 量子 subgroup

Claude Desktop 登録:

python3 make_config.py                    # 全 446 本
python3 make_config.py --chapter 06       # 章 06 (理論) 31 本
python3 make_config.py --ids 435 442 445  # 特定項目のみ

catalog data の公開 URL (WebFetch / API 用途):

catalog-compact.json (80 KB、 essential field のみ、 chat-Claude WebFetch verify pass)
catalog.json (167 KB、 full 版、 index_by_group / index_by_chapter 込み)

10. 関連

public 版: github.com/fc0web/sougou-connectors (MIT)
Rei-AIOS 側ソース (private): rei-aios/tools/sougou-connectors/
元 md: 学問・技術総合一覧.md (2026-08-19)
関連 site: Rei Education Hub v0.1、D8-NEITHER v0.1