@horizon_works/banto 0.8.0 → 0.8.2

package/add_to_config.js

@@ -0,0 +1,107 @@
+#!/usr/bin/env node
+/**
+ * mcp_config.json へ番頭を1ブロック足す（★既にあるものを消さない）
+ *
+ * 🚨 由来: 2026-08-28。ターミナル1行で入れられるようにしたら、
+ *   ★**既存の設定を消した**。原因＝ファイルが BOM つき UTF-8 で `JSON.parse` が落ち、
+ *   ★`catch` が「無い」とみなして空から作り直していた。
+ *   ★★**読めなかったことと、無いことは別**（→ premise-check §3）。
+ *
+ * ★この道具の約束
+ *   ① 読めなければ **書かない**（★控えを作って、人に見てもらう）
+ *   ② 既にある `mcpServers` は **そのまま残す**
+ *   ③ 書く前に **控えを取る**（.bak-日時）
+ *   ④ 書いたあと **読み直して確かめる**（★書けたと言う前に）
+ *
+ * 使い方:
+ *   node add_to_config.js <鍵.署名> [設定ファイルのパス]
+ *   ★パスを省くと、この環境の既定の場所を探す
+ */
+const fs = require('fs');
+const os = require('os');
+const path = require('path');
+
+// ★`npx ... setup <鍵>` で呼ばれると argv[2] が 'setup' になる。★1つずらす
+const 引数 = process.argv.slice(2).filter((x) => x !== 'setup');
+const 鍵 = 引数[0] || process.env.BANTO_KEY || '';
+if (!鍵) {
+  console.error('使い方: npx -y @horizon_works/banto setup "<鍵.署名>"');
+  process.exit(1);
+}
+
+// ★置き場を探す（★見つからなければ、いちばんありそうな所に作る）
+function 設定の場所() {
+  if (引数[1]) return 引数[1];
+  if (process.env.BANTO_CONFIG) return process.env.BANTO_CONFIG;
+  const home = os.homedir();
+  const 候補 = [
+    path.join(home, '.gemini', 'antigravity', 'mcp_config.json'),
+    path.join(home, '.gemini', 'mcp_config.json'),
+    path.join(process.cwd(), 'mcp_config.json'),
+  ];
+  for (const p of 候補) { try { if (fs.existsSync(p)) return p; } catch (_) {} }
+  return 候補[0];   // ★無ければ、いちばん標準の所に作る
+}
+
+const P = 設定の場所();
+const 印 = new Date().toISOString().replace(/[-:T]/g, '').slice(0, 14);
+
+let j = { mcpServers: {} };
+let 既にある = false;
+if (fs.existsSync(P)) {
+  既にある = true;
+  let s;
+  try { s = fs.readFileSync(P, 'utf8'); }
+  catch (e) { console.error('🚨 読めません: ' + e.message + '\n★何も書いていません。'); process.exit(1); }
+  // ★BOM を外してから読む（★これで落ちて、前の版は中身を消した）
+  s = s.replace(/^/, '');
+  try { j = JSON.parse(s); }
+  catch (e) {
+    console.error('🚨 いまの設定ファイルが読めませんでした（' + e.message + '）');
+    console.error('   ' + P);
+    console.error('★何も書いていません。★消さないために止めました。');
+    console.error('★このファイルを開いて、形が壊れていないかご確認ください。');
+    process.exit(1);
+  }
+  if (typeof j !== 'object' || j === null || Array.isArray(j)) {
+    console.error('🚨 設定の形が思っていたものと違います。★何も書いていません。');
+    process.exit(1);
+  }
+}
+
+j.mcpServers = j.mcpServers || {};
+const 前からあった = Object.keys(j.mcpServers).filter((k) => k !== 'banto');
+
+j.mcpServers.banto = {
+  command: 'npx',
+  args: ['-y', '@horizon_works/banto'],
+  env: { BANTO_KEY: 鍵 },
+};
+
+// ★控えを取ってから書く
+if (既にある) {
+  try { fs.copyFileSync(P, P + '.bak-' + 印); }
+  catch (e) { console.error('🚨 控えが取れませんでした: ' + e.message + '\n★何も書いていません。'); process.exit(1); }
+}
+fs.mkdirSync(path.dirname(P), { recursive: true });
+fs.writeFileSync(P, JSON.stringify(j, null, 2) + '\n', 'utf8');
+
+// ★書いたと言う前に、読み直して確かめる
+let 確認;
+try { 確認 = JSON.parse(fs.readFileSync(P, 'utf8').replace(/^/, '')); }
+catch (e) { console.error('🚨 書いたものが読めません: ' + e.message); process.exit(1); }
+
+const 残っている = 前からあった.filter((k) => 確認.mcpServers && 確認.mcpServers[k]);
+const 消えた = 前からあった.filter((k) => !(確認.mcpServers && 確認.mcpServers[k]));
+
+console.log('✅ 書きました: ' + P);
+console.log('   banto: ' + (確認.mcpServers.banto ? '入りました' : '❌ 入っていません'));
+console.log('   前からあったもの: ' + (前からあった.length ? 前からあった.join(', ') : '（なし）'));
+console.log('   そのまま残った  : ' + (残っている.length ? 残っている.join(', ') : '（なし）'));
+if (消えた.length) {
+  console.error('🚨 消えたものがあります: ' + 消えた.join(', '));
+  console.error('   ★控えから戻せます: ' + P + '.bak-' + 印);
+  process.exit(1);
+}
+if (既にある) console.log('   控え: ' + path.basename(P) + '.bak-' + 印);
+console.log('\n★このあと、Antigravity を開き直してください。');

