Rei-AIOS コネクタ / 端子 / マシン 総目録
STEP 1463 (v1) → STEP 1464 (v2 correction) · 2026-08-27 · 藤本さん依頼 (「400〜500 の コネクタ用ツール が あった 気がする」 記憶裏取り + 総数把握 page)
ソース = C:/Users/user/rei-aios/tools/ + src/aios/ + data/catalog/ + .mcp.json + session MCP tool exposure 実地 grep
藤本さんの記憶は 正確でした。 私 (Claude) が 前応答で 見落としていました。
tools/sougou-connectors/ に 446 本 の Python コネクタ (『学問・技術 総合一覧』 2026-08-19 全項目)、
加えて tools/sougou-external-connectors/ に 3 本。 独立系統 (Python stdlib only、 MCP protocol 疎通確認済) で、
rei-aios TypeScript MCP とは別の layer です。
★★★ v2 訂正 note (STEP 1464、 藤本さん verify feedback 反映):
- v1 で 使った 「rei-aios MCP 54 tool」 は banner v2.8.12 auto-count (実装 wired base)、 一方 本 session に MCP protocol で 露出している rei-aios tool は 40 本。 差 14 は 新規 tool の session restart 未反映 candidate (catalog_execute / catalog_list 含む v2.8.11 以降 追加分)。
- v1 で 使った 「benchtop 27 tool」 も 過去 memory hook base、 本 session 露出は 33 本。 差 6 は 私 memory の catch-up 未反映。
- v1 grand total 「508 / 545+」 は base が 混在していたため、 v2 では 2 種の 総数を 明示分離: (A) session-exposed base + (B) 実装 wired base。
- 本 page の 数字は 「実装本数 (wired base)」 と 「session MCP 露出本数 (returned by tools/list)」 の 両方が 混在。 Python コネクタ 449 本 は そもそも 本 session に MCP wire 未登録 (別 process、 独立系統)。 検査票 の 標準ルール = tool 返却値 のみで判定、 に照らすと 総合数字は 近似値。 layer 別 で 参照して下さい。
訂正版 集計 (STEP 1464 → STEP 1466 chat-Claude verify 反映)
(A) 本 session に MCP 露出中 (Rei 製) = 79 tool (rei-aios 40 + benchtop 33 + rei-memory 3 + rei-meta 3)
(A′) session total (Rei + Anthropic bridge) = 80 tool ((A) 79 + Anthropic 側 get_device_info 1 = デバイスブリッジ自身の tool)
(B) 実装 wired 総数 = 545+ (rei-aios 54 + benchtop 33 + automator 7 + Python コネクタ 449 + コンビナート 4 + 補助 4)
(C) tool 呼出 単位換算 = 1,891+ (Python コネクタ 4 tool/本 で 展開時)
v1 で 単一 「508」 と 記した数字は 撤回。 (A) が 「今 本当に呼べる Rei 製 の数」、 (A′) が 「セッション tools/list の total」、 (B) が 「repo に存在する数」。 STEP 1466 訂正: v2 で 使った 「rei-aios 40 + benchtop 33 + automator 7 = 80」 は composition が 2 重誤り (automator 7 は STEP 1440 で .mcp.json 未登録 = session 呼出 不可 confirmed / rei-memory 3 + rei-meta 3 が 欠落) — 偶然 和が 一致していた。
1. rei-aios MCP TypeScript tool (session 40 / wired 54)
banner auto-count (STEP 1378 systemic) で v2.8.12 時点 wired 54 tool。 但し 本 session が MCP protocol tools/list で 実際に 露出しているのは 40 tool (差 14 は 新規 tool の session restart 未反映 candidate = STEP 1443/1447/1452/1458 の catalog_execute + catalog_list 等)。 内 catalog 経由化済 24 (wired 44% / session 60%)。
| layer | 数 | 確認方法 |
|---|
| session MCP 露出 tool | 40 | 本 session の tools/list 実測 (2026-08-27、 藤本さん verify) |
| wired 実装 tool (banner) | 54 | banner v2.8.12 (STEP 1378 auto-count) |
| catalog 化済 tool | 24 | ls data/catalog/*.json or catalog_list MCP 呼出 |
| catalog 未化 tool (wired base) | 30 | wired 54 - catalog 化 24 |
| 差 (wired - session) | 14 | session restart 未反映 candidate |
catalog 24 entry 内訳 (STEP 1443 → 1447 → 1452 → 1458)
- D-FUMT₈ 演算子 系: d8_apply, d8_table, d8_fixpoints, d8_verify, d8_unary_idempotent, d8_bounded, d8_reciprocal_sum_screen, d8_completeness, d8_completeness_check, d8_ledger_query (10)
- d8_verdict 系 (測定→verdict): from_measurement, from_sample_pair, from_multi_trial (3)
- 物理限界 pre-check: d8_physics_precheck, d8_physics_precheck_lean_export (2)
- 次元・Lean 4 export: dimension_check, d8_dimension_lean_export, d8_lean_symbol_map (3)
- HTTP wired (STEP 1458): get_theories, get_theory, get_simulation_state, get_knowledge_stats, get_arxiv_papers, compute_dfumt (6)
2. Rei stack MCP 9 systems (rei-aios 含む)
| # | system | version | tool 数 | 役割 |
|---|
| 1 | rei-aios | v2.8.12 | 54 | D-FUMT₈ 演算子 + 測定 verdict + SEED_KERNEL query + PC 自動操作 |
| 2 | benchtop-mcp | v0.9 | 33 | 計測 pipeline + SafetyGate + 化学 SCD40/SGP40 + env/IMU/ToF + olfact + physics-limits (session 露出 33 verified、 私 memory hook 27 は 過去 catch-up drift、 v2 訂正) |
| 3 | mcp-lens | — | — | A 柱 (可視化 lens 系) |
| 4 | rei-automator-mcp | v0.2.0a3 | 7 | PC 自動化コネクタ (STEP 1440 反応確認) |
| 5 | lab-notebook-mcp | v0.1.0 | — | 実験記録 (ALCOA+ / ISO 17025 準拠) |
| 6 | rei-verify | 0.1.0a1 | — | 検証機械 |
| 7 | rei-memory-mcp | 0.1.0 | 3 | memory 直接 access (session 実測、 STEP 1466 verify) |
| 8 | rei-meta-mcp | 0.1.0-alpha | 3 | 自己 audit 再帰 (session 実測、 STEP 1466 verify) |
| 9 | rei-checker-mcp | v0.3.0a1 | — | Lean REPL + D-FUMT₈ ledger (STEP 1401/1402)、 session 未 wire |
| 実測 合計 (STEP 1466 訂正) | 79 Rei session / 80 total / 94+ wired | Rei session: rei-aios 40 + benchtop 33 + rei-memory 3 + rei-meta 3 = 79。 + Anthropic bridge get_device_info 1 = 80 total。 wired: rei-aios 54 + benchtop 33 + automator 7 = 94+ (automator は session 未登録) |
3. Python コネクタ (449 本 = 446 + 3) ★★★藤本さんの記憶の 本体★★★
3.1 sougou-connectors (446 本 / 12 章)
tools/sougou-connectors/ = 『学問・技術 総合一覧』(2026-08-19) の 446 項目 = 1 項目 1 コネクタ。
Python 3.9+ 標準ライブラリのみ、 各 20 行弱、 共通コア sougou_core.py。 各コネクタは 4 tools (info/siblings/chapter/search) → 446 × 4 = 1,784 tool call 単位。
| 章 | 分類 | 大分類 | 本数 |
|---|
| 01 | 学校の教科 | 第 I 部 学問・教育 | 36 |
| 02 | 学問分野 | 第 I 部 学問・教育 | 37 |
| 03 | 資格 | 第 I 部 学問・教育 | 51 |
| 04 | 教育学 | 第 I 部 学問・教育 | 15 |
| 05 | 哲学 | 第 I 部 学問・教育 | 23 |
| 06 | 理論 | 第 I 部 学問・教育 | 31 |
| 07 | 思想 | 第 I 部 学問・教育 | 25 |
| 08 | 倫理 | 第 I 部 学問・教育 | 19 |
| 09 | 装置 | 第 II 部 技術・実装 | 34 |
| 10 | 回路 | 第 II 部 技術・実装 | 52 |
| 11 | コネクタ | 第 II 部 技術・実装 | 48 |
| 12 | ソフトウェア | 第 II 部 技術・実装 | 75 |
| 合計 | 446 |
確認: ls tools/sougou-connectors/connectors/*.py | wc -l → 446 verified。 全 索引 = tools/sougou-connectors/INDEX.md
python3 connectors/276_mosfet.py info # MOSFET 照会
python3 connectors/276_mosfet.py siblings # 同小見出し 6 項目
python3 connectors/164_kenron.py chapter # 「憲論」 の章全体
python3 connectors/399_lean4_mathlib.py search 倫理
3.2 sougou-external-connectors (3 本 / 11 tools)
tools/sougou-external-connectors/ = 『学問・技術 総合一覧』 付録 C「Rei 向けコネクタ候補」 の 哲学・思想系 3 実装。 全 実 API を live で叩いて動作確認済 (2026-08-21)。
| ファイル | サーバ名 | 出典 | tools |
|---|
sat_connector.py | sougou-external-sat | SAT 大正新脩大藏經 (東大) | 3 |
philosophy_connector.py | sougou-external-philosophy | PhilPapers + SEP | 5 |
jp_academic_connector.py | sougou-external-jp-academic | CiNii Research + J-STAGE | 3 |
| 合計 | 11 |
4. コンビナート 4 機械 (chat-Claude thread arc、 2026-08-27 集中実装)
chat-Claude thread arc の 「循環する 4 機械 コンビナート」 = 端子構造化 → 端子分類 → 配線監査 → 時間経過 の loop。
| # | 機械 | STEP | 実装 | D-FUMT₈ verdict |
|---|
| #4 | connector-graph schema (端子基盤) | 1448 | src/aios/connector-graph/ | — |
| #3 | OpenEndTag 構造化 | 1450 | src/aios/open-end-tags/ | 11 OpenEndKind |
| #1 | ゴースト配線検出器 | 1457 | src/aios/ghost-wire-detector/ | BOTH (真だが不当) |
| #2 | 時間コネクタ runtime (maturation) | 1460 | src/aios/time-connector-runtime/ | FLOWING (経過が変換) |
4.1 端子 4 状態 (NodeState、 STEP 1448)
INSTANTIATED — 具体化済 (実測 or 実 API 応答)UNKNOWN — 未確定 (measurement pending)OPEN — 開放中 (仕様未定)NON_EXISTENT — 非有非無 端子 (定義自体が 空、 混同すると 統計・UI・ML・教育現場で 誤り、 教材 site)
4.2 8 OwnerKind (端子 出所強度、 measured=7 最強 → ai-inferred=0 最弱)
measured / human-declared / instrument-logged / third-party-audited / documented / cited / user-input / ai-inferred。 上位 5 種は AI が単独で出せない (STEP 1448 型 level 実装、 STEP 1457 ゴースト配線検出器 で 弱 owner + 強 claim の 組合せを 検出)。
5. その他 tools/ (4 本、 独立 utility)
| 名前 | STEP | 役割 |
|---|
tools/rei-ledger/ | 1362 | chatClaude ↔ Claude Code 双方向 briefing baton (Drive OAuth 開通版) + λ計算 REFUTED ledger (L001) |
tools/rei-preregister/ | 1359 | chat-Claude 「反証以上」 arc (B) 事前登録 tool + 「グリーン ≠ 検証済み」 discipline |
tools/four-theory-simulator/ | 1432 v3 系譜 | 八値対話シミュレータ (v1 STEP 1280 → v2 1286 → v3 1432)、 GP 定理 パネル + 400 回 実測 収束 |
tools/onshoku-jiten/ | — | 音色辞典 (詳細は 別 STEP 参照) |
6. 集計 (全 layer 合算)
| 系統 | session 露出 | wired 実装 | tool 呼出 換算 | 備考 |
|---|
| rei-aios MCP tool | 40 | 54 | 54 | TypeScript, MCP protocol、 差 14 = restart 未反映 |
| benchtop-mcp | 33 | 33 | 33 | 藤本さん verify 実測 |
| rei-automator-mcp | 7 | 7 | 7 | STEP 1440 反応確認 |
| Rei stack 他 MCP (mcp-lens / lab-notebook / rei-verify / rei-memory / rei-meta / rei-checker) | ? | ? | ? | 未計数 (systems 3-9 の 内) |
| sougou-connectors (Python 独立系統) | 0 | 446 | 1,784 | 本 session に MCP wire 未登録、 別 process 起動時 4 tool/本 露出 |
| sougou-external-connectors (Python 独立系統) | 0 | 3 | 11 | 実 API 疎通済、 別 process |
| コンビナート 4 機械 (in-process TS、 MCP 未 wire) | 0 | 4 | 4 | chat-Claude thread arc、 TS class として存在、 別 STEP で MCP wire 予定 |
| その他 tools/ (rei-ledger / rei-preregister / simulator / 音色辞典) | 0 | 4 | 4+ | 独立 utility、 MCP 露出は 個別 wire 必要 |
| 合計 | 80 | 545+ | 1,891+ | (A) session base 80、 (B) wired base 545+、 (C) tool call 換算 1,891+ |
Honest scope (誠実な範囲):
- 「508」 と 冒頭に書いたのは Rei stack MCP 未計数 (mcp-lens 等 4 system) を 保守的 minimum で 数えた場合。 中間表 の 545+ は benchtop 27 + automator 7 を 加算した 実測 minimum。
- Python コネクタ 446 は ローカル存在 verify 済 (
ls | wc -l) だが、 全 446 本 の 疎通確認は README claim (「446 本すべて実際に MCP プロトコルで起動して疎通確認済み」) を 引用しており、 本 page 作成時点で 独立再検証は未実施。 再検証したい場合 python3 run_all_tests.py。
- 「コネクタ / 端子 / マシン」 の 用語 は 藤本さん の 起点問い に 沿った 総称。 layer は 別 (MCP tool / OwnerKind 端子 / コンビナート 機械) で、 本 page は inventory のみ。 分類論は STEP 1448 connector-graph schema 参照。
- 本 page は 藤本さん が 「400-500 あった 気がする」 と 前応答で 私が答えられなかった 数を 再確認する 依頼 に 応えるための 純粋な 目録。 新規 実装は なし。
7. 未来 Claude session への 引継ぎ
- この page は 「コネクタの数を 忘れた」 再発防止 のための 引き当て点。 sougou-connectors の 446 本 は memory / CLAUDE.md には index 未収載 だった (STEP 1463 audit で 判明)。
- 新 コネクタ 系統追加 時 は 本 page も 更新 (SITE_COVERAGE_MAP.md 準拠)。
- 各系統 詳細:
- rei-aios MCP →
data/catalog/ + banner auto-count
- Python コネクタ →
tools/sougou-connectors/INDEX.md (12 章 446 本 全索引)
- コンビナート → arc summary page
- 端子 4 状態 → 教材 site