@aliceshimada/mica 1.0.5 → 1.1.0

package/CHANGELOG.md

@@ -1,5 +1,10 @@
 # Changelog
 
+## 1.1.0 - 2026-06-09
+
+- Add `mma_kill_kernel` tool: quit a notebook's Wolfram kernel (control agent kernel is protected).
+- Add `mma_restart_kernel` tool: restart a notebook's Wolfram kernel so it can evaluate cells again.
+
 ## 1.0.5 - 2026-06-09
 
 - Fix abort disconnection: give control evaluator a separate kernel via `LinkLaunch` instead of cloning `"Local"`.

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.5";
+const DEFAULT_VERSION = "1.1.0";
 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.5";
+const MICA_PACKAGE_VERSION = "1.1.0";
 export async function startBunRuntime(deps = {}) {
     const config = deps.runtimeConfig ?? loadRuntimeConfig();
     const bridgeOnly = deps.bridgeOnly ?? config.bridgeOnly;

package/dist/src/cli/doctor.js

@@ -83,7 +83,7 @@ export async function runDoctor(deps = {}) {
     let sessionBaseUrl;
     if (!_exists(sessionFile)) {
         fail("Session file", `${sessionFile} (not found)`);
-        fix("Run: mica start");
+        fix("Run: mica mcp");
     }
     else {
         try {
@@ -97,7 +97,7 @@ export async function runDoctor(deps = {}) {
         }
         catch (e) {
             fail("Session file", `${sessionFile} (${e instanceof Error ? e.message : String(e)})`);
-            fix("Run: mica start");
+            fix("Run: mica mcp");
         }
     }
     // -----------------------------------------------------------------------
@@ -173,7 +173,7 @@ export async function runDoctor(deps = {}) {
         catch (e) {
             fail("Auth token", "server not reachable");
             fail("Server /status reachable", e instanceof Error ? e.message : String(e));
-            fix("Run: mica start");
+            fix("Run: mica mcp");
             fail("Live agent count", "server not reachable");
             fail("Live notebook count", "server not reachable");
         }

package/dist/src/cli/index.js

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { existsSync, readFileSync } from "node:fs";
+import { existsSync, readFileSync, realpathSync } from "node:fs";
 import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
 import path from "node:path";
 import { fileURLToPath, pathToFileURL } from "node:url";
@@ -222,10 +222,14 @@ async function main() {
     });
     process.exitCode = exitCode;
 }
-if (process.argv[1] && import.meta.url === pathToFileURL(process.argv[1]).href) {
-    main().catch((error) => {
-        const message = error instanceof Error ? error.stack ?? error.message : String(error);
-        process.stderr.write(`${message}\n`);
-        process.exitCode = 1;
-    });
+if (process.argv[1]) {
+    const scriptReal = realpathSync(fileURLToPath(import.meta.url));
+    const argReal = realpathSync(process.argv[1]);
+    if (scriptReal === argReal) {
+        main().catch((error) => {
+            const message = error instanceof Error ? error.stack ?? error.message : String(error);
+            process.stderr.write(`${message}\n`);
+            process.exitCode = 1;
+        });
+    }
 }

package/dist/src/mcp/backendTools.js

@@ -1,6 +1,6 @@
 import { randomUUID } from "node:crypto";
 import { DEFAULT_TIMEOUTS_MS } from "../backend/protocol.js";
-import { abortEvaluationSchema, deleteCellSchema, getCellOutputSchema, insertCellSchema, listCellsSchema, modifyCellSchema, noArgsSchema, readArtifactSchema, readCellSchema, runCellSchema, selectNotebookSchema, saveNotebookSchema, symbolLookupSchema, } from "./toolSchemas.js";
+import { abortEvaluationSchema, deleteCellSchema, getCellOutputSchema, insertCellSchema, killKernelSchema, listCellsSchema, modifyCellSchema, noArgsSchema, readArtifactSchema, readCellSchema, restartKernelSchema, runCellSchema, selectNotebookSchema, saveNotebookSchema, symbolLookupSchema, } from "./toolSchemas.js";
 import { INSERT_ANCHOR_GUIDANCE, notebookToolDescription } from "./descriptions.js";
 import { toolFailure, toolSuccess, withToolErrors } from "./toolResults.js";
 function assertLiveAgent(state) {
@@ -141,6 +141,22 @@ const queuedNotebookTools = [
         timeoutMs: () => DEFAULT_TIMEOUTS_MS.mutation,
         requiresExplicitTarget: true,
     },
+    {
+        name: "mma_kill_kernel",
+        summary: "Quit the Wolfram kernel for a notebook. The control agent kernel is protected and cannot be killed.",
+        schema: killKernelSchema.shape,
+        permission: "RunCell",
+        timeoutMs: () => DEFAULT_TIMEOUTS_MS.mutation,
+        requiresExplicitTarget: true,
+    },
+    {
+        name: "mma_restart_kernel",
+        summary: "Restart the Wolfram kernel for a notebook so it can evaluate cells again.",
+        schema: restartKernelSchema.shape,
+        permission: "RunCell",
+        timeoutMs: () => DEFAULT_TIMEOUTS_MS.mutation,
+        requiresExplicitTarget: true,
+    },
     {
         name: "mma_get_cell_output",
         summary: "Read output and messages for one Mathematica notebook cell, refreshing completed run status when observed.",

package/dist/src/mcp/prompts.js

@@ -12,6 +12,8 @@ const TOOL_GUIDE = [
     ["mma_delete_cell", "Delete an existing cell."],
     ["mma_run_cell", "Evaluate one cell and wait for completion or timeout."],
     ["mma_abort_evaluation", "Abort a running notebook evaluation."],
+    ["mma_kill_kernel", "Quit the Wolfram kernel for a notebook (control agent kernel is protected)."],
+    ["mma_restart_kernel", "Restart the Wolfram kernel for a notebook so it can evaluate cells again."],
     ["mma_get_cell_output", "Read output and messages produced by one cell; this may refresh completed run status."],
     ["mma_read_artifact", "Read large output or message artifacts by byte page; ids may become stale after notebook edits or reruns."],
     ["mma_save_notebook", "Save the selected notebook when SaveNotebook permission is granted."],
@@ -33,7 +35,7 @@ export const MICA_AGENT_INSTRUCTIONS = [
     "Tools:",
     ...TOOL_GUIDE.map(([name, description]) => `- ${name}: ${description}`),
 ].join("\n");
-export function createMicaMcpServer(name, version = "1.0.5") {
+export function createMicaMcpServer(name, version = "1.1.0") {
     return new McpServer({ name, version }, { instructions: MICA_AGENT_INSTRUCTIONS });
 }
 export function registerMicaPrompts(server) {

package/dist/src/mcp/toolSchemas.js

@@ -38,6 +38,12 @@ export const runCellSchema = z.object({
 export const abortEvaluationSchema = z.object({
     ...notebookSelectorFields
 }).strict();
+export const killKernelSchema = z.object({
+    ...notebookSelectorFields
+}).strict();
+export const restartKernelSchema = z.object({
+    ...notebookSelectorFields
+}).strict();
 export const getCellOutputSchema = z.object({
     ...notebookSelectorFields,
     cellId: z.string().min(1),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aliceshimada/mica",
-  "version": "1.0.5",
+  "version": "1.1.0",
   "description": "Local MCP bridge for controlling live Wolfram Desktop / Mathematica notebooks.",
   "type": "module",
   "repository": {

package/paclet/Kernel/MMAAgentBridge.wl

@@ -1407,9 +1407,39 @@ AbortEvaluationRequest[args_Association] := Module[{notebookId, record, notebook
     <|"status" -> "abort_requested", "cellId" -> runningCellId, "requestId" -> runningRequestId|>,
     <|"status" -> "idle"|>
   ]
-];
+];
+
+KillKernelRequest[args_Association] := Module[{notebookId, record, notebook, evaluatorName},
+  notebookId = TargetNotebookId[args];
+  If[!StringQ[notebookId] || StringLength[notebookId] == 0, Return[Failure["BAD_REQUEST", <|"message" -> "No notebook is selected."|>]]];
+  record = NotebookRecord[notebookId];
+  If[!AssociationQ[record] || record === <||>, Return[Failure["BAD_REQUEST", <|"message" -> "No notebook is selected."|>]]];
+  notebook = Lookup[record, "notebook", None];
+  If[Head[notebook] =!= NotebookObject, Return[Failure["BAD_REQUEST", <|"message" -> "Notebook is unavailable."|>]]];
+  evaluatorName = Quiet @ Check[CurrentValue[notebook, Evaluator], $ControlAgentEvaluatorName];
+  If[evaluatorName === $ControlAgentEvaluatorName,
+    Return[Failure["PROTECTED_EVALUATOR", <|"message" -> "Cannot kill the MICA control agent evaluator."|>]]
+  ];
+  Quiet @ Check[NotebookEvaluate[notebook, "Quit[]", InsertResults -> False], Null];
+  <|"status" -> "killed", "notebookId" -> notebookId|>
+];
+
+RestartKernelRequest[args_Association] := Module[{notebookId, record, notebook, evaluatorName},
+  notebookId = TargetNotebookId[args];
+  If[!StringQ[notebookId] || StringLength[notebookId] == 0, Return[Failure["BAD_REQUEST", <|"message" -> "No notebook is selected."|>]]];
+  record = NotebookRecord[notebookId];
+  If[!AssociationQ[record] || record === <||>, Return[Failure["BAD_REQUEST", <|"message" -> "No notebook is selected."|>]]];
+  notebook = Lookup[record, "notebook", None];
+  If[Head[notebook] =!= NotebookObject, Return[Failure["BAD_REQUEST", <|"message" -> "Notebook is unavailable."|>]]];
+  evaluatorName = Quiet @ Check[CurrentValue[notebook, Evaluator], $ControlAgentEvaluatorName];
+  If[evaluatorName === $ControlAgentEvaluatorName,
+    Return[Failure["PROTECTED_EVALUATOR", <|"message" -> "Cannot restart the MICA control agent evaluator."|>]]
+  ];
+  Quiet @ Check[NotebookEvaluate[notebook, "Null", InsertResults -> False], Null];
+  <|"status" -> "restarted", "notebookId" -> notebookId|>
+];
 
-SaveNotebookRequest[args_Association] := Module[{notebookId, record, notebook},
+SaveNotebookRequest[args_Association] := Module[{notebookId, record, notebook},
   If[Not @ ConfirmAction["SaveNotebook", "AI requests saving the notebook. Allow?"], Return[$Canceled]];
   notebookId = TargetNotebookId[args];
   If[!StringQ[notebookId] || StringLength[notebookId] == 0, Return[Failure["BAD_REQUEST", <|"message" -> "No notebook is selected."|>]]];
@@ -1777,7 +1807,9 @@ ExecuteRequest[request_Association] := Module[{requestId, tool, args, result},
           "mma_modify_cell", ModifyCellRequest[args],
           "mma_delete_cell", DeleteCellRequest[args],
           "mma_run_cell", RunCellRequest[args],
-          "mma_abort_evaluation", AbortEvaluationRequest[args],
+          "mma_abort_evaluation", AbortEvaluationRequest[args],
+          "mma_kill_kernel", KillKernelRequest[args],
+          "mma_restart_kernel", RestartKernelRequest[args],
           "mma_get_cell_output", GetCellOutputById[args],
           "mma_read_artifact", ReadArtifactById[args],
           "mma_save_notebook", SaveNotebookRequest[args],