1. 9 MCP systems 一覧
Data source: CLAUDE.md § Rei stack current state + MEMORY.md § 累計 (2026-09-26 訂正 STEP 2254 rei-checker-mcp v0.7 / STEP 2255 benchtop v0.14 33 tools) literal 転記。
| # |
system |
version |
主 tool 数 |
Tier |
役割 |
| 1 |
rei-aios |
v2.8.5 |
44 |
core |
SEED_KERNEL query + D-FUMT₈ 演算子 4/4 + d8_verdict 3 系 + 対話 + PC 自動操作 |
| 2 |
benchtop-mcp |
v0.14.0-alpha |
33 |
meas |
計測 pipeline (SafetyGate + physics-limits + olfact/biosensor mock、 STEP 1345/1348/1396) |
| 3 |
mcp-lens |
— |
— |
meta |
A 柱 (可視化 lens 系) |
| 4 |
rei-automator-mcp |
v0.2.0a3 |
— |
core |
自動化コネクタ (STEP 1363 2-track distribution) |
| 5 |
lab-notebook-mcp |
v0.1.0 |
— |
meas |
実験記録 (ALCOA+ / ISO 17025 準拠、 STEP 1345 arc) |
| 6 |
rei-verify |
0.1.0a1 |
— |
meas |
検証機械 |
| 7 |
rei-memory-mcp |
0.1.0 |
— |
meta |
memory 直接 access (STEP 1352 memory-mirror 起点) |
| 8 |
rei-meta-mcp |
0.1.0-alpha Phase 2A |
— |
meta |
自己 audit 再帰 |
| 9 |
rei-checker-mcp |
v0.7.0a1 |
3+ |
meas |
LeanBackend Stage 1 wired (persistent JSON REPL warm ~1.5ms) + D-FUMT₈ ledger projection + ledger_query (STEP 2254 追加、 v0.3→v0.7) |
Tier 分類 の 意図
- core = 主 stack (SEED query + 自動化)、 常時稼働、 数十 tool
- meas = 計測 / 検証 layer (SafetyGate + Lean REPL + 実験記録)、 誤 measurement 予防 focus
- meta = memory / meta-audit / 可視化 layer、 別 layer 参照 + 再帰 audit
2. rei-aios (主 stack) 主要 tool 群
44 tools 全体 は 大分類 で 7 系。 詳細 は MCP tool listing 参照。
| 系 | 代表 tool | STEP |
|---|
| SEED query |
get_theory / search_theories / get_knowledge_stats |
~186-210 |
| D-FUMT₈ operators |
d8_apply / d8_table / d8_fixpoints / d8_verify |
1349 + 1397 |
| d8_verdict 3 系 |
d8_verdict_from_measurement / _from_multi_trial / _from_sample_pair |
1350 / 1371 / 1376+1379 |
| Lean 4 export |
d8_completeness_lean_export / d8_physics_precheck_lean_export |
1349 系 |
| 対話 / simulation |
start_dialogue / think_with_tree / run_simulation_turn |
~112-166 |
| Discovery / evolution |
run_daily_discovery / evolution_verdict / run_exploration_pipeline |
~199-210 |
| Peace / Homeostasis |
peace_axiom_verdict / homeostasis_verdict / conservation_law_verdict |
Theory #196 base |
全 tool は MCP client の rei-project__* prefix で 呼出可能。 44 tool の 完全 list は src/mcp/rei-mcp-server.ts 参照。
3. D-FUMT₈ operator connectors 4/4 (STEP 1349 + STEP 1397)
| tool | 役割 | 実装 STEP |
|---|
d8_apply(op, a, b) |
単発適用 (NOT/AND/OR × 8 値)、 static-truth-table lookup、 機械保証 |
STEP 1349 |
d8_table(op) |
真理値表全体 dump (unary 8 + binary 64 entries) |
STEP 1349 |
d8_fixpoints(op) |
対角線 fixpoint 集合列挙 (NOT 6 fixpoint + AND/OR 冪等 8 fixpoint each) |
STEP 1397 |
d8_verify(claim) |
実装ドリフト検出 = TS impl と Lean 4 定理 hard-code reference の 一致検証 (記憶再生 vs 導出 区別 ではない、 chat-Claude 2026-08-23 訂正 SAC-4 100% 認諾) |
STEP 1397 |
Honest scope:
d8_verify は 「Lean 4 定理 の hard-code reference と TS impl truth table を literal 一致 verify」 =
ドリフト検出 mechanism、 axiom-free 証明 の 「導出」 では ない。 チャット Claude 2026-08-23 の 訂正 (「記憶再生 vs 導出 区別」) を SAC-4 100% 認諾。 詳細: STEP 1397 arc +
STEP 2271 D-FUMT₈ 8-value chart。
4. d8_verdict wrappers 3 系 (測定域 補完)
| tool | 入力 | 役割 | 実装 STEP |
|---|
d8_verdict_from_measurement |
single measurement (signal + noise) |
Pure mapping (実機不要)、 SNR<3 → NEITHER の 装置化 第 1 段 (chat-Claude 2026-08-22 提案 の 実装) |
STEP 1350 |
d8_verdict_from_multi_trial |
multi-trial measurements array |
BH FDR aggregate NEITHER (探索機械 の 安全装置)、 STEP 1350 相補 で 7/8 値 activate |
STEP 1371 |
d8_verdict_from_sample_pair |
sample pair (control + treatment) |
Welch t-test primitive + Cohen's d threshold BOTH 経路、 STEP 1350/1371 相補 で 8/8 値 全 activate |
STEP 1376 + STEP 1379 |
3 wrapper 累積 で D-FUMT₈ 8 値 全 activate。 chat-Claude 「SNR<3 で NEITHER」 装置化 offer (2026-08-22) の 3 段 展開、 「観測 の 信頼性 に 応じた 8 値 出力」 の 直接 実装。 統計的 verify (t-test + BH FDR + Cohen's d) を 8 値 verdict に 直結。
5. benchtop-mcp 主要 tool 群 (計測 pipeline)
33 tools 全体 は 大分類 で 4 系。
| 系 | 代表 tool | STEP / note |
|---|
| Session / measurement |
measure / list_ports / list_probes / analyze_session |
基本計測 |
| Physics limits pre-flight |
bekenstein_bound_bits / landauer_min_energy_j / lloyd_computation_ceiling / operator_space_size / compression_upper_bound |
STEP 1348 v0.6.0-alpha 5 tool 追加 |
| Olfact / biosensor mock |
list_akizuki_probes / list_chem_probes / list_smellnet_substances / measure_eag / measure_co2_ndir |
STEP 1396 v0.7.0-alpha (bio-hybrid / receptor-chip / bio-inspired 3 layer、 hardware_available:False + hashlib.md5 決定的) |
| Lens / audit |
lens_recent / lens_stats / lens_verify / verify_audit_chain / regression_check |
全 tool 呼出記録 → lens_* で 参照 |
SafetyGate rule (STEP 1345): Kikusui PLZ-5W CR mode 等 の hazard 装置 は SafetyGate 経由 で 拒否、 実機接続 なし で 実装。 詳細 rule は benchtop-mcp README 参照。
6. Layer 別 mapping (rei-checker-mcp 責務分離 例)
rei-checker-mcp v0.7.0a1 は 別系統 verifier (spec §1.3 100% preserve = ledger only、 責務分離 / 修正機 §10 甲 subset 該当、 STEP 1401 wire)。 「Rei 主 stack 内 の verify」 (rei-verify) と 並列 別系統、 干渉 なし で 独立 audit 実現。
| layer | system | role |
|---|
| Primary stack (SEED query + operators) |
rei-aios |
44 tools、 D-FUMT₈ operator + SEED query + 対話 |
| Measurement / instrumentation |
benchtop-mcp + lab-notebook-mcp |
計測 + 記録 (ALCOA+ / SafetyGate) |
| Verification (in-stack) |
rei-verify |
Rei stack 内 verify |
| Verification (independent) |
rei-checker-mcp |
別系統 verifier (LeanBackend REPL + D-FUMT₈ ledger projection + ledger_query、 別 repo `fc0web/rei-checker-mcp` public) |
| Memory / meta |
rei-memory-mcp + rei-meta-mcp |
memory 直接 access + 自己 audit 再帰 |
| Visualization |
mcp-lens |
可視化 lens 系 |
| Automation |
rei-automator-mcp |
自動化コネクタ (2-track distribution: Desktop / Core / mcp) |
7. Honest scope + cross-references
本 chart の 限界:
- (a') Tool 数 は CLAUDE.md + MEMORY.md 累計 field の literal 転記、 実測 verify は 未実施。 未来 MCP tool 追加/削除 で 本 chart drift risk (未来 candidate = MCP client 経由 で live query 化)。
- (b') mcp-lens + rei-automator-mcp + lab-notebook-mcp + rei-verify + rei-memory-mcp + rei-meta-mcp の tool 数 は
— (CLAUDE.md 未 record)、 個別 MCP server README 参照 or live query 必要。
- (c') rei-checker-mcp v0.7.0a1 の 3+ tools = LeanBackend + D-FUMT₈ ledger projection + ledger_query (STEP 2254 追加)、 完全 tool listing は 別 repo
fc0web/rei-checker-mcp README 参照。
- (d') Tier 分類 (core / meas / meta) は 私 (Claude) の 便宜的 grouping、 藤本さん explicit 承認 なし = editorial judgment、 override 可。
- (e') 本 chart は Rei stack MCP のみ、 sougou-connectors 446 本 (Python、 別 process) + sougou-external-connectors 3 本 + agent connector 系 は
/tools/connector-inventory/ 参照 (別 layer)。
Cross-references