@aliceshimada/mica 1.0.3 → 1.0.5

package/CHANGELOG.md

@@ -1,5 +1,16 @@
 # Changelog
 
+## 1.0.5 - 2026-06-09
+
+- Fix abort disconnection: give control evaluator a separate kernel via `LinkLaunch` instead of cloning `"Local"`.
+
+## 1.0.4 - 2026-06-07
+
+- Remove legacy dead code from npm package (bridge, legacy tools, stop command, runtimeOptions, types).
+- Tighten `files` field to only include active runtime directories.
+- Fix `mica install` failing after npm install: `validateBridgeRoot` now checks `dist/src/bun/index.js` instead of removed `src/bun/index.ts`.
+- Increase Wolfram HTTP timeout from 10s to 30s to prevent large notebook loading timeouts.
+
 ## 1.0.3 - 2026-06-06
 
 - Deprecate `mica start`, `mica stop`, and `mica restart` commands.

package/dist/src/bun/httpServer.js

@@ -3,7 +3,7 @@ import http from "node:http";
 import { executeBackendMcpTool } from "../mcp/backendTools.js";
 import { renderDashboard } from "./dashboard.js";
 const JSON_BODY_LIMIT_BYTES = 1024 * 1024;
-const DEFAULT_VERSION = "1.0.3";
+const DEFAULT_VERSION = "1.0.5";
 export async function createBunHttpApp({ state, host = "127.0.0.1", port, authToken, version = DEFAULT_VERSION }) {
     const runtimeInfo = {
         host,

package/dist/src/bun/index.js

@@ -8,7 +8,7 @@ import { loadRuntimeConfig } from "../runtime/config.js";
 import { writeSessionFile } from "../runtime/session.js";
 import { createBunHttpApp } from "./httpServer.js";
 const MCP_SERVER_NAME = "mica-bun";
-const MICA_PACKAGE_VERSION = "1.0.3";
+const MICA_PACKAGE_VERSION = "1.0.5";
 export async function startBunRuntime(deps = {}) {
     const config = deps.runtimeConfig ?? loadRuntimeConfig();
     const bridgeOnly = deps.bridgeOnly ?? config.bridgeOnly;

package/dist/src/mcp/prompts.js

@@ -33,7 +33,7 @@ export const MICA_AGENT_INSTRUCTIONS = [
     "Tools:",
     ...TOOL_GUIDE.map(([name, description]) => `- ${name}: ${description}`),
 ].join("\n");
-export function createMicaMcpServer(name, version = "1.0.3") {
+export function createMicaMcpServer(name, version = "1.0.5") {
     return new McpServer({ name, version }, { instructions: MICA_AGENT_INSTRUCTIONS });
 }
 export function registerMicaPrompts(server) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aliceshimada/mica",
-  "version": "1.0.3",
+  "version": "1.0.5",
   "description": "Local MCP bridge for controlling live Wolfram Desktop / Mathematica notebooks.",
   "type": "module",
   "repository": {
@@ -22,7 +22,13 @@
     "mica": "dist/src/cli/index.js"
   },
   "files": [
-    "dist/src",
+    "dist/src/backend",
+    "dist/src/bun",
+    "dist/src/cli",
+    "!dist/src/cli/stop.js",
+    "dist/src/mcp",
+    "!dist/src/mcp/tools.js",
+    "dist/src/runtime",
     "paclet",
     "README.md",
     "README.zh-CN.md",

package/paclet/Kernel/MMAAgentBridge.wl

@@ -50,7 +50,7 @@ $PollingInProgress = False;
 $MaxArtifactScanCells = 20;
 $DefaultMaxCellPayloadBytes = 262144;
 $MaxCellPayloadBytes = 1024 * 1024;
-$BridgeHTTPTimeoutSeconds = 10;
+$BridgeHTTPTimeoutSeconds = 30;
 $BridgeHTTPRetryCount = 3;
 $BridgeHTTPRetryDelaySeconds = 0.25;
 $BridgeInbox = {};
@@ -1651,15 +1651,18 @@ StopMMAAgentControlKernel[] := Module[{nb = $ControlAgentNotebook},
   <|"status" -> "closed"|>
 ];
 
-EnsureControlEvaluator[evaluatorName_String] := Module[{before, beforeAssoc, localSpec, controlSpec, afterAssoc},
+EnsureControlEvaluator[evaluatorName_String] := Module[{before, beforeAssoc, controlSpec, afterAssoc, kernelCommand},
   before = Quiet @ Check[CurrentValue[$FrontEnd, EvaluatorNames], $Failed];
   If[before === $Failed, Return[BridgeFailure["EVALUATOR_CONFIG_FAILED", "Could not read FrontEnd evaluator configuration."]]];
   beforeAssoc = Association[before];
   If[KeyExistsQ[beforeAssoc, evaluatorName],
     Return[<|"status" -> "exists", "evaluatorName" -> evaluatorName, "spec" -> Lookup[beforeAssoc, evaluatorName]|>]
   ];
-  localSpec = Lookup[beforeAssoc, "Local", {"AutoStartOnLaunch" -> False}];
-  controlSpec = Append[DeleteCases[localSpec, HoldPattern["AutoStartOnLaunch" -> _]], "AutoStartOnLaunch" -> False];
+  kernelCommand = First[$CommandLine] <> " -wstp -noicon";
+  controlSpec = {
+    "AutoStartOnLaunch" -> False,
+    "Kernel" -> LinkLaunch[kernelCommand]
+  };
   Quiet @ Check[
     CurrentValue[$FrontEnd, {EvaluatorNames, evaluatorName}] = controlSpec,
     Return[BridgeFailure["EVALUATOR_CONFIG_FAILED", "Failed to configure the control evaluator."]]

package/scripts/install.js

@@ -22,7 +22,7 @@ export const STANDARD_INIT_HEADER =
 
 const REQUIRED_BRIDGE_FILES = [
   "package.json",
-  path.join("src", "bun", "index.ts"),
+  path.join("dist", "src", "bun", "index.js"),
   path.join("paclet", "Kernel", "MMAAgentBridge.wl"),
   path.join("paclet", "PacletInfo.wl"),
 ];

package/dist/src/bridge/httpBridge.js

@@ -1,366 +0,0 @@
-import http from "node:http";
-import { DEFAULT_BRIDGE_HOST, DEFAULT_BRIDGE_PORT } from "../types.js";
-const DEFAULT_PALETTE_STALE_TIMEOUT_MS = 30_000;
-export class HttpBridge {
-    queue;
-    options;
-    server;
-    attachedNotebook;
-    permissions;
-    notebooks = new Map();
-    activeNotebookId;
-    /** Timestamp (ms) of the last Palette heartbeat. 0 = never connected. */
-    lastPaletteHeartbeat = 0;
-    paletteStaleTimeoutMs;
-    static MAX_BODY_BYTES = 1024 * 1024; // 1 MiB
-    constructor(queue, options = {}) {
-        this.queue = queue;
-        this.options = options;
-        this.paletteStaleTimeoutMs =
-            options.paletteStaleTimeoutMs ?? DEFAULT_PALETTE_STALE_TIMEOUT_MS;
-        this.server = http.createServer((request, response) => {
-            this.handle(request, response);
-        });
-    }
-    get port() {
-        const address = this.server.address();
-        return address?.port ?? this.options.port ?? DEFAULT_BRIDGE_PORT;
-    }
-    /**
-     * Return a snapshot of the current bridge status.
-     *
-     * Exposed so the MCP `mma_status` tool can report real Palette connection
-     * and notebook attachment state instead of hardcoded false values.
-     */
-    statusSnapshot() {
-        return this.status();
-    }
-    async start() {
-        const host = this.options.host ?? DEFAULT_BRIDGE_HOST;
-        const port = this.options.port ?? DEFAULT_BRIDGE_PORT;
-        await new Promise((resolve) => this.server.listen(port, host, resolve));
-    }
-    async stop() {
-        // Close the HTTP server first to prevent new interactions, then drain
-        // the queue so pending MCP promises don't hang.
-        if (this.server.listening) {
-            await new Promise((resolve, reject) => {
-                this.server.close((error) => (error ? reject(error) : resolve()));
-            });
-        }
-        this.queue.drain("HTTP bridge stopped");
-    }
-    async handle(request, response) {
-        try {
-            const url = new URL(request.url ?? "/", "http://127.0.0.1");
-            if (request.method === "GET" && url.pathname === "/status") {
-                this.sendJson(response, 200, this.status());
-                return;
-            }
-            if (request.method === "POST" && url.pathname === "/attach") {
-                const body = await this.readJson(request);
-                if (typeof body !== "object" || body === null || Object.keys(body).length === 0) {
-                    this.sendJson(response, 400, {
-                        error: { code: "BAD_REQUEST", message: "attach body must be a non-empty JSON object" }
-                    });
-                    return;
-                }
-                const attach = body;
-                const permissions = Object.prototype.hasOwnProperty.call(attach, "permissions")
-                    ? this.parsePermissions(attach.permissions)
-                    : undefined;
-                if (Object.prototype.hasOwnProperty.call(attach, "permissions") && !permissions) {
-                    this.sendJson(response, 400, {
-                        error: { code: "BAD_REQUEST", message: "permissions must include boolean values" }
-                    });
-                    return;
-                }
-                this.attachedNotebook = permissions ? { ...attach, permissions } : attach;
-                this.permissions = permissions;
-                if (typeof attach.notebookId === "string" && attach.notebookId.length > 0) {
-                    this.upsertNotebook({
-                        notebookId: attach.notebookId,
-                        notebookTitle: attach.notebookTitle,
-                        notebookPath: attach.notebookPath,
-                        wolframVersion: attach.wolframVersion,
-                        platform: attach.platform,
-                        permissions,
-                        lastSeenAt: Date.now()
-                    });
-                }
-                this.heartbeat();
-                this.sendJson(response, 200, { ok: true });
-                return;
-            }
-            if (request.method === "POST" && url.pathname === "/notebooks/upsert") {
-                const body = await this.readJson(request);
-                if (!this.isNotebookPayload(body)) {
-                    this.sendJson(response, 400, {
-                        error: { code: "BAD_REQUEST", message: "notebookId is required" }
-                    });
-                    return;
-                }
-                this.upsertNotebook({
-                    notebookId: body.notebookId,
-                    notebookTitle: body.notebookTitle,
-                    notebookPath: body.notebookPath,
-                    wolframVersion: body.wolframVersion,
-                    platform: body.platform,
-                    permissions: this.parsePermissions(body),
-                    lastSeenAt: Date.now()
-                });
-                if (!this.activeNotebookId) {
-                    this.activeNotebookId = body.notebookId;
-                }
-                this.heartbeat();
-                this.sendJson(response, 200, { ok: true, activeNotebookId: this.activeNotebookId });
-                return;
-            }
-            if (request.method === "GET" && url.pathname === "/notebooks") {
-                this.sendJson(response, 200, {
-                    notebooks: this.listNotebooks(),
-                    activeNotebookId: this.activeNotebookId
-                });
-                return;
-            }
-            if (request.method === "POST" && url.pathname === "/notebooks/select") {
-                const body = await this.readJson(request);
-                const notebookId = this.getNotebookId(body);
-                if (!notebookId) {
-                    this.sendJson(response, 400, {
-                        error: { code: "BAD_REQUEST", message: "notebookId is required" }
-                    });
-                    return;
-                }
-                if (!this.notebooks.has(notebookId)) {
-                    this.sendJson(response, 404, {
-                        error: { code: "NOTEBOOK_NOT_FOUND", message: `Unknown notebookId: ${notebookId}` }
-                    });
-                    return;
-                }
-                this.activeNotebookId = notebookId;
-                this.heartbeat();
-                this.sendJson(response, 200, { ok: true, activeNotebookId: this.activeNotebookId });
-                return;
-            }
-            if (request.method === "GET" && url.pathname === "/poll") {
-                const activeNotebookId = url.searchParams.get("activeNotebookId");
-                if (activeNotebookId && this.notebooks.has(activeNotebookId)) {
-                    this.activeNotebookId = activeNotebookId;
-                }
-                this.heartbeat();
-                const requestInfo = this.queue.claimNext();
-                const body = {
-                    status: this.status(),
-                    cancelRequests: this.queue.listCancellations(),
-                    request: requestInfo
-                };
-                this.sendJson(response, 200, body);
-                return;
-            }
-            if (request.method === "POST" && url.pathname === "/permissions") {
-                const body = await this.readJson(request);
-                const permissions = this.parsePermissions(body);
-                if (!permissions) {
-                    this.sendJson(response, 400, {
-                        error: { code: "BAD_REQUEST", message: "permissions must include boolean values" }
-                    });
-                    return;
-                }
-                this.permissions = permissions;
-                if (this.attachedNotebook) {
-                    this.attachedNotebook = { ...this.attachedNotebook, permissions };
-                }
-                const attachedNotebookId = this.getAttachedNotebookId();
-                if (attachedNotebookId) {
-                    this.upsertNotebook({
-                        notebookId: attachedNotebookId,
-                        notebookTitle: this.attachedNotebook?.notebookTitle,
-                        notebookPath: this.attachedNotebook?.notebookPath,
-                        wolframVersion: this.attachedNotebook?.wolframVersion,
-                        platform: this.attachedNotebook?.platform,
-                        permissions,
-                        lastSeenAt: Date.now()
-                    });
-                }
-                this.sendJson(response, 200, { ok: true });
-                return;
-            }
-            if (request.method === "GET" && url.pathname === "/requests") {
-                this.heartbeat();
-                this.sendJson(response, 200, { request: this.queue.claimNext() });
-                return;
-            }
-            if (request.method === "POST" && url.pathname === "/result") {
-                const body = (await this.readJson(request));
-                const accepted = body.ok
-                    ? this.queue.resolveSuccess(body.requestId, body.result)
-                    : this.queue.resolveFailure(body.requestId, body.error.code, body.error.message);
-                this.sendJson(response, accepted ? 200 : 404, { ok: accepted });
-                return;
-            }
-            if (request.method === "GET" && url.pathname === "/cancellations") {
-                this.sendJson(response, 200, { cancelRequests: this.queue.listCancellations() });
-                return;
-            }
-            if (request.method === "POST" && url.pathname === "/cancel") {
-                const body = (await this.readJson(request));
-                if (!body.requestId) {
-                    this.sendJson(response, 400, { error: { code: "BAD_REQUEST", message: "requestId is required" } });
-                    return;
-                }
-                const accepted = this.queue.cancelFromPalette(body.requestId, body.reason ?? "USER_CANCELLED_IN_PALETTE");
-                this.sendJson(response, accepted ? 200 : 404, { ok: accepted });
-                return;
-            }
-            this.sendJson(response, 404, { error: { code: "NOT_FOUND", message: `${request.method} ${url.pathname}` } });
-        }
-        catch (error) {
-            const msg = error instanceof Error ? error.message : String(error);
-            if (msg === "PAYLOAD_TOO_LARGE") {
-                this.sendJson(response, 413, { error: { code: "PAYLOAD_TOO_LARGE", message: "Request body exceeds 1 MiB limit" } });
-            }
-            else if (msg === "MALFORMED_JSON") {
-                this.sendJson(response, 400, { error: { code: "BAD_REQUEST", message: "Malformed JSON body" } });
-            }
-            else {
-                this.sendJson(response, 500, { error: { code: "INTERNAL_ERROR", message: msg } });
-            }
-        }
-    }
-    status() {
-        const permissions = this.permissions ?? this.attachedNotebook?.permissions;
-        const runningRequest = this.queue.runningRequestSnapshot();
-        const notebookAttached = Boolean(this.attachedNotebook) || Boolean(this.activeNotebookId && this.notebooks.has(this.activeNotebookId));
-        return {
-            server: "running",
-            paletteConnected: this.isPaletteConnected(),
-            notebookAttached,
-            attachedNotebook: this.attachedNotebook,
-            permissions,
-            activeNotebookId: this.activeNotebookId,
-            notebooks: this.listNotebooks(),
-            transportMode: "main-kernel",
-            executorState: runningRequest ? "running" : "idle",
-            runningRequest,
-            pendingRequests: this.queue.pendingCount()
-        };
-    }
-    upsertNotebook(notebook) {
-        const existing = this.notebooks.get(notebook.notebookId);
-        this.notebooks.set(notebook.notebookId, {
-            ...(existing ?? { notebookId: notebook.notebookId, lastSeenAt: notebook.lastSeenAt }),
-            ...notebook
-        });
-    }
-    listNotebooks() {
-        return [...this.notebooks.values()];
-    }
-    getNotebookId(payload) {
-        if (typeof payload !== "object" || payload === null || Array.isArray(payload)) {
-            return undefined;
-        }
-        const record = payload;
-        return typeof record.notebookId === "string" && record.notebookId.length > 0 ? record.notebookId : undefined;
-    }
-    isNotebookPayload(payload) {
-        return this.getNotebookId(payload) !== undefined;
-    }
-    getAttachedNotebookId() {
-        if (!this.attachedNotebook)
-            return undefined;
-        return typeof this.attachedNotebook.notebookId === "string"
-            ? this.attachedNotebook.notebookId
-            : undefined;
-    }
-    /**
-     * Record a Palette heartbeat, refreshing the connection timestamp.
-     *
-     * Called on POST /attach and GET /requests — the two endpoints the Palette
-     * uses to interact with the bridge. If the Palette stops polling, the
-     * heartbeat expires and {@link isPaletteConnected} returns false.
-     */
-    heartbeat() {
-        this.lastPaletteHeartbeat = Date.now();
-    }
-    /**
-     * Whether the Palette is considered connected based on heartbeat freshness.
-     *
-     * Returns true only if the Palette has sent a heartbeat within
-     * `paletteStaleTimeoutMs`. This prevents agents from enqueuing requests
-     * that will never be claimed after the Palette dies or disconnects.
-     */
-    isPaletteConnected() {
-        if (this.lastPaletteHeartbeat === 0)
-            return false;
-        return Date.now() - this.lastPaletteHeartbeat < this.paletteStaleTimeoutMs;
-    }
-    parsePermissions(payload) {
-        const source = this.getPermissionsSource(payload);
-        if (!source)
-            return undefined;
-        const keys = [
-            "ReadNotebook",
-            "InsertCell",
-            "ModifyCell",
-            "DeleteCell",
-            "RunCell",
-            "SaveNotebook"
-        ];
-        const permissions = {};
-        for (const key of keys) {
-            if (typeof source[key] !== "boolean") {
-                return undefined;
-            }
-            permissions[key] = source[key];
-        }
-        return permissions;
-    }
-    getPermissionsSource(payload) {
-        if (typeof payload !== "object" || payload === null || Array.isArray(payload)) {
-            return null;
-        }
-        const record = payload;
-        if (Object.prototype.hasOwnProperty.call(record, "permissions")) {
-            const nested = record.permissions;
-            if (typeof nested !== "object" || nested === null || Array.isArray(nested)) {
-                return null;
-            }
-            return nested;
-        }
-        return record;
-    }
-    async readJson(request) {
-        const chunks = [];
-        let totalBytes = 0;
-        let exceeded = false;
-        for await (const chunk of request) {
-            if (exceeded)
-                continue; // drain remaining chunks
-            const buf = Buffer.isBuffer(chunk) ? chunk : Buffer.from(chunk);
-            totalBytes += buf.length;
-            if (totalBytes > HttpBridge.MAX_BODY_BYTES) {
-                exceeded = true;
-                chunks.length = 0; // discard accumulated data
-                continue;
-            }
-            chunks.push(buf);
-        }
-        if (exceeded) {
-            throw new Error("PAYLOAD_TOO_LARGE");
-        }
-        const text = Buffer.concat(chunks).toString("utf8");
-        if (text.length === 0)
-            return {};
-        try {
-            return JSON.parse(text);
-        }
-        catch {
-            throw new Error("MALFORMED_JSON");
-        }
-    }
-    sendJson(response, statusCode, body) {
-        response.writeHead(statusCode, { "content-type": "application/json; charset=utf-8" });
-        response.end(JSON.stringify(body));
-    }
-}

package/dist/src/bridge/requestQueue.js

@@ -1,200 +0,0 @@
-/**
- * Serial request queue for the MMA MCP bridge.
- *
- * Only one notebook operation is processed at a time. The MCP client enqueues
- * tool calls, the Mathematica Palette polls and claims them, then posts results
- * back. Cancellation is supported from both sides.
- *
- * ## Cancellation semantics
- *
- * **MCP-client cancellation** (`cancelFromMcp`):
- * - Queued requests are rejected immediately and removed.
- * - Claimed requests are rejected immediately and removed, and a one-shot
- *   cancellation notification is stored for the Palette to pick up via
- *   `listCancellations`. This ensures the MCP call terminates instead of
- *   hanging indefinitely.
- *
- * **Palette-originated cancellation** (`cancelFromPalette`):
- * - The Palette already knows it is cancelling, so no notification is stored.
- *   The active call is rejected and removed immediately.
- */
-export class RequestQueue {
-    counter = 0;
-    calls = new Map();
-    order = [];
-    /**
-     * One-shot cancellation notifications for the Palette.
-     * Populated by cancelFromMcp on claimed requests, drained by listCancellations.
-     */
-    cancellations = [];
-    /**
-     * Enqueue a tool call and return only the promise.
-     *
-     * Convenience wrapper around {@link enqueueWithId} for callers that don't
-     * need the requestId (e.g. tests, simple fire-and-forget usage).
-     */
-    enqueue(tool, args) {
-        return this.enqueueWithId(tool, args).promise;
-    }
-    /**
-     * Enqueue a tool call and return both the requestId and the promise.
-     *
-     * The requestId is needed by MCP tool handlers so they can wire an
-     * AbortSignal listener to {@link cancelFromMcp}.
-     */
-    enqueueWithId(tool, args) {
-        const notebookId = typeof args.notebookId === "string" && args.notebookId.length > 0 ? args.notebookId : undefined;
-        const requestId = `req_${++this.counter}`;
-        const request = {
-            requestId,
-            tool,
-            arguments: args,
-            notebookId,
-            state: "queued",
-            createdAt: Date.now()
-        };
-        const promise = new Promise((resolve, reject) => {
-            this.calls.set(requestId, { request, resolve, reject });
-            this.order.push(requestId);
-        });
-        return { requestId, promise };
-    }
-    claimNext() {
-        if ([...this.calls.values()].some((call) => call.request.state === "claimed")) {
-            return null;
-        }
-        const requestId = this.order.find((id) => this.calls.get(id)?.request.state === "queued");
-        if (!requestId)
-            return null;
-        const call = this.calls.get(requestId);
-        if (!call)
-            return null;
-        call.request.state = "claimed";
-        call.request.claimedAt = Date.now();
-        return { ...call.request, arguments: { ...call.request.arguments } };
-    }
-    runningRequestSnapshot() {
-        const running = this.order
-            .map((id) => this.calls.get(id)?.request)
-            .find((request) => request !== undefined && request.state === "claimed");
-        if (!running || running.claimedAt === undefined)
-            return null;
-        return {
-            requestId: running.requestId,
-            tool: running.tool,
-            arguments: { ...running.arguments },
-            notebookId: running.notebookId,
-            state: "claimed",
-            createdAt: running.createdAt,
-            claimedAt: running.claimedAt
-        };
-    }
-    peekQueued() {
-        return this.order
-            .map((id) => this.calls.get(id)?.request)
-            .filter((request) => request !== undefined && request.state === "queued")
-            .map((request) => ({ ...request, arguments: { ...request.arguments } }));
-    }
-    pendingCount() {
-        return [...this.calls.values()].filter((call) => call.request.state === "queued" || call.request.state === "claimed").length;
-    }
-    resolveSuccess(requestId, result) {
-        const call = this.calls.get(requestId);
-        if (!call)
-            return false;
-        if (call.request.state !== "claimed")
-            return false;
-        call.request.state = "completed";
-        call.resolve(result);
-        this.remove(requestId);
-        return true;
-    }
-    resolveFailure(requestId, code, message) {
-        const call = this.calls.get(requestId);
-        if (!call)
-            return false;
-        if (call.request.state !== "claimed")
-            return false;
-        call.request.state = "failed";
-        call.reject(new Error(`${code}: ${message}`));
-        this.remove(requestId);
-        return true;
-    }
-    /**
-     * Cancel a request from the MCP client side.
-     *
-     * - Queued: rejects the promise and removes the call immediately.
-     * - Claimed: rejects the promise, removes the call, and stores a one-shot
-     *   cancellation notification for the Palette to discover via listCancellations.
-     * - Unknown/removed: returns false.
-     */
-    cancelFromMcp(requestId, reason) {
-        const call = this.calls.get(requestId);
-        if (!call)
-            return false;
-        if (call.request.state === "queued") {
-            call.request.state = "cancelled";
-            call.reject(new Error(reason));
-            this.remove(requestId);
-            return true;
-        }
-        // Claimed: reject immediately so the MCP call terminates, and store a
-        // one-shot notification for the Palette to pick up.
-        call.request.state = "cancelled";
-        call.reject(new Error(reason));
-        this.cancellations.push({ requestId, reason });
-        this.remove(requestId);
-        return true;
-    }
-    /**
-     * Cancel a request originating from the Palette (user action in Mathematica).
-     *
-     * Rejects the promise and removes the call immediately. No cancellation
-     * notification is stored because the Palette already knows it cancelled.
-     * Returns false if the requestId is unknown or already removed.
-     */
-    cancelFromPalette(requestId, reason) {
-        const call = this.calls.get(requestId);
-        if (!call)
-            return false;
-        call.request.state = "cancelled";
-        call.reject(new Error(reason));
-        this.remove(requestId);
-        return true;
-    }
-    /**
-     * Return pending one-shot MCP cancellation notifications and clear them.
-     *
-     * The Palette polls this endpoint to discover claimed requests that were
-     * cancelled by the MCP client. Each cancellation is reported exactly once.
-     */
-    listCancellations() {
-        if (this.cancellations.length === 0)
-            return [];
-        const result = [...this.cancellations];
-        this.cancellations.length = 0;
-        return result;
-    }
-    /**
-     * Reject all outstanding promises and clear all internal state.
-     *
-     * Used when the HTTP bridge shuts down so pending MCP tool-call promises
-     * don't hang indefinitely. Clears active calls, FIFO order, and one-shot
-     * cancellation notifications.
-     */
-    drain(reason) {
-        for (const call of this.calls.values()) {
-            call.request.state = "cancelled";
-            call.reject(new Error(reason));
-        }
-        this.calls.clear();
-        this.order.length = 0;
-        this.cancellations.length = 0;
-    }
-    remove(requestId) {
-        this.calls.delete(requestId);
-        const index = this.order.indexOf(requestId);
-        if (index >= 0)
-            this.order.splice(index, 1);
-    }
-}

package/dist/src/cli/stop.js

@@ -1,36 +0,0 @@
-import { existsSync, readFileSync, unlinkSync } from "node:fs";
-import { defaultSessionFile } from "../runtime/config.js";
-export async function runStopCommand(deps = {}) {
-    const env = deps.env ?? process.env;
-    const sessionFile = env.MICA_SESSION_FILE ?? defaultSessionFile(env);
-    const _exists = deps.exists ?? existsSync;
-    const _readFile = deps.readFile ?? ((p) => readFileSync(p, "utf8"));
-    const _kill = deps.kill ?? ((pid, signal) => { process.kill(pid, signal); });
-    const _unlink = deps.unlink ?? ((p) => { unlinkSync(p); });
-    if (!_exists(sessionFile)) {
-        return { exitCode: 1, output: `MICA is not running\nSession file not found: ${sessionFile}\n` };
-    }
-    let session;
-    try {
-        session = JSON.parse(_readFile(sessionFile));
-    }
-    catch (error) {
-        return { exitCode: 1, output: `Cannot read session file: ${error instanceof Error ? error.message : String(error)}\n` };
-    }
-    if (typeof session.pid !== "number" || !Number.isInteger(session.pid) || session.pid <= 0) {
-        return { exitCode: 1, output: "Cannot stop MICA: session file has no valid pid\n" };
-    }
-    try {
-        _kill(session.pid, "SIGTERM");
-    }
-    catch (error) {
-        return { exitCode: 1, output: `Cannot stop MICA pid ${session.pid}: ${error instanceof Error ? error.message : String(error)}\n` };
-    }
-    try {
-        _unlink(sessionFile);
-    }
-    catch {
-        // The process may have already removed or replaced it; stopping still succeeded.
-    }
-    return { exitCode: 0, output: `MICA stopped\nPID: ${session.pid}\n` };
-}

package/dist/src/index.js

@@ -1,54 +0,0 @@
-#!/usr/bin/env node
-// Legacy Palette compatibility path. Product entrypoint is src/bun/index.ts.
-import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
-import { HttpBridge } from "./bridge/httpBridge.js";
-import { RequestQueue } from "./bridge/requestQueue.js";
-import { createMicaMcpServer, registerMicaPrompts } from "./mcp/prompts.js";
-import { registerMmaTools } from "./mcp/tools.js";
-import { runtimeModeFromArgs } from "./runtimeOptions.js";
-async function main() {
-    const queue = new RequestQueue();
-    const bridge = new HttpBridge(queue);
-    const mode = runtimeModeFromArgs(process.argv.slice(2));
-    await bridge.start();
-    const server = createMicaMcpServer("mica");
-    registerMmaTools(server, queue, () => bridge.statusSnapshot());
-    registerMicaPrompts(server);
-    let shuttingDown = false;
-    async function shutdown(exitCode) {
-        if (shuttingDown)
-            return;
-        shuttingDown = true;
-        console.error("MICA shutting down...");
-        await bridge.stop();
-        if (exitCode !== undefined) {
-            process.exit(exitCode);
-        }
-    }
-    process.on("SIGINT", () => {
-        shutdown(130).catch((error) => {
-            console.error(error);
-            process.exit(1);
-        });
-    });
-    process.on("SIGTERM", () => {
-        shutdown(143).catch((error) => {
-            console.error(error);
-            process.exit(1);
-        });
-    });
-    // Log only to stderr — stdout is reserved for MCP stdio JSON-RPC.
-    console.error(`MICA HTTP listening on http://127.0.0.1:${bridge.port}`);
-    if (mode === "bridge-only") {
-        console.error("MICA running in bridge-only development mode.");
-        return;
-    }
-    await server.connect(new StdioServerTransport());
-    // server.connect() completes stdio transport setup; the HTTP bridge keeps
-    // the process alive while the MCP client owns the MCP server. Signal handlers above
-    // perform cleanup on explicit process termination.
-}
-main().catch((error) => {
-    console.error(error);
-    process.exit(1);
-});

package/dist/src/mcp/tools.js

@@ -1,161 +0,0 @@
-import { abortEvaluationSchema, deleteCellSchema, getCellOutputSchema, listCellsSchema, insertCellSchema, modifyCellSchema, noArgsSchema, readArtifactSchema, readCellSchema, selectNotebookSchema, saveNotebookSchema, runCellSchema, symbolLookupSchema } from "./toolSchemas.js";
-import { INSERT_ANCHOR_GUIDANCE, notebookToolDescription } from "./descriptions.js";
-import { toolSuccess, withToolErrors } from "./toolResults.js";
-export function assertBridgeReadyForTool(status) {
-    if (!status.paletteConnected) {
-        throw new Error("Mathematica Palette is not connected. Open the MMA Agent Bridge palette and click 'Allow control of current Notebook'.");
-    }
-    if (!status.notebookAttached) {
-        throw new Error("No Mathematica notebook is attached. Click 'Allow control of current Notebook' in the MMA Agent Bridge palette.");
-    }
-}
-export function resolveNotebookTarget(args, status) {
-    const explicit = args.notebookId;
-    if (typeof explicit === "string" && explicit.length > 0) {
-        const knownNotebook = status.notebooks?.some((notebook) => notebook.notebookId === explicit) ?? false;
-        if (!knownNotebook) {
-            throw new Error(`Unknown notebookId: ${explicit}`);
-        }
-        return explicit;
-    }
-    const displayName = args.displayName;
-    if (typeof displayName === "string" && displayName.trim().length > 0) {
-        throw new Error("Display-name notebook selection is not supported in the Node MCP tool path yet.");
-    }
-    if (typeof status.activeNotebookId === "string" && status.activeNotebookId.length > 0) {
-        return status.activeNotebookId;
-    }
-    throw new Error("No Mathematica notebook is selected");
-}
-/**
- * Enqueue a tool call through the bridge queue and wire MCP-client
- * cancellation via the AbortSignal provided by the SDK.
- *
- * When the MCP client cancels the tool call the SDK fires the signal's
- * `abort` event. We call `queue.cancelFromMcp` so the request is rejected
- * immediately (queued) or a one-shot cancellation notification is stored
- * for the Palette (claimed). The listener is removed after the promise
- * settles to avoid leaks.
- */
-async function enqueueRequestWithCancellation(queue, tool, args, extra) {
-    const { requestId, promise } = queue.enqueueWithId(tool, args);
-    // If the signal was already aborted before we enqueued, cancel immediately.
-    if (extra?.signal?.aborted) {
-        queue.cancelFromMcp(requestId, "MCP client cancelled operation");
-    }
-    const onAbort = () => {
-        queue.cancelFromMcp(requestId, "MCP client cancelled operation");
-    };
-    // Only add the listener if the signal exists and isn't already aborted.
-    if (extra?.signal && !extra.signal.aborted) {
-        extra.signal.addEventListener("abort", onAbort, { once: true });
-    }
-    try {
-        const result = await promise;
-        return toolSuccess(result);
-    }
-    finally {
-        extra?.signal?.removeEventListener("abort", onAbort);
-    }
-}
-async function enqueueWithCancellation(queue, getStatus, tool, args, extra) {
-    const status = getStatus();
-    assertBridgeReadyForTool(status);
-    const notebookId = resolveNotebookTarget(args, status);
-    return enqueueRequestWithCancellation(queue, tool, { ...args, notebookId }, extra);
-}
-function registerLegacyQueuedTool(server, queue, getStatus, config) {
-    server.tool(config.name, notebookToolDescription(config.summary, config.extraGuidance), config.schema, async (args, extra) => {
-        const recordArgs = args;
-        return withToolErrors({ tool: config.name, args: recordArgs }, () => enqueueWithCancellation(queue, getStatus, config.name, recordArgs, extra));
-    });
-}
-export function registerMmaTools(server, queue, getStatus) {
-    server.tool("mma_status", notebookToolDescription("Report Mathematica bridge, Palette, and notebook attachment status."), noArgsSchema.shape, async () => withToolErrors({ tool: "mma_status" }, () => toolSuccess(getStatus())));
-    server.tool("mma_list_notebooks", notebookToolDescription("List notebooks registered with the Mathematica bridge Palette."), noArgsSchema.shape, async () => {
-        return withToolErrors({ tool: "mma_list_notebooks" }, () => {
-            const status = getStatus();
-            return toolSuccess({ notebooks: status.notebooks ?? [], activeNotebookId: status.activeNotebookId });
-        });
-    });
-    server.tool("mma_select_notebook", notebookToolDescription("Select the active Mathematica notebook in the Palette registry."), selectNotebookSchema.shape, async (args, extra) => {
-        const recordArgs = args;
-        return withToolErrors({ tool: "mma_select_notebook", args: recordArgs }, () => {
-            const status = getStatus();
-            if (!status.paletteConnected) {
-                throw new Error("Mathematica Palette is not connected. Open the MMA Agent Bridge palette and click 'Allow control of current Notebook'.");
-            }
-            const notebookId = args.notebookId;
-            if (typeof args.displayName === "string" && args.displayName.trim().length > 0 && typeof notebookId !== "string") {
-                throw new Error("Display-name notebook selection is not supported in the Node MCP tool path yet.");
-            }
-            if (typeof notebookId !== "string" ||
-                notebookId.length === 0 ||
-                !(status.notebooks?.some((notebook) => notebook.notebookId === notebookId) ?? false)) {
-                throw new Error(`Unknown notebookId: ${notebookId}`);
-            }
-            return enqueueRequestWithCancellation(queue, "mma_select_notebook", recordArgs, extra);
-        });
-    });
-    const queuedTools = [
-        {
-            name: "mma_list_cells",
-            summary: "List cells in the attached active Mathematica notebook.",
-            schema: listCellsSchema.shape,
-        },
-        {
-            name: "mma_read_cell",
-            summary: "Read one cell from the attached Mathematica notebook.",
-            schema: readCellSchema.shape,
-        },
-        {
-            name: "mma_insert_cell",
-            summary: "Insert a cell through the Mathematica FrontEnd bridge.",
-            schema: insertCellSchema.shape,
-            extraGuidance: INSERT_ANCHOR_GUIDANCE,
-        },
-        {
-            name: "mma_modify_cell",
-            summary: "Modify one existing cell through the Mathematica FrontEnd bridge.",
-            schema: modifyCellSchema.shape,
-        },
-        {
-            name: "mma_delete_cell",
-            summary: "Delete one cell through the Mathematica FrontEnd bridge.",
-            schema: deleteCellSchema.shape,
-        },
-        {
-            name: "mma_run_cell",
-            summary: "Run one cell in the attached Mathematica notebook.",
-            schema: runCellSchema.shape,
-        },
-        {
-            name: "mma_abort_evaluation",
-            summary: "Abort the running Wolfram evaluation in the attached notebook.",
-            schema: abortEvaluationSchema.shape,
-        },
-        {
-            name: "mma_get_cell_output",
-            summary: "Read output and messages for one Mathematica notebook cell, refreshing completed run status when observed.",
-            schema: getCellOutputSchema.shape,
-        },
-        {
-            name: "mma_read_artifact",
-            summary: "Read one large output or message artifact by byte page. Artifact ids are resolved against current notebook state and may become stale after notebook edits or reruns.",
-            schema: readArtifactSchema.shape,
-        },
-        {
-            name: "mma_save_notebook",
-            summary: "Save the attached Mathematica notebook through the FrontEnd.",
-            schema: saveNotebookSchema.shape,
-        },
-        {
-            name: "mma_symbol_lookup",
-            summary: "Look up Wolfram Language symbol documentation. Provide an exact symbol name (e.g. 'Plot') for full details including usage, options, attributes, and documentation URL, or a partial name (e.g. 'integrate') for a list of matching symbols.",
-            schema: symbolLookupSchema.shape,
-        },
-    ];
-    for (const config of queuedTools) {
-        registerLegacyQueuedTool(server, queue, getStatus, config);
-    }
-}

package/dist/src/runtimeOptions.js

@@ -1,3 +0,0 @@
-export function runtimeModeFromArgs(args) {
-    return args.includes("--bridge-only") ? "bridge-only" : "mcp";
-}

package/dist/src/types.js

@@ -1,2 +0,0 @@
-export const DEFAULT_BRIDGE_HOST = "127.0.0.1";
-export const DEFAULT_BRIDGE_PORT = 19791;