dsh-eda-mcp 0.6.2 → 0.7.0

package/lib/bridge.mjs

@@ -1,8 +1,181 @@
 // src/bridge/index.ts
 import { createHash } from "node:crypto";
+import { execFileSync, spawn } from "node:child_process";
+import { statSync } from "node:fs";
+import { readFile } from "node:fs/promises";
+import { writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { basename, join } from "node:path";
 import { createServer } from "node:http";
 import { createInterface } from "node:readline";
 
+// src/bridge/eda-launch.ts
+var EXECUTABLE_ENV_KEYS = ["DSH_EDA_EXECUTABLE", "JLCEDA_EXECUTABLE"];
+var EXECUTABLE_NAMES = ["lceda-pro.exe", "lceda-pro", "LCEDA Pro"];
+var PROJECT_EXTENSIONS = [".eprj2", ".eprj"];
+var CN_PRO_EDITION = "\u5609\u7ACB\u521BEDA\u4E13\u4E1A\u7248";
+var CLASSES = "Software\\Classes";
+var INSTALL_SUFFIXES = [
+  "lceda-pro",
+  "Program Files\\lceda-pro",
+  "Program Files (x86)\\lceda-pro",
+  "Program Files\\" + CN_PRO_EDITION,
+  "Program Files (x86)\\" + CN_PRO_EDITION
+];
+function trimSeparator(value) {
+  let end = value.length;
+  while (end > 0) {
+    const ch = value[end - 1];
+    if (ch !== "\\" && ch !== "/") break;
+    end -= 1;
+  }
+  return value.slice(0, end);
+}
+function trimLeadingSeparators(value) {
+  let start = 0;
+  while (start < value.length && (value[start] === "\\" || value[start] === "/")) start += 1;
+  return value.slice(start);
+}
+function joinPath(platform, ...parts) {
+  const separator = platform === "win32" ? "\\" : "/";
+  return parts.filter((part) => part !== "").map((part, index) => index === 0 ? part : trimLeadingSeparators(part)).join(separator);
+}
+function splitSegments(value) {
+  return value.split("\\").join("/").split("/").filter((part) => part !== "");
+}
+function parseExecutableFromCommand(command) {
+  const text = (command ?? "").trim();
+  if (text === "") return void 0;
+  if (text.startsWith('"')) {
+    const end2 = text.indexOf('"', 1);
+    if (end2 === -1) return void 0;
+    const quoted = text.slice(1, end2).trim();
+    return quoted === "" ? void 0 : quoted;
+  }
+  const space = text.indexOf(" ");
+  const tab = text.indexOf(String.fromCharCode(9));
+  const stops = [space, tab].filter((index) => index > 0);
+  const end = stops.length === 0 ? text.length : Math.min(...stops);
+  const first = text.slice(0, end).trim();
+  return first === "" ? void 0 : first;
+}
+function decodeRegistryOutput(raw) {
+  const utf8 = new TextDecoder("utf-8").decode(raw);
+  if (!utf8.includes(String.fromCharCode(65533))) return utf8;
+  try {
+    return new TextDecoder("gbk").decode(raw);
+  } catch {
+    return utf8;
+  }
+}
+function parseRegStringValue(output) {
+  for (const raw of (output ?? "").split(String.fromCharCode(10))) {
+    const line = raw.trim();
+    const index = line.toUpperCase().indexOf("REG_SZ");
+    if (index === -1) continue;
+    const value = line.slice(index + "REG_SZ".length).trim();
+    if (value === "" || value.startsWith("(")) continue;
+    return value;
+  }
+  return void 0;
+}
+function parseRegValueNames(output) {
+  const names = [];
+  for (const raw of (output ?? "").split(String.fromCharCode(10))) {
+    const line = raw.trim();
+    const marker = line.indexOf("REG_");
+    if (marker <= 0) continue;
+    const name = line.slice(0, marker).trim();
+    if (name !== "" && !name.startsWith("HKEY")) names.push(name);
+  }
+  return names;
+}
+function firstExisting(probe, candidates) {
+  for (const candidate of candidates) {
+    if (candidate !== "" && probe.exists(candidate)) return candidate;
+  }
+  return void 0;
+}
+function envCandidates(probe) {
+  const env = probe.env;
+  const roots = [
+    env.ProgramFiles,
+    env["ProgramFiles(x86)"],
+    env.LOCALAPPDATA === void 0 ? void 0 : joinPath(probe.platform, env.LOCALAPPDATA, "Programs"),
+    env.APPDATA === void 0 ? void 0 : joinPath(probe.platform, env.APPDATA, "Programs"),
+    env.SystemDrive,
+    env.USERPROFILE,
+    env.HOME
+  ].filter((root) => typeof root === "string" && root !== "");
+  const candidates = [];
+  for (const root of roots) {
+    for (const suffix of INSTALL_SUFFIXES) {
+      for (const name of EXECUTABLE_NAMES) {
+        candidates.push(joinPath(probe.platform, trimSeparator(root), ...splitSegments(suffix), name));
+      }
+    }
+  }
+  return candidates;
+}
+function pathCandidates(probe) {
+  const raw = probe.env.PATH ?? probe.env.Path ?? "";
+  const separator = probe.platform === "win32" ? ";" : ":";
+  return raw.split(separator).filter((dir) => dir.trim() !== "").flatMap((dir) => EXECUTABLE_NAMES.map((name) => joinPath(probe.platform, trimSeparator(dir), name)));
+}
+function registryCandidates(probe) {
+  if (probe.platform !== "win32") return [];
+  const found = [];
+  for (const hive of ["HKCU", "HKLM"]) {
+    for (const extension of PROJECT_EXTENSIONS) {
+      const base = hive + "\\" + CLASSES + "\\" + extension;
+      const defaults = [parseRegStringValue(probe.registryQuery(base, "")), parseRegStringValue(probe.registryQuery(base))];
+      const progids = [
+        ...defaults.filter((value) => value !== void 0),
+        ...parseRegValueNames(probe.registryQuery(base + "\\OpenWithProgids"))
+      ];
+      for (const progid of progids) {
+        if (progid.startsWith("Applications\\")) continue;
+        const command = parseRegStringValue(
+          probe.registryQuery(hive + "\\" + CLASSES + "\\" + progid + "\\shell\\open\\command")
+        );
+        const executable = parseExecutableFromCommand(command);
+        if (executable !== void 0) found.push(executable);
+      }
+    }
+  }
+  return found;
+}
+function resolveExecutable(probe, options = {}) {
+  const override = options.executable?.trim();
+  if (override !== void 0 && override !== "" && probe.exists(override)) {
+    return { executable: override, source: "config" };
+  }
+  for (const key of EXECUTABLE_ENV_KEYS) {
+    const value = probe.env[key]?.trim();
+    if (value !== void 0 && value !== "" && probe.exists(value)) return { executable: value, source: "env" };
+  }
+  const fromRegistry = firstExisting(probe, registryCandidates(probe));
+  if (fromRegistry !== void 0) return { executable: fromRegistry, source: "registry" };
+  const fromInstallDir = firstExisting(probe, envCandidates(probe));
+  if (fromInstallDir !== void 0) return { executable: fromInstallDir, source: "install-dir" };
+  const fromPath = firstExisting(probe, pathCandidates(probe));
+  if (fromPath !== void 0) return { executable: fromPath, source: "path" };
+  return void 0;
+}
+function buildLaunchArgs(platform, executable, project) {
+  const target = project?.trim();
+  const hasProject = target !== void 0 && target !== "";
+  if (platform === "darwin") {
+    return hasProject ? { command: "open", args: ["-a", executable, target] } : { command: "open", args: ["-a", executable] };
+  }
+  return hasProject ? { command: executable, args: [target] } : { command: executable, args: [] };
+}
+function buildLaunchScript(executable, project) {
+  const target = project?.trim();
+  const args = target === void 0 || target === "" ? "" : ' "' + target + '"';
+  return ["@echo off", 'start "" "' + executable + '"' + args, ""].join(String.fromCharCode(13, 10));
+}
+
 // src/bridge/design-rules.ts
 var MIL_PER_MM = 39.37007874015748;
 function milToMm(mil) {
@@ -121,7 +294,7 @@ var SILKSCREEN_HEIGHT_MIN_MM = 1;
 var SILKSCREEN_WIDTH_MIN_MM = 0.15;
 
 // src/bridge/index.ts
-var VERSION = "0.3.5";
+var VERSION = "0.4.0";
 var WS_PORT = Number(process.env.DSH_EDA_MCP_WS_PORT ?? 39009);
 var WS_HOST = "127.0.0.1";
 var ALLOW_RAW_API = (process.env.DSH_EDA_MCP_ALLOW_RAW_API ?? "1") !== "0";
@@ -330,6 +503,21 @@ function objectSchema(properties, required = []) {
 }
 var TOOLS = [
   { name: "eda_status", description: "Get the dsh-eda-mcp bridge status and how many JLCEDA Pro bridge extensions are connected.", inputSchema: objectSchema({}) },
+  { name: "eda_list_projects", description: "List project UUIDs in the workspace (dmt_Project.getAllProjectsUuid). resolveNames=true (default) also reads getProjectInfo per project so callers can match by friendly name.", inputSchema: objectSchema({ teamUuid: { type: "string" }, folderUuid: { type: "string" }, workspaceUuid: { type: "string" }, resolveNames: { type: "boolean" }, limit: { type: "integer" } }) },
+  { name: "eda_get_project", description: "Read the current project (dmt_Project.getCurrentProjectInfo): uuid, friendly name, folder/team and other brief fields.", inputSchema: objectSchema({}) },
+  { name: "eda_open_project", description: "Open a project by uuid, or by friendly name when only a name is known (the name is resolved through getAllProjectsUuid + getProjectInfo, exact match first, then case-insensitive substring).", inputSchema: objectSchema({ uuid: { type: "string" }, name: { type: "string" } }) },
+  { name: "eda_create_project", description: "Create a project (dmt_Project.createProject) and return its uuid; open=true (default false) also opens it. friendlyName is required; name and folder/team default to the app defaults.", inputSchema: objectSchema({ friendlyName: { type: "string" }, name: { type: "string" }, teamUuid: { type: "string" }, folderUuid: { type: "string" }, description: { type: "string" }, open: { type: "boolean" } }, ["friendlyName"]) },
+  { name: "eda_get_workspace", description: "Read the current workspace and team (dmt_Workspace.getCurrentWorkspaceInfo / dmt_Team.getCurrentTeamInfo). Needed before creating a project, which requires a team (and usually a folder) uuid.", inputSchema: objectSchema({}) },
+  { name: "eda_list_teams", description: "List teams (dmt_Team.getAllTeamsInfo), optionally including the teams this account is involved in.", inputSchema: objectSchema({ involved: { type: "boolean" } }) },
+  { name: "eda_list_folders", description: "List folder uuids of one team (dmt_Folder.getAllFoldersUuid), optionally resolved through getFolderInfo.", inputSchema: objectSchema({ teamUuid: { type: "string" }, resolveNames: { type: "boolean" } }) },
+  { name: "eda_delete_project", description: "Delete a project (dmt_Project.deleteProject) by uuid or friendly name.", inputSchema: objectSchema({ uuid: { type: "string" }, name: { type: "string" } }) },
+  { name: "eda_modify_project", description: "Rename a project or change its description (dmt_Project.modifyProjectFriendlyName / modifyProjectDescription), addressed by uuid or current friendly name.", inputSchema: objectSchema({ uuid: { type: "string" }, name: { type: "string" }, friendlyName: { type: "string" }, description: { type: "string" } }) },
+  { name: "eda_copy_project", description: "Copy a project (dmt_Project.copyProject), optionally into another team/folder and with a new friendly name; returns the new uuid.", inputSchema: objectSchema({ sourceUuid: { type: "string" }, sourceName: { type: "string" }, targetTeamUuid: { type: "string" }, targetFolderUuid: { type: "string" }, newFriendlyName: { type: "string" }, newName: { type: "string" } }) },
+  { name: "eda_close_document", description: "Close one editor tab (dmt_EditorControl.closeDocument).", inputSchema: objectSchema({ tabId: { type: "string" } }, ["tabId"]) },
+  { name: "eda_export_project", description: "Export a project file (sys_FileManager.getProjectFile / getProjectFileByProjectUuid). With outPath the bridge writes the bytes to disk and returns the path; without it the base64 payload is returned only when inline=true.", inputSchema: objectSchema({ uuid: { type: "string" }, fileName: { type: "string" }, fileType: { type: "string", enum: ["epro", "epro2"] }, outPath: { type: "string" }, inline: { type: "boolean" } }) },
+  { name: "eda_import_project", description: "Import a local project file (.eprj2/.epro/...) into a team (sys_FileManager.importProjectByProjectFile with a saveTo target). teamUuid is required in local mode: without a target team the app imports nothing. Returns whether the import actually landed.", inputSchema: objectSchema({ path: { type: "string" }, teamUuid: { type: "string" }, folderUuid: { type: "string" }, friendlyName: { type: "string" }, fileType: { type: "string" }, open: { type: "boolean" } }, ["path"]) },
+  { name: "eda_close", description: "Close JLCEDA Pro gracefully (taskkill /T on Windows, SIGTERM elsewhere), then force-kill if it is still running after waitMs (default 8000). Returns the remaining process count.", inputSchema: objectSchema({ force: { type: "boolean" }, waitMs: { type: "integer" } }) },
+  { name: "eda_launch", description: "Launch JLCEDA Pro (EasyEDA Pro), optionally opening a .eprj2/.eprj project, then wait until the bridge extension connects. The executable is resolved from DSH_EDA_EXECUTABLE/JLCEDA_EXECUTABLE, the registry handler the installer registered, conventional install directories, then PATH - so it works on any machine without configuration.", inputSchema: objectSchema({ project: { type: "string" }, executable: { type: "string" }, waitForExtension: { type: "boolean" }, timeoutMs: { type: "integer" } }) },
   { name: "eda_get_page_info", description: "Return the current schematic page, the A4 frame range, the title-block keep-out range, and the recommended safe placement areas. All coordinates are MCP units (0.01 inch).", inputSchema: objectSchema({ paper: { type: "string" } }) },
   { name: "eda_get_schematic_pages", description: "List the schematic pages of the current schematic, or fetch one page by uuid.", inputSchema: objectSchema({ pageUuid: { type: "string" } }) },
   { name: "eda_search_components", description: "Search JLCEDA library devices by keyword. Returns candidate components with uuid/libraryUuid needed by eda_place_component.", inputSchema: objectSchema({ keyword: { type: "string" }, limit: { type: "integer" } }, ["keyword"]) },
@@ -502,6 +690,7 @@ var WsConnection = class {
     this.socket.destroy();
   }
   handleData(chunk) {
+    this.lastSeenAt = Date.now();
     this.buffer = Buffer.concat([this.buffer, chunk]);
     for (; ; ) {
       const frame = parseFrame(this.buffer);
@@ -566,15 +755,19 @@ async function pcbComponentIds(timeoutMs) {
   return Array.isArray(raw) ? raw.map(String) : [];
 }
 var nextCallId = 1;
-function firstReadyClient() {
-  for (const client of clients) if (client.ready) return client;
-  return void 0;
+var CLIENT_STALE_MS = 6e4;
+function pickClients() {
+  const now = Date.now();
+  const ready = [...clients].filter((client) => client.ready);
+  const fresh = ready.filter((client) => now - (client.lastSeenAt ?? 0) < CLIENT_STALE_MS);
+  const pool = fresh.length > 0 ? fresh : ready;
+  return pool.sort((left, right) => (right.lastSeenAt ?? 0) - (left.lastSeenAt ?? 0));
 }
-function callExtension(method, args, timeoutMs) {
-  const client = firstReadyClient();
-  if (client === void 0) {
-    return Promise.reject(new Error('JLCEDA bridge extension is not connected. Open JLCEDA Pro, import dsh-eda-bridge-extension.zip, enable "Allow interactive with external", and keep a schematic or PCB page open.'));
-  }
+function isIdempotentRead(method) {
+  const fn = method.slice(method.lastIndexOf(".") + 1).toLowerCase();
+  return fn.startsWith("get") || fn.startsWith("is") || fn.startsWith("has") || fn.startsWith("list") || fn.startsWith("search");
+}
+function sendToClient(client, method, args, timeoutMs) {
   const id = nextCallId++;
   return new Promise((resolve, reject) => {
     const timer = setTimeout(() => {
@@ -585,6 +778,25 @@ function callExtension(method, args, timeoutMs) {
     client.sendText(JSON.stringify({ id, method, args }));
   });
 }
+async function callExtension(method, args, timeoutMs) {
+  const pool = pickClients();
+  if (pool.length === 0) {
+    throw new Error('JLCEDA bridge extension is not connected. Open JLCEDA Pro, import dsh-eda-bridge-extension.zip, enable "Allow interactive with external", and keep a schematic or PCB page open.');
+  }
+  const deadline = Date.now() + timeoutMs;
+  let lastError;
+  for (const client of pool) {
+    const remaining = deadline - Date.now();
+    if (remaining <= 100) break;
+    try {
+      return await sendToClient(client, method, args, remaining);
+    } catch (error) {
+      lastError = error;
+      if (!isIdempotentRead(method) || !/timed out/.test(String(error?.message))) throw error;
+    }
+  }
+  throw lastError ?? new Error("JLCEDA bridge call timed out after " + timeoutMs + "ms: " + method);
+}
 function asRecord(value) {
   if (value === null || typeof value !== "object") return {};
   return value;
@@ -872,6 +1084,78 @@ async function auditPcb(args, timeoutMs) {
     }
   };
 }
+function launchProbe() {
+  const cache = /* @__PURE__ */ new Map();
+  return {
+    platform: process.platform,
+    env: process.env,
+    exists(path) {
+      try {
+        return statSync(path).isFile();
+      } catch {
+        return false;
+      }
+    },
+    registryQuery(key, valueName) {
+      if (process.platform !== "win32") return void 0;
+      const cacheKey = key + "|" + (valueName === void 0 ? "LIST" : valueName === "" ? "DEFAULT" : "V:" + valueName);
+      if (cache.has(cacheKey)) return cache.get(cacheKey);
+      let output;
+      try {
+        const extra = valueName === void 0 ? ["/s"] : valueName === "" ? ["/ve"] : ["/v", valueName];
+        const raw = execFileSync("reg", ["query", key, ...extra], {
+          timeout: 5e3,
+          windowsHide: true,
+          stdio: ["ignore", "pipe", "ignore"]
+        });
+        output = decodeRegistryOutput(raw);
+      } catch {
+        output = void 0;
+      }
+      cache.set(cacheKey, output);
+      return output;
+    }
+  };
+}
+function processCountByName(imageName) {
+  if (process.platform !== "win32") {
+    try {
+      const out = execFileSync("pgrep", ["-f", imageName], { encoding: "utf8", timeout: 5e3, stdio: ["ignore", "pipe", "ignore"] });
+      return out.split(/\r?\n/).filter((line) => line.trim() !== "").length;
+    } catch {
+      return 0;
+    }
+  }
+  try {
+    const out = execFileSync("tasklist", ["/FI", "IMAGENAME eq " + imageName, "/FO", "CSV", "/NH"], {
+      encoding: "utf8",
+      timeout: 5e3,
+      stdio: ["ignore", "pipe", "ignore"]
+    });
+    return out.split(/\r?\n/).filter((line) => line.trim().startsWith('"')).length;
+  } catch {
+    return 0;
+  }
+}
+function terminateByName(imageName, force) {
+  if (process.platform === "win32") {
+    execFileSync("taskkill", ["/IM", imageName, "/T"].concat(force ? ["/F"] : []), {
+      timeout: 1e4,
+      stdio: ["ignore", "ignore", "ignore"]
+    });
+    return;
+  }
+  execFileSync("pkill", [force ? "-9" : "-TERM", "-f", imageName], { timeout: 1e4, stdio: ["ignore", "ignore", "ignore"] });
+}
+async function waitForExtensionConnection(timeoutMs) {
+  const started = Date.now();
+  const readyCount = () => pickClients().length;
+  while (Date.now() - started < timeoutMs) {
+    if (readyCount() > 0) return { connected: true, clients: readyCount(), waitedMs: Date.now() - started };
+    await new Promise((resolve) => setTimeout(resolve, 500));
+  }
+  return { connected: false, clients: readyCount(), waitedMs: Date.now() - started };
+}
 async function clearRoutingBatched(args, type, timeoutMs) {
   if (type === "connection") throw new Error("eda_pcb_clear_routing: type=connection needs the EDA user interface; use type=all/net with mode=batched");
   const net = args.net === void 0 ? void 0 : String(args.net);
@@ -971,13 +1255,51 @@ function pickDefined(source, keys) {
   }
   return out;
 }
+async function resolveProjectUuid(args, timeoutMs) {
+  const direct = args.uuid === void 0 ? "" : String(args.uuid).trim();
+  if (direct !== "") return { uuid: direct, matched: null };
+  const name = args.name === void 0 ? "" : String(args.name).trim();
+  if (name === "") throw new Error("provide uuid or name");
+  const unfiltered = await callExtension("dmt_Project.getAllProjectsUuid", [], toolTimeout(args, timeoutMs));
+  const candidates = Array.isArray(unfiltered) ? unfiltered.map(String) : [];
+  if (candidates.length === 0) {
+    const teams = await callExtension("dmt_Team.getAllTeamsInfo", [], toolTimeout(args, timeoutMs)).catch(() => []);
+    const seen = /* @__PURE__ */ new Set();
+    for (const team of Array.isArray(teams) ? teams : []) {
+      const teamUuid = String(pickValue(asRecord(team), "uuid", "Uuid") ?? "");
+      if (teamUuid === "") continue;
+      const owned = await callExtension("dmt_Project.getAllProjectsUuid", [teamUuid], toolTimeout(args, timeoutMs)).catch(() => []);
+      for (const uuid of Array.isArray(owned) ? owned.map(String) : []) {
+        if (seen.has(uuid)) continue;
+        seen.add(uuid);
+        candidates.push(uuid);
+      }
+    }
+  }
+  const resolved = [];
+  for (const candidate of candidates) {
+    try {
+      const info = asRecord(await callExtension("dmt_Project.getProjectInfo", [candidate], toolTimeout(args, timeoutMs)));
+      resolved.push({ uuid: candidate, friendly: String(pickValue(info, "FriendlyName", "friendlyName", "Name", "name") ?? "") });
+    } catch {
+      resolved.push({ uuid: candidate, friendly: "" });
+    }
+  }
+  const matched = resolved.find((item) => item.friendly === name) ?? resolved.find((item) => item.friendly.toLowerCase().includes(name.toLowerCase())) ?? null;
+  if (matched === null) {
+    throw new Error('no project matches "' + name + '"; known names: ' + resolved.map((item) => item.friendly || item.uuid).slice(0, 20).join(", "));
+  }
+  return { uuid: matched.uuid, matched };
+}
 async function executeTool(name, rawArgs, timeoutMs) {
   const args = asRecord(rawArgs);
   const tool = PCB_TOOL_ALIASES[name] ?? name;
   switch (tool) {
     case "eda_status": {
-      const ready = [...clients].filter((client) => client.ready);
-      const extensionVersion = ready.map((client) => client.extensionVersion).find((value) => typeof value === "string");
+      const ready = pickClients();
+      const versions = ready.map((client) => typeof client.extensionVersion === "string" ? client.extensionVersion : null);
+      const extensionVersion = versions.find((value) => typeof value === "string") ?? null;
+      const stale = versions.filter((value) => value !== VERSION);
       return {
         ok: true,
         bridgeVersion: VERSION,
@@ -985,10 +1307,352 @@ async function executeTool(name, rawArgs, timeoutMs) {
         allowRawApi: ALLOW_RAW_API,
         connectedClients: ready.length,
         extensionVersion: extensionVersion ?? null,
-        versionMismatch: typeof extensionVersion === "string" && extensionVersion !== VERSION,
+        extensionVersions: versions,
+        versionMismatch: stale.length > 0,
         mcpUnits: "0.01 inch",
         defaultPaper: DEFAULT_PAPER,
-        hint: ready.length === 0 ? "No JLCEDA extension is connected. Open JLCEDA Pro and click DSH MCP -> connect, or re-import dsh-eda-bridge-extension.zip." : typeof extensionVersion === "string" && extensionVersion !== VERSION ? "The connected EDA extension version differs from the bridge version. Re-import dsh-eda-bridge-extension.zip and restart JLCEDA Pro." : "ok"
+        hint: ready.length === 0 ? "No JLCEDA extension is connected. Open JLCEDA Pro and click DSH MCP -> connect, or re-import dsh-eda-bridge-extension.zip." : stale.length > 0 ? "Connected EDA extension " + stale.join(", ") + " does not match bridge " + VERSION + ". In JLCEDA Pro remove the OLD dsh-eda-bridge extension first, import dsh-eda-bridge-extension.zip again, then restart the app; a simple reload keeps the old copy." : "ok"
+      };
+    }
+    case "eda_close_document":
+      return await callExtension("dmt_EditorControl.closeDocument", [String(args.tabId ?? "")], timeoutMs);
+    case "eda_export_project": {
+      const result2 = await callExtension("dsh.internal.exportProjectFile", [
+        args.uuid === void 0 ? null : String(args.uuid),
+        args.fileName === void 0 ? void 0 : String(args.fileName),
+        void 0,
+        args.fileType === void 0 ? void 0 : String(args.fileType)
+      ], toolTimeout(args, timeoutMs));
+      const base64 = typeof result2?.base64 === "string" ? result2.base64 : "";
+      const outPath = args.outPath === void 0 ? "" : String(args.outPath).trim();
+      if (outPath !== "") {
+        await writeFile(outPath, Buffer.from(base64, "base64"));
+        return { ok: true, written: outPath, name: result2?.name ?? null, size: base64 === "" ? 0 : Buffer.from(base64, "base64").length };
+      }
+      if (args.inline !== true) {
+        return { ok: true, name: result2?.name ?? null, base64Length: base64.length, hint: "Pass outPath to write the file, or inline=true to receive the base64 payload." };
+      }
+      return { ok: true, name: result2?.name ?? null, base64 };
+    }
+    case "eda_import_project": {
+      const path = String(args.path ?? "").trim();
+      if (path === "") throw new Error("eda_import_project requires path");
+      let bytes;
+      try {
+        bytes = await readFile(path);
+      } catch {
+        throw new Error('eda_import_project: cannot read "' + path + '"');
+      }
+      let teamUuid = args.teamUuid === void 0 ? "" : String(args.teamUuid).trim();
+      if (teamUuid === "") {
+        const current = await callExtension("dmt_Team.getCurrentTeamInfo", [], timeoutMs).catch(() => void 0);
+        teamUuid = String(pickValue(asRecord(current), "uuid", "Uuid") ?? "");
+      }
+      if (teamUuid === "") {
+        throw new Error("eda_import_project needs teamUuid: the app imports nothing without a target team. Use a team uuid from eda_list_teams (local mode reports project directories) or the teamUuid of an existing project (eda_list_projects).");
+      }
+      const saveTo = { operation: "New Project", newProjectOwnerTeamUuid: teamUuid };
+      if (args.folderUuid !== void 0) saveTo.newProjectOwnerFolderUuid = String(args.folderUuid);
+      if (args.friendlyName !== void 0) saveTo.newProjectFriendlyName = String(args.friendlyName);
+      const imported = await callExtension("dsh.internal.importProjectFile", [
+        bytes.toString("base64"),
+        basename(path),
+        args.fileType === void 0 ? void 0 : String(args.fileType),
+        saveTo
+      ], toolTimeout(args, timeoutMs));
+      const raw = imported?.result ?? imported;
+      const uuid = typeof raw === "string" ? raw : typeof raw?.uuid === "string" ? raw.uuid : void 0;
+      const landed = raw !== null && raw !== void 0;
+      let opened = false;
+      if (args.open === true && uuid !== void 0) {
+        try {
+          opened = await callExtension("dmt_Project.openProject", [uuid], timeoutMs) !== false;
+        } catch {
+          opened = false;
+        }
+      }
+      return {
+        ok: landed,
+        imported: landed,
+        name: basename(path),
+        size: bytes.length,
+        teamUuid,
+        uuid: uuid ?? null,
+        opened,
+        result: raw ?? null,
+        hint: landed ? null : "The app returned nothing: the import did not create a project. That means this build ignores the saveTo target (same limitation as createProject), so import cannot be used to create projects here."
+      };
+    }
+    case "eda_close": {
+      const resolved = resolveExecutable(launchProbe(), {
+        executable: args.executable === void 0 ? void 0 : String(args.executable)
+      });
+      const imageName = resolved === void 0 ? "lceda-pro.exe" : basename(resolved.executable);
+      const before = processCountByName(imageName);
+      const waitMs = Number.isFinite(Number(args.waitMs)) ? Math.max(1e3, Number(args.waitMs)) : 8e3;
+      let error = null;
+      try {
+        terminateByName(imageName, false);
+      } catch (failure) {
+        error = failure instanceof Error ? failure.message : String(failure);
+      }
+      const started = Date.now();
+      let remaining = processCountByName(imageName);
+      while (remaining > 0 && Date.now() - started < waitMs) {
+        await new Promise((resolve) => setTimeout(resolve, 500));
+        remaining = processCountByName(imageName);
+      }
+      let forced = false;
+      if (remaining > 0) {
+        try {
+          terminateByName(imageName, true);
+          forced = true;
+          await new Promise((resolve) => setTimeout(resolve, 1500));
+          remaining = processCountByName(imageName);
+        } catch (failure) {
+          error = error ?? (failure instanceof Error ? failure.message : String(failure));
+        }
+      }
+      const connected = pickClients().length;
+      return {
+        ok: remaining <= 0,
+        closed: remaining <= 0,
+        forced,
+        imageName,
+        processesBefore: before,
+        processesAfter: remaining,
+        connectedClients: connected,
+        waitedMs: Date.now() - started,
+        error
+      };
+    }
+    case "eda_list_projects": {
+      const filters = [];
+      if (args.teamUuid !== void 0) filters.push(String(args.teamUuid));
+      if (args.folderUuid !== void 0 || args.workspaceUuid !== void 0) filters.push(args.folderUuid === void 0 ? null : String(args.folderUuid));
+      if (args.workspaceUuid !== void 0) filters.push(String(args.workspaceUuid));
+      let uuids = await callExtension("dmt_Project.getAllProjectsUuid", filters, toolTimeout(args, timeoutMs));
+      let list = Array.isArray(uuids) ? uuids.map(String) : [];
+      let aggregated = false;
+      if (list.length === 0 && filters.length === 0) {
+        const teams = await callExtension("dmt_Team.getAllTeamsInfo", [], toolTimeout(args, timeoutMs)).catch(() => []);
+        const seen = /* @__PURE__ */ new Set();
+        for (const team of Array.isArray(teams) ? teams : []) {
+          const teamUuid = String(pickValue(asRecord(team), "uuid", "Uuid") ?? "");
+          if (teamUuid === "") continue;
+          const owned = await callExtension("dmt_Project.getAllProjectsUuid", [teamUuid], toolTimeout(args, timeoutMs)).catch(() => []);
+          for (const uuid of Array.isArray(owned) ? owned.map(String) : []) {
+            if (seen.has(uuid)) continue;
+            seen.add(uuid);
+            list.push(uuid);
+          }
+        }
+        aggregated = true;
+      }
+      if (args.resolveNames === false) return { count: list.length, uuids: list, aggregated };
+      const limit = Number.isFinite(Number(args.limit)) ? Math.max(1, Number(args.limit)) : list.length;
+      const projects = [];
+      for (const uuid of list.slice(0, limit)) {
+        try {
+          projects.push(await callExtension("dmt_Project.getProjectInfo", [uuid], toolTimeout(args, timeoutMs)));
+        } catch {
+          projects.push({ uuid });
+        }
+      }
+      return { count: list.length, resolved: projects.length, aggregated, projects };
+    }
+    case "eda_get_project": {
+      const project = await callExtension("dmt_Project.getCurrentProjectInfo", [], timeoutMs);
+      return project === void 0 || project === null ? { project: null, hint: "No project is open: JLCEDA Pro is on the HOME page. Use eda_list_projects + eda_open_project, or open one in the app." } : project;
+    }
+    case "eda_open_project": {
+      const resolvedProject = await resolveProjectUuid(args, timeoutMs);
+      const uuid = resolvedProject.uuid;
+      const opened = await callExtension("dmt_Project.openProject", [uuid], toolTimeout(args, timeoutMs));
+      const current = await callExtension("dmt_Project.getCurrentProjectInfo", [], timeoutMs).catch(() => void 0);
+      return { opened: opened !== false, uuid, matched: resolvedProject.matched, current: current === void 0 ? null : summarizePrimitive(current) };
+    }
+    case "eda_get_workspace": {
+      const workspace = await callExtension("dmt_Workspace.getCurrentWorkspaceInfo", [], timeoutMs).catch(() => void 0);
+      const team = await callExtension("dmt_Team.getCurrentTeamInfo", [], timeoutMs).catch(() => void 0);
+      return {
+        workspace: workspace === void 0 ? null : workspace,
+        team: team === void 0 ? null : team,
+        hint: workspace === void 0 && team === void 0 ? "No workspace/team is available: start JLCEDA Pro and sign in to a JLC account. Workspace projects cannot be created or listed without one." : "ok"
+      };
+    }
+    case "eda_list_teams": {
+      const teams = await callExtension(args.involved === true ? "dmt_Team.getAllInvolvedTeamInfo" : "dmt_Team.getAllTeamsInfo", [], toolTimeout(args, timeoutMs));
+      const list = Array.isArray(teams) ? teams : [];
+      return { count: list.length, teams: list };
+    }
+    case "eda_list_folders": {
+      const teamUuid = args.teamUuid === void 0 ? "" : String(args.teamUuid).trim();
+      let resolvedTeam = teamUuid;
+      if (resolvedTeam === "") {
+        const current = await callExtension("dmt_Team.getCurrentTeamInfo", [], timeoutMs).catch(() => void 0);
+        resolvedTeam = String(pickValue(asRecord(current), "Uuid", "uuid") ?? "");
+      }
+      if (resolvedTeam === "") throw new Error("eda_list_folders needs teamUuid (eda_list_teams shows them)");
+      let uuids;
+      try {
+        uuids = await callExtension("dmt_Folder.getAllFoldersUuid", [resolvedTeam], toolTimeout(args, timeoutMs));
+      } catch (failure) {
+        throw new Error('eda_list_folders: the app rejected team "' + resolvedTeam + '" (' + (failure instanceof Error ? failure.message : String(failure)) + "); pass the uuid from a project record (eda_list_projects) or eda_list_teams");
+      }
+      const list = Array.isArray(uuids) ? uuids.map(String) : [];
+      if (args.resolveNames === false) return { teamUuid: resolvedTeam, count: list.length, uuids: list };
+      const folders = [];
+      for (const folderUuid of list.slice(0, 20)) {
+        try {
+          folders.push({ folderUuid, info: await callExtension("dmt_Folder.getFolderInfo", [resolvedTeam, folderUuid], timeoutMs) });
+        } catch {
+          folders.push({ folderUuid, info: null });
+        }
+      }
+      return { teamUuid: resolvedTeam, count: list.length, folders };
+    }
+    case "eda_delete_project": {
+      const resolvedProject = await resolveProjectUuid(args, timeoutMs);
+      const deleted = await callExtension("dmt_Project.deleteProject", [resolvedProject.uuid], toolTimeout(args, timeoutMs));
+      const ok = deleted !== false;
+      return {
+        deleted: ok,
+        uuid: resolvedProject.uuid,
+        matched: resolvedProject.matched,
+        hint: ok ? null : "The app returned false and the project still exists: this build refuses deleteProject for local projects (verified with the project open and after switching away), so remove it in the app."
+      };
+    }
+    case "eda_modify_project": {
+      const resolvedProject = await resolveProjectUuid(args, timeoutMs);
+      const changes = [];
+      if (args.friendlyName !== void 0) {
+        changes.push(["friendlyName", await callExtension("dmt_Project.modifyProjectFriendlyName", [resolvedProject.uuid, String(args.friendlyName)], timeoutMs)]);
+      }
+      if (args.description !== void 0) {
+        changes.push(["description", await callExtension("dmt_Project.modifyProjectDescription", [resolvedProject.uuid, String(args.description)], timeoutMs)]);
+      }
+      if (changes.length === 0) throw new Error("eda_modify_project requires friendlyName or description");
+      return {
+        ok: changes.every(([, value]) => value !== false),
+        uuid: resolvedProject.uuid,
+        matched: resolvedProject.matched,
+        applied: changes.map(([field, value]) => ({ field, ok: value !== false }))
+      };
+    }
+    case "eda_copy_project": {
+      const source = await resolveProjectUuid({
+        uuid: args.sourceUuid,
+        name: args.sourceName
+      }, timeoutMs);
+      const uuid = await callExtension("dmt_Project.copyProject", [
+        source.uuid,
+        args.targetTeamUuid === void 0 ? void 0 : String(args.targetTeamUuid),
+        args.targetFolderUuid === void 0 ? void 0 : String(args.targetFolderUuid),
+        args.newFriendlyName === void 0 ? void 0 : String(args.newFriendlyName),
+        args.newName === void 0 ? void 0 : String(args.newName)
+      ], toolTimeout(args, timeoutMs));
+      return { copied: typeof uuid === "string" && uuid !== "", sourceUuid: source.uuid, uuid: uuid ?? null };
+    }
+    case "eda_create_project": {
+      const friendlyName = String(args.friendlyName ?? "").trim();
+      if (friendlyName === "") throw new Error("eda_create_project requires friendlyName");
+      let teamUuid = args.teamUuid === void 0 ? "" : String(args.teamUuid).trim();
+      let teamSource = "argument";
+      if (teamUuid === "") {
+        const current = await callExtension("dmt_Team.getCurrentTeamInfo", [], timeoutMs).catch(() => void 0);
+        teamUuid = String(pickValue(asRecord(current), "Uuid", "uuid") ?? "");
+        teamSource = teamUuid === "" ? "unavailable" : "current-team";
+      }
+      if (teamUuid === "") {
+        throw new Error("eda_create_project: no team is available (sign in to a JLC account in JLCEDA Pro, or pass teamUuid from eda_list_teams)");
+      }
+      const folderUuid = args.folderUuid === void 0 ? "" : String(args.folderUuid).trim();
+      const uuid = await callExtension("dmt_Project.createProject", [
+        friendlyName,
+        args.name === void 0 ? void 0 : String(args.name),
+        teamUuid,
+        folderUuid === "" ? void 0 : folderUuid,
+        args.description === void 0 ? void 0 : String(args.description)
+      ], toolTimeout(args, timeoutMs));
+      if (typeof uuid !== "string" || uuid === "") {
+        throw new Error("eda_create_project: the app returned no project uuid (team " + teamUuid + " from " + teamSource + "; the app may have shown a dialog or rejected the name)");
+      }
+      let opened = false;
+      if (args.open === true) {
+        try {
+          opened = await callExtension("dmt_Project.openProject", [uuid], timeoutMs) !== false;
+        } catch {
+          opened = false;
+        }
+      }
+      return { created: true, uuid, friendlyName, teamUuid, teamSource, folderUuid: folderUuid === "" ? null : folderUuid, opened };
+    }
+    case "eda_launch": {
+      const probe = launchProbe();
+      const resolved = resolveExecutable(probe, {
+        executable: args.executable === void 0 ? void 0 : String(args.executable),
+        project: args.project === void 0 ? void 0 : String(args.project)
+      });
+      if (resolved === void 0) {
+        throw new Error([
+          "eda_launch: could not find the JLCEDA Pro executable on this machine.",
+          "Set `DSH_EDA_EXECUTABLE` (or the plugin setting edaExecutable) to the full path of lceda-pro.exe.",
+          "Searched: DSH_EDA_EXECUTABLE / JLCEDA_EXECUTABLE, the registry handler registered for .eprj2/.eprj,",
+          "conventional install directories under Program Files / LOCALAPPDATA / the system drive, and PATH."
+        ].join(" "));
+      }
+      const alreadyConnected = pickClients().length;
+      const project = args.project === void 0 ? void 0 : String(args.project);
+      if (project !== void 0 && project !== "") {
+        try {
+          if (!statSync(project).isFile()) throw new Error("not a file");
+        } catch {
+          throw new Error('eda_launch: project "' + project + '" does not exist or is not a file');
+        }
+      }
+      const plan = buildLaunchArgs(process.platform, resolved.executable, project);
+      let child;
+      let via = "direct";
+      if (process.platform === "win32") {
+        try {
+          const scriptPath = join(tmpdir(), "dsh-eda-launch-" + process.pid + "-" + Date.now() + ".cmd");
+          await writeFile(scriptPath, buildLaunchScript(resolved.executable, project), "utf8");
+          child = spawn(process.env.SystemRoot ? join(process.env.SystemRoot, "explorer.exe") : "explorer.exe", [scriptPath], {
+            detached: true,
+            stdio: "ignore",
+            windowsHide: false
+          });
+          via = "explorer";
+        } catch {
+          child = spawn(plan.command, plan.args, { detached: true, stdio: "ignore", windowsHide: false });
+          via = "direct";
+        }
+      } else {
+        child = spawn(plan.command, plan.args, { detached: true, stdio: "ignore", windowsHide: false });
+      }
+      child.unref();
+      const shouldWait = args.waitForExtension !== false;
+      const timeoutMs2 = Number.isFinite(Number(args.timeoutMs)) ? Math.max(1e3, Number(args.timeoutMs)) : 3e4;
+      const waited = shouldWait ? await waitForExtensionConnection(timeoutMs2) : { connected: alreadyConnected > 0, clients: alreadyConnected, waitedMs: 0 };
+      return {
+        ok: true,
+        launched: true,
+        pid: child.pid ?? null,
+        via,
+        executable: resolved.executable,
+        source: resolved.source,
+        project: project ?? null,
+        // Verified on JLCEDA Pro 3.2.186: the app starts but ignores the project
+        // argument passed on the command line (it opens on HOME), so the caller must
+        // not assume the project was opened.
+        projectOpenedByArgument: false,
+        projectNote: project === void 0 || project === "" ? null : "The app was started with the project path, but this JLCEDA Pro build ignores it and opens on HOME; open the project from the app itself.",
+        target: { command: plan.command, args: plan.args },
+        connected: waited.connected,
+        connectedClients: waited.clients,
+        waitedMs: waited.waitedMs,
+        hint: waited.connected ? "JLCEDA is connected; the eda_* tools can be used now." : "The app was started but no EDA extension connected yet. In JLCEDA Pro: \u6269\u5C55 \u2192 DSH MCP \u2192 \u8FDE\u63A5 (and enable \u201C\u5141\u8BB8\u5916\u90E8\u4EA4\u4E92\u201D); the extension must be imported once from dsh-eda-bridge-extension.zip."
       };
     }
     case "eda_get_page_info": {
@@ -1937,7 +2601,7 @@ var server = createServer((req, res) => {
   const url = new URL(req.url ?? "/", "http://127.0.0.1");
   if (req.method === "GET" && url.pathname === "/healthz") {
     res.writeHead(200, { "content-type": "application/json; charset=utf-8", "cache-control": "no-store" });
-    res.end(JSON.stringify({ status: "ok", version: VERSION, clients: [...clients].filter((client) => client.ready).length }));
+    res.end(JSON.stringify({ status: "ok", version: VERSION, clients: pickClients().length }));
     return;
   }
   res.writeHead(404, { "content-type": "text/plain; charset=utf-8" });