package/law_bridge.js

@@ -0,0 +1,183 @@
+/**
+ * 法令パーツを、番頭の中から呼ぶ（★MCP in MCP）
+ *
+ * 🚨 由来: 2026-08-28。★法令パーツは別のMCPサーバーなので、棚に並ばなかった。
+ *   ★「MCP in MCP できる」を**実測で確かめてから**この形にした
+ *   （子を spawn → initialize → tools/list → tools/call が通ることを確認済み）。
+ *
+ * ★なぜ中継にするか
+ *   ・利用者の設定は**1行のまま**（もう1つ登録してもらわない）
+ *   ・鍵も**1つのまま**
+ *   ・★限定の関所（entitlements）を**番頭が一括で見られる**
+ *
+ * ★見え方（2026-08-28 裁定＝「見えるが使えない」）
+ *   ・道具は**誰にでも見える**（契約していない方にも一覧に出る）
+ *   ・呼ぶと「ご契約に含まれていません」と返る（★入口になる）
+ *
+ * ★重さ対策
+ *   ・道具の定義は**ここに静的に持つ**（起動のたびに子を立てない）
+ *   ・子を立てるのは**実際に呼ばれて、かつ契約がある**ときだけ
+ *   ・一度立てたら**使い回す**（15分さわらなければ落とす）
+ *   ・★静的な定義が子とズレていないかは `check_law_tools.mjs` が突き合わせる
+ */
+const path = require('path');
+const { spawn } = require('child_process');
+
+const 名前 = ["law_search", "law_scene", "law_authority", "law_gaps"];
+const SUPPLEMENT = 'law-parts';
+
+// ★子の場所。★配布版では npm の別パッケージ、開発中はリポジトリの中
+function 子の場所() {
+  if (process.env.LAW_PARTS_SERVER) return process.env.LAW_PARTS_SERVER;
+  const 候補 = [
+    path.join(__dirname, '..', 'law_parts', 'server.js'),
+    path.join(__dirname, 'law_parts', 'server.js'),
+  ];
+  const fs = require('fs');
+  for (const p of 候補) { try { if (fs.existsSync(p)) return p; } catch (_) {} }
+  return null;
+}
+
+const TOOLS = [
+  {
+    "name": "law_search",
+    "description": "仕事の場面（相談・就業規則・給与計算・手続）から、労働・社会保険の法令パーツを引く。★場面と根拠を分けて返す。★未解決の問い（open_questions_count）と、★このパーツでは判断できないこと（blocked_tasks）を必ず一緒に返すので、必ず読むこと。",
+    "inputSchema": {
+      "type": "object",
+      "properties": {
+        "q": {
+          "type": "string",
+          "description": "探したい語。空白区切りで複数可（例: 年休 時季変更）"
+        },
+        "limit": {
+          "type": "number",
+          "description": "場面・根拠それぞれの最大件数（既定6）"
+        }
+      },
+      "required": [
+        "q"
+      ]
+    }
+  },
+  {
+    "name": "law_scene",
+    "description": "場面パーツの全文を返す（answers / pitfalls / 根拠の一覧 / ★blocked_tasks / ★open_questions を含む）。law_search の scene_hits の id を渡す。",
+    "inputSchema": {
+      "type": "object",
+      "properties": {
+        "id": {
+          "type": "string",
+          "description": "場面ID（例: annual_leave）"
+        }
+      },
+      "required": [
+        "id"
+      ]
+    }
+  },
+  {
+    "name": "law_authority",
+    "description": "根拠（条文・省令・告示・通達・判例）の全文を返す。★読み替え（overridden_by）があるときは、読み替え側も一緒に返す。",
+    "inputSchema": {
+      "type": "object",
+      "properties": {
+        "id": {
+          "type": "string",
+          "description": "根拠ID（例: labor_law_39, case_52785）"
+        }
+      },
+      "required": [
+        "id"
+      ]
+    }
+  },
+  {
+    "name": "law_gaps",
+    "description": "★このパーツ集で「まだ埋まっていないこと」を返す。★何が入っているかより、★何が入っていないかを先に見るための口。",
+    "inputSchema": {
+      "type": "object",
+      "properties": {
+        "scene": {
+          "type": "string",
+          "description": "場面IDで絞る（省略時は全部）"
+        },
+        "status": {
+          "type": "string",
+          "description": "unresolved / partial（省略時は両方）"
+        }
+      }
+    }
+  }
+];
+
+let 子 = null, 待ち = new Map(), 次のid = 1000, 最後に使った = 0, 掃除 = null;
+
+function 子を立てる() {
+  const srv = 子の場所();
+  if (!srv) throw new Error('法令パーツの本体が見つかりません');
+  const p = spawn(process.execPath, [srv], { stdio: ['pipe', 'pipe', 'ignore'] });
+  let buf = '';
+  p.stdout.on('data', (d) => {
+    buf += d;
+    let i;
+    while ((i = buf.indexOf(String.fromCharCode(10))) >= 0) {
+      const line = buf.slice(0, i); buf = buf.slice(i + 1);
+      if (!line.trim()) continue;
+      try {
+        const j = JSON.parse(line);
+        const f = 待ち.get(j.id);
+        if (f) { 待ち.delete(j.id); f(j); }
+      } catch (_) {}
+    }
+  });
+  p.on('exit', () => { if (子 && 子.p === p) 子 = null; });
+  const 送る = (o) => p.stdin.write(JSON.stringify(o) + String.fromCharCode(10));
+  送る({ jsonrpc: '2.0', id: 1, method: 'initialize',
+    params: { protocolVersion: '2024-11-05', capabilities: {},
+              clientInfo: { name: 'banto', version: '1' } } });
+  return { p, 送る };
+}
+
+function 呼ぶ(method, params, 秒 = 30) {
+  return new Promise((res, rej) => {
+    if (!子) 子 = 子を立てる();
+    最後に使った = Date.now();
+    if (!掃除) {
+      // ★15分さわらなければ落とす（★立てっぱなしにしない）
+      掃除 = setInterval(() => {
+        if (子 && Date.now() - 最後に使った > 15 * 60e3) { try { 子.p.kill(); } catch (_) {} 子 = null; }
+      }, 60e3);
+      if (掃除.unref) 掃除.unref();
+    }
+    const id = 次のid++;
+    const t = setTimeout(() => { 待ち.delete(id); rej(new Error('法令パーツが応答しません')); }, 秒 * 1000);
+    待ち.set(id, (j) => { clearTimeout(t); j.error ? rej(new Error(j.error.message || '失敗')) : res(j.result); });
+    子.送る({ jsonrpc: '2.0', id, method, params });
+  });
+}
+
+/** この名前は法令パーツのものか */
+function これか(name) { return 名前.indexOf(name) >= 0; }
+
+/**
+ * 呼ぶ（★契約を先に見る）
+ * @param 契約あり true なら通す
+ */
+async function 中継(name, args, 契約あり) {
+  if (!契約あり) {
+    return {
+      verdict: '実行していません',
+      理由: '★法令パーツはご契約に含まれていません。',
+      これは何か:
+        '労働・社会保険の「仕事の場面」から、条文・省令・告示・通達・判例を1手で引く道具です。'
+        + '★引用は原文と機械で全件照合しています。',
+      お問い合わせ: '★ご入用でしたら、番頭を出している者（ホライズンワークス）へお知らせください。',
+    };
+  }
+  const r = await 呼ぶ('tools/call', { name, arguments: args || {} });
+  const t = r && r.content && r.content[0] && r.content[0].text;
+  if (typeof t === 'string') { try { return JSON.parse(t); } catch (_) { return { text: t }; } }
+  return r;
+}
+
+module.exports = { TOOLS, これか, 中継, SUPPLEMENT, 名前 };

package/license/client.js

@@ -98,10 +98,16 @@ function post(url, body, apiKey, timeoutMs = 4000) {
           apiKey ? { apikey: apiKey, Authorization: 'Bearer ' + apiKey } : {}
         ) },
       (res) => {
-        let b = '';
-        res.on('data', (d) => (b += d));
+        // 🚨★**バイトのまま溜めて、最後に1回だけ文字へ直す**（2026-08-28）。
+        //   ★前は `b += d` で、届いたかたまりを**その場で文字に直していた**。
+        //   ★★日本語は1文字3バイト。★かたまりの切れ目が文字の途中に来ると、
+        //     ★そこだけ「」に化ける（★棚の説明で実際に起きた）。
+        //   ★★通信は成功し、JSON も読めるので、**どこにも異常が出ない**。
+        const 粒 = [];
+        res.on('data', (d) => 粒.push(d));
+        const 読む = () => Buffer.concat(粒).toString('utf8');
         res.on('end', () => {
-          try { resolve(JSON.parse(b)); } catch (e) { reject(new Error('応答を読めません')); }
+          try { resolve(JSON.parse(読む())); } catch (e) { reject(new Error('応答を読めません')); }
         });
       }
     );

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@horizon_works/banto",
-  "version": "0.8.0",
+  "version": "0.8.2",
   "description": "AI番頭のOS。ルール・記憶・検査を1本のMCPで配ります。中身をクラウドへ渡さずに検査できます。",
   "keywords": [
     "mcp",
@@ -24,6 +24,8 @@
   },
   "files": [
     "server.js",
+    "law_bridge.js",
+    "add_to_config.js",
     "gate_core.js",
     "privacy.js",
     "shelf.js",

package/server.js

@@ -1,4 +1,13 @@
 #!/usr/bin/env node
+// 🚨★**`setup` で呼ばれたら、MCPサーバーとしてではなく「設定を書く道具」として動く**
+//   （2026-08-28）。★由来＝配った1行が Claude Code 前提で、Antigravity の方が入れられなかった。
+//   ★★**どのクライアントでも、ターミナルの1行で入る**ようにする：
+//        npx -y @horizon_works/banto setup "<鍵.署名>"
+//   ★既にある設定は消さない。★読めなければ書かない。★書いたら読み直して確かめる。
+if (process.argv[2] === 'setup') {
+  require('./add_to_config.js');
+  return;
+}
 /**
  * 番頭ゲート MCP サーバー（最小版 v0.1）
  *
@@ -221,6 +230,9 @@ function secondOpinion(targetPath) {
 
 // ---------------------------------------------------------------- 道具の定義
 
+// ★法令パーツの橋（★無くても番頭は動く。★あれば道具が4つ増える）
+const LAW = (() => { try { return require('./law_bridge.js'); } catch (_) { return null; } })();
+
 const TOOLS = [
   {
     name: 'check_file',
@@ -1176,11 +1188,17 @@ function supPost(fn, body) {
         apikey: anonKey, Authorization: 'Bearer ' + anonKey,
       },
     }, (res) => {
-      let b = '';
-      res.on('data', (d) => (b += d));
+      // 🚨★**バイトのまま溜めて、最後に1回だけ文字へ直す**（2026-08-28）。
+      //   ★前は `b += d` で、届いたかたまりを**その場で文字に直していた**。
+      //   ★★日本語は1文字3バイト。★かたまりの切れ目が文字の途中に来ると、
+      //     ★そこだけ「」に化ける（★棚の説明で実際に起きた）。
+      //   ★★通信は成功し、JSON も読めるので、**どこにも異常が出ない**。
+      const 粒 = [];
+      res.on('data', (d) => 粒.push(d));
+      const 読む = () => Buffer.concat(粒).toString('utf8');
       res.on('end', () => {
         let j;
-        try { j = JSON.parse(b); } catch (_) { return reject(new Error('応答を読めません')); }
+        try { j = JSON.parse(読む()); } catch (_) { return reject(new Error('応答を読めません')); }
         if (res.statusCode >= 400) {
           return reject(new Error((j && (j.message || j.hint)) || ('HTTP ' + res.statusCode)));
         }
@@ -1542,7 +1560,21 @@ function 足あとを残す(name, args) {
 
 // ---------------------------------------------------------------- 道具の実行
 
+// ★その鍵が、そのサプリを契約しているか（★サーバーに聞く。手元では決めない）
+async function 契約あり(名前) {
+  try {
+    // ★取れれば契約あり。★取れなければ無い（★例外の中身では判定しない）
+    const rows = await supPost('get_supplement', { p_name: 名前 });
+    return Array.isArray(rows) && rows.length > 0;
+  } catch (_) { return false; }
+}
+
 function callTool(name, args) {
+  // ★法令パーツ（別のMCP）への中継
+  if (LAW && LAW.これか(name)) {
+    return 契約あり(LAW.SUPPLEMENT).then((ok) => LAW.中継(name, args, ok));
+  }
+
   if (name === 'check_file') {
     const p = String(args && args.path || '');
     if (!p) throw new Error('path が指定されていません');
@@ -1773,7 +1805,10 @@ async function handle(req) {
   }
 
   if (method === 'tools/list') {
-    return { jsonrpc: '2.0', id, result: { tools: TOOLS } };
+    // ★法令パーツの道具も**誰にでも見せる**（2026-08-28 裁定）。
+    //   ★契約が無い方には、呼んだときに「含まれていません」と返る。
+    //   ★見えないと存在を知られないので、入口として見せる。
+    return { jsonrpc: '2.0', id, result: { tools: TOOLS.concat(LAW ? LAW.TOOLS : []) } };
   }
 
   if (method === 'tools/call') {