reasonix 0.4.5 → 0.4.9

package/dist/cli/index.js

@@ -96,8 +96,8 @@ function computeWait(attempt, initial, cap, retryAfter) {
 }
 function sleep(ms, signal) {
   if (ms <= 0) return Promise.resolve();
-  return new Promise((resolve4, reject) => {
-    const timer = setTimeout(resolve4, ms);
+  return new Promise((resolve5, reject) => {
+    const timer = setTimeout(resolve5, ms);
     if (signal) {
       const onAbort = () => {
         clearTimeout(timer);
@@ -563,7 +563,7 @@ var ToolRegistry = class {
       }
     }));
   }
-  async dispatch(name, argumentsRaw) {
+  async dispatch(name, argumentsRaw, opts = {}) {
     const tool = this._tools.get(name);
     if (!tool) {
       return JSON.stringify({ error: `unknown tool: ${name}` });
@@ -580,7 +580,7 @@ var ToolRegistry = class {
       args = nestArguments(args);
     }
     try {
-      const result = await tool.fn(args);
+      const result = await tool.fn(args, { signal: opts.signal });
       return typeof result === "string" ? result : JSON.stringify(result);
     } catch (err) {
       return JSON.stringify({
@@ -614,8 +614,20 @@ async function bridgeMcpTools(client, opts = {}) {
       name: registeredName,
       description: mcpTool.description ?? "",
       parameters: mcpTool.inputSchema,
-      fn: async (args) => {
-        const toolResult = await client.callTool(mcpTool.name, args);
+      fn: async (args, ctx) => {
+        const toolResult = await client.callTool(mcpTool.name, args, {
+          // Forward server-side progress frames to the bridge caller,
+          // tagged with the registered name so multi-server UIs can
+          // disambiguate. No-op when `onProgress` isn't configured —
+          // the client then also omits the _meta.progressToken and
+          // the server won't emit progress.
+          onProgress: opts.onProgress ? (info) => opts.onProgress({ toolName: registeredName, ...info }) : void 0,
+          // Thread the tool-dispatch AbortSignal all the way down to
+          // the MCP request so Esc truly cancels in flight — the
+          // client will emit notifications/cancelled AND reject the
+          // pending promise immediately, no "wait for subprocess".
+          signal: ctx?.signal
+        });
         return flattenMcpResult(toolResult, { maxChars: maxResultChars });
       }
     });
@@ -1204,11 +1216,13 @@ var CacheFirstLoop = class {
   _turn = 0;
   _streamPreference;
   /**
-   * Set by {@link abort} to short-circuit the tool-call loop after the
-   * current iteration. Reset at the start of each `step()` so an Esc
-   * during one turn doesn't poison the next.
+   * AbortController per active turn. Threaded through the DeepSeek
+   * HTTP calls AND every tool dispatch so Esc actually cancels the
+   * in-flight network/subprocess work — not "we'll get to it after
+   * the current call finishes." Re-created at the start of each
+   * `step()` (the prior turn's signal has already fired).
    */
-  _aborted = false;
+  _turnAbort = new AbortController();
   constructor(opts) {
     this.client = opts.client;
     this.prefix = opts.prefix;
@@ -1321,14 +1335,15 @@ var CacheFirstLoop = class {
     return msgs;
   }
   /**
-   * Signal the currently-running {@link step} that the user wants to
-   * stop exploring. Takes effect at the next iteration boundary — if a
-   * tool call is mid-flight it will be allowed to finish, then the
-   * loop diverts to the forced-summary path so the user gets an
-   * answer instead of a cliff. Called by the TUI on Esc.
+   * Signal the currently-running {@link step} to stop **now**. Cancels
+   * the in-flight network request (DeepSeek HTTP/SSE) AND any tool call
+   * currently dispatching (MCP `notifications/cancelled` + promise
+   * reject). The loop itself also sees `signal.aborted` at each
+   * iteration boundary and exits quickly instead of looping again.
+   * Called by the TUI on Esc.
    */
   abort() {
-    this._aborted = true;
+    this._turnAbort.abort();
   }
   /**
    * Drop everything in the log after (and including) the most recent
@@ -1366,13 +1381,14 @@ var CacheFirstLoop = class {
   async *step(userInput) {
     this._turn++;
     this.scratch.reset();
-    this._aborted = false;
+    this._turnAbort = new AbortController();
+    const signal = this._turnAbort.signal;
     let pendingUser = userInput;
     const toolSpecs = this.prefix.tools();
     const warnAt = Math.max(1, Math.floor(this.maxToolIters * 0.7));
     let warnedForIterBudget = false;
     for (let iter = 0; iter < this.maxToolIters; iter++) {
-      if (this._aborted) {
+      if (signal.aborted) {
         yield {
           turn: this._turn,
           role: "warning",
@@ -1435,7 +1451,8 @@ var CacheFirstLoop = class {
             {
               model: this.model,
               messages,
-              tools: toolSpecs.length ? toolSpecs : void 0
+              tools: toolSpecs.length ? toolSpecs : void 0,
+              signal
             },
             {
               ...this.branchOptions,
@@ -1444,8 +1461,8 @@ var CacheFirstLoop = class {
             }
           );
           for (let k = 0; k < budget; k++) {
-            const sample = queue.shift() ?? await new Promise((resolve4) => {
-              waiter = resolve4;
+            const sample = queue.shift() ?? await new Promise((resolve5) => {
+              waiter = resolve5;
             });
             yield {
               turn: this._turn,
@@ -1485,7 +1502,8 @@ var CacheFirstLoop = class {
           for await (const chunk of this.client.stream({
             model: this.model,
             messages,
-            tools: toolSpecs.length ? toolSpecs : void 0
+            tools: toolSpecs.length ? toolSpecs : void 0,
+            signal
           })) {
             if (chunk.contentDelta) {
               assistantContent += chunk.contentDelta;
@@ -1524,7 +1542,8 @@ var CacheFirstLoop = class {
           const resp = await this.client.chat({
             model: this.model,
             messages,
-            tools: toolSpecs.length ? toolSpecs : void 0
+            tools: toolSpecs.length ? toolSpecs : void 0,
+            signal
           });
           assistantContent = resp.content;
           reasoningContent = resp.reasoningContent ?? "";
@@ -1588,7 +1607,7 @@ var CacheFirstLoop = class {
           toolName: name,
           toolArgs: args
         };
-        const result = await this.tools.dispatch(name, args);
+        const result = await this.tools.dispatch(name, args, { signal });
         this.appendAndPersist({
           role: "tool",
           tool_call_id: call.id ?? "",
@@ -1615,8 +1634,9 @@ var CacheFirstLoop = class {
       });
       const resp = await this.client.chat({
         model: this.model,
-        messages
+        messages,
         // no tools → model is forced to answer in text
+        signal: this._turnAbort.signal
       });
       const rawContent = resp.content?.trim() ?? "";
       const cleaned = stripHallucinatedToolMarkup(rawContent);
@@ -1712,13 +1732,298 @@ function formatLoopError(err) {
   return msg;
 }
 
+// src/tools/filesystem.ts
+import { promises as fs } from "fs";
+import * as pathMod from "path";
+var DEFAULT_MAX_READ_BYTES = 2 * 1024 * 1024;
+var DEFAULT_MAX_LIST_BYTES = 256 * 1024;
+function registerFilesystemTools(registry, opts) {
+  const rootDir = pathMod.resolve(opts.rootDir);
+  const allowWriting = opts.allowWriting !== false;
+  const maxReadBytes = opts.maxReadBytes ?? DEFAULT_MAX_READ_BYTES;
+  const maxListBytes = opts.maxListBytes ?? DEFAULT_MAX_LIST_BYTES;
+  const safePath = (raw) => {
+    if (typeof raw !== "string" || raw.length === 0) {
+      throw new Error("path must be a non-empty string");
+    }
+    const resolved = pathMod.resolve(rootDir, raw);
+    const normRoot = pathMod.resolve(rootDir);
+    const rel = pathMod.relative(normRoot, resolved);
+    if (rel.startsWith("..") || pathMod.isAbsolute(rel)) {
+      throw new Error(`path escapes sandbox root (${normRoot}): ${raw}`);
+    }
+    return resolved;
+  };
+  registry.register({
+    name: "read_file",
+    description: "Read a file under the sandbox root. Returns the full contents (truncated with a notice if larger than the per-call cap). Paths may be relative to the root or absolute-under-root.",
+    parameters: {
+      type: "object",
+      properties: {
+        path: { type: "string", description: "Path to read (relative to rootDir or absolute)." },
+        head: { type: "integer", description: "If set, return only the first N lines." },
+        tail: { type: "integer", description: "If set, return only the last N lines." }
+      },
+      required: ["path"]
+    },
+    fn: async (args) => {
+      const abs = safePath(args.path);
+      const stat = await fs.stat(abs);
+      if (stat.isDirectory()) {
+        throw new Error(`not a file: ${args.path} (it's a directory)`);
+      }
+      const raw = await fs.readFile(abs);
+      if (raw.length > maxReadBytes) {
+        const head = raw.slice(0, maxReadBytes).toString("utf8");
+        return `${head}
+
+[\u2026truncated ${raw.length - maxReadBytes} bytes \u2014 file is ${raw.length} B, cap ${maxReadBytes} B. Retry with head/tail for targeted view.]`;
+      }
+      const text = raw.toString("utf8");
+      if (typeof args.head === "number" && args.head > 0) {
+        return text.split(/\r?\n/).slice(0, args.head).join("\n");
+      }
+      if (typeof args.tail === "number" && args.tail > 0) {
+        let lines = text.split(/\r?\n/);
+        if (lines.length > 0 && lines[lines.length - 1] === "") lines = lines.slice(0, -1);
+        return lines.slice(Math.max(0, lines.length - args.tail)).join("\n");
+      }
+      return text;
+    }
+  });
+  registry.register({
+    name: "list_directory",
+    description: "List entries in a directory under the sandbox root. Returns one line per entry, marking directories with a trailing slash. Not recursive \u2014 use directory_tree for that.",
+    parameters: {
+      type: "object",
+      properties: {
+        path: { type: "string", description: "Directory to list (default: root)." }
+      }
+    },
+    fn: async (args) => {
+      const abs = safePath(args.path ?? ".");
+      const entries = await fs.readdir(abs, { withFileTypes: true });
+      const lines = [];
+      for (const e of entries.sort((a, b) => a.name.localeCompare(b.name))) {
+        lines.push(e.isDirectory() ? `${e.name}/` : e.name);
+      }
+      return lines.join("\n") || "(empty directory)";
+    }
+  });
+  registry.register({
+    name: "directory_tree",
+    description: "Recursively list entries in a directory. Shows indented tree structure with directories marked '/'. Caps output so a huge tree doesn't drown the context.",
+    parameters: {
+      type: "object",
+      properties: {
+        path: { type: "string", description: "Root of the tree (default: sandbox root)." },
+        maxDepth: { type: "integer", description: "Max recursion depth (default 4)." }
+      }
+    },
+    fn: async (args) => {
+      const startAbs = safePath(args.path ?? ".");
+      const maxDepth = typeof args.maxDepth === "number" ? args.maxDepth : 4;
+      const lines = [];
+      let totalBytes = 0;
+      let truncated = false;
+      const walk2 = async (dir, depth) => {
+        if (truncated) return;
+        if (depth > maxDepth) return;
+        let entries;
+        try {
+          entries = await fs.readdir(dir, { withFileTypes: true });
+        } catch {
+          return;
+        }
+        entries.sort((a, b) => a.name.localeCompare(b.name));
+        for (const e of entries) {
+          if (truncated) return;
+          const indent = "  ".repeat(depth);
+          const line = e.isDirectory() ? `${indent}${e.name}/` : `${indent}${e.name}`;
+          totalBytes += line.length + 1;
+          if (totalBytes > maxListBytes) {
+            lines.push(`  [\u2026 tree truncated at ${maxListBytes} bytes \u2026]`);
+            truncated = true;
+            return;
+          }
+          lines.push(line);
+          if (e.isDirectory()) {
+            await walk2(pathMod.join(dir, e.name), depth + 1);
+          }
+        }
+      };
+      await walk2(startAbs, 0);
+      return lines.join("\n") || "(empty tree)";
+    }
+  });
+  registry.register({
+    name: "search_files",
+    description: "Find files whose NAME matches a substring or regex. Case-insensitive. Walks the directory recursively under the sandbox root. Returns one path per line.",
+    parameters: {
+      type: "object",
+      properties: {
+        path: { type: "string", description: "Directory to start the search at (default: root)." },
+        pattern: {
+          type: "string",
+          description: "Substring (or regex) to match against filenames."
+        }
+      },
+      required: ["pattern"]
+    },
+    fn: async (args) => {
+      const startAbs = safePath(args.path ?? ".");
+      const needle = args.pattern.toLowerCase();
+      let re = null;
+      try {
+        re = new RegExp(args.pattern, "i");
+      } catch {
+        re = null;
+      }
+      const matches = [];
+      let totalBytes = 0;
+      const walk2 = async (dir) => {
+        let entries;
+        try {
+          entries = await fs.readdir(dir, { withFileTypes: true });
+        } catch {
+          return;
+        }
+        for (const e of entries) {
+          const full = pathMod.join(dir, e.name);
+          const lower = e.name.toLowerCase();
+          const hit = re ? re.test(e.name) : lower.includes(needle);
+          if (hit) {
+            const rel = pathMod.relative(rootDir, full);
+            if (totalBytes + rel.length + 1 > maxListBytes) {
+              matches.push("[\u2026 search truncated \u2014 refine pattern \u2026]");
+              return;
+            }
+            matches.push(rel);
+            totalBytes += rel.length + 1;
+          }
+          if (e.isDirectory()) await walk2(full);
+        }
+      };
+      await walk2(startAbs);
+      return matches.length === 0 ? "(no matches)" : matches.join("\n");
+    }
+  });
+  registry.register({
+    name: "get_file_info",
+    description: "Stat a path under the sandbox root. Returns type (file|directory|symlink), size in bytes, mtime in ISO-8601.",
+    parameters: {
+      type: "object",
+      properties: {
+        path: { type: "string" }
+      },
+      required: ["path"]
+    },
+    fn: async (args) => {
+      const abs = safePath(args.path);
+      const st = await fs.lstat(abs);
+      const type = st.isDirectory() ? "directory" : st.isSymbolicLink() ? "symlink" : "file";
+      return JSON.stringify({
+        type,
+        size: st.size,
+        mtime: st.mtime.toISOString()
+      });
+    }
+  });
+  if (!allowWriting) return registry;
+  registry.register({
+    name: "write_file",
+    description: "Create or overwrite a file under the sandbox root with the given content. Parent directories are created as needed.",
+    parameters: {
+      type: "object",
+      properties: {
+        path: { type: "string" },
+        content: { type: "string" }
+      },
+      required: ["path", "content"]
+    },
+    fn: async (args) => {
+      const abs = safePath(args.path);
+      await fs.mkdir(pathMod.dirname(abs), { recursive: true });
+      await fs.writeFile(abs, args.content, "utf8");
+      return `wrote ${args.content.length} chars to ${pathMod.relative(rootDir, abs)}`;
+    }
+  });
+  registry.register({
+    name: "edit_file",
+    description: "Apply a SEARCH/REPLACE edit to an existing file. `search` must match exactly (whitespace sensitive) \u2014 no regex. The match must be unique in the file; otherwise the edit is refused to avoid surprise rewrites. This flat-string shape replaces the `{oldText, newText}[]` JSON array form that previously triggered R1 DSML hallucinations.",
+    parameters: {
+      type: "object",
+      properties: {
+        path: { type: "string" },
+        search: { type: "string", description: "Exact text to find (must be unique)." },
+        replace: { type: "string", description: "Text to substitute in place of `search`." }
+      },
+      required: ["path", "search", "replace"]
+    },
+    fn: async (args) => {
+      const abs = safePath(args.path);
+      const before = await fs.readFile(abs, "utf8");
+      if (args.search.length === 0) {
+        throw new Error("edit_file: search cannot be empty");
+      }
+      const firstIdx = before.indexOf(args.search);
+      if (firstIdx < 0) {
+        throw new Error(`edit_file: search text not found in ${pathMod.relative(rootDir, abs)}`);
+      }
+      const nextIdx = before.indexOf(args.search, firstIdx + 1);
+      if (nextIdx >= 0) {
+        throw new Error(
+          `edit_file: search text appears multiple times in ${pathMod.relative(rootDir, abs)} \u2014 include more context to disambiguate`
+        );
+      }
+      const after = before.slice(0, firstIdx) + args.replace + before.slice(firstIdx + args.search.length);
+      await fs.writeFile(abs, after, "utf8");
+      return `edited ${pathMod.relative(rootDir, abs)} (${args.search.length}\u2192${args.replace.length} chars)`;
+    }
+  });
+  registry.register({
+    name: "create_directory",
+    description: "Create a directory (and any missing parents) under the sandbox root.",
+    parameters: {
+      type: "object",
+      properties: { path: { type: "string" } },
+      required: ["path"]
+    },
+    fn: async (args) => {
+      const abs = safePath(args.path);
+      await fs.mkdir(abs, { recursive: true });
+      return `created ${pathMod.relative(rootDir, abs)}/`;
+    }
+  });
+  registry.register({
+    name: "move_file",
+    description: "Rename/move a file or directory under the sandbox root.",
+    parameters: {
+      type: "object",
+      properties: {
+        source: { type: "string" },
+        destination: { type: "string" }
+      },
+      required: ["source", "destination"]
+    },
+    fn: async (args) => {
+      const src = safePath(args.source);
+      const dst = safePath(args.destination);
+      await fs.mkdir(pathMod.dirname(dst), { recursive: true });
+      await fs.rename(src, dst);
+      return `moved ${pathMod.relative(rootDir, src)} \u2192 ${pathMod.relative(rootDir, dst)}`;
+    }
+  });
+  return registry;
+}
+
 // src/env.ts
 import { readFileSync as readFileSync3 } from "fs";
-import { resolve } from "path";
+import { resolve as resolve2 } from "path";
 function loadDotenv(path = ".env") {
   let raw;
   try {
-    raw = readFileSync3(resolve(process.cwd(), path), "utf8");
+    raw = readFileSync3(resolve2(process.cwd(), path), "utf8");
   } catch {
     return;
   }
@@ -2276,6 +2581,16 @@ var McpClient = class {
   readerStarted = false;
   initialized = false;
   _serverCapabilities = {};
+  _serverInfo = { name: "", version: "" };
+  _protocolVersion = "";
+  _instructions;
+  // Progress-token → handler for notifications/progress routing. Tokens
+  // are minted per call when the caller supplies an onProgress
+  // callback; cleared when the final response lands (or the pending
+  // request rejects). No leaks — the `try/finally` in callTool
+  // guarantees cleanup even on timeout.
+  progressHandlers = /* @__PURE__ */ new Map();
+  nextProgressToken = 1;
   constructor(opts) {
     this.transport = opts.transport;
     this.clientInfo = opts.clientInfo ?? { name: "reasonix", version: "0.3.0-dev" };
@@ -2285,6 +2600,18 @@ var McpClient = class {
   get serverCapabilities() {
     return this._serverCapabilities;
   }
+  /** Server's self-reported name + version, available after initialize(). */
+  get serverInfo() {
+    return this._serverInfo;
+  }
+  /** Protocol version the server agreed to during the handshake. */
+  get protocolVersion() {
+    return this._protocolVersion;
+  }
+  /** Optional free-form instructions the server provides at handshake. */
+  get serverInstructions() {
+    return this._instructions;
+  }
   /**
    * Complete the initialize → initialized handshake. Must be called
    * before any other method (otherwise compliant servers reject).
@@ -2303,6 +2630,9 @@ var McpClient = class {
       clientInfo: this.clientInfo
     });
     this._serverCapabilities = result.capabilities ?? {};
+    this._serverInfo = result.serverInfo ?? { name: "", version: "" };
+    this._protocolVersion = result.protocolVersion ?? "";
+    this._instructions = result.instructions;
     await this.transport.send({
       jsonrpc: "2.0",
       method: "notifications/initialized"
@@ -2315,13 +2645,36 @@ var McpClient = class {
     this.assertInitialized();
     return this.request("tools/list", {});
   }
-  /** Invoke a tool by name. Returns the raw MCP result (caller unwraps content). */
-  async callTool(name, args) {
+  /**
+   * Invoke a tool by name. When `onProgress` is supplied, attaches a
+   * fresh progress token so the server can send incremental updates
+   * via `notifications/progress`; they're routed to the callback until
+   * the final response arrives (or the request times out, in which
+   * case the handler is simply dropped — no extra notification).
+   *
+   * When `signal` is supplied, aborting it:
+   *   1) fires `notifications/cancelled` to the server (MCP 2024-11-05
+   *      way of saying "forget this request, I no longer care"), and
+   *   2) rejects the pending promise immediately with an AbortError,
+   *      so the caller doesn't have to wait for the subprocess to
+   *      finish its in-flight file write or network request.
+   * The server MAY still emit a late response; we drop it in dispatch
+   * since the request id is gone from `pending`.
+   */
+  async callTool(name, args, opts = {}) {
     this.assertInitialized();
-    return this.request("tools/call", {
-      name,
-      arguments: args ?? {}
-    });
+    const params = { name, arguments: args ?? {} };
+    let token;
+    if (opts.onProgress) {
+      token = this.nextProgressToken++;
+      this.progressHandlers.set(token, opts.onProgress);
+      params._meta = { progressToken: token };
+    }
+    try {
+      return await this.request("tools/call", params, opts.signal);
+    } finally {
+      if (token !== void 0) this.progressHandlers.delete(token);
+    }
   }
   /**
    * List resources the server exposes. Supports a pagination cursor;
@@ -2375,24 +2728,56 @@ var McpClient = class {
   assertInitialized() {
     if (!this.initialized) throw new Error("MCP client not initialized \u2014 call initialize() first");
   }
-  async request(method, params) {
+  async request(method, params, signal) {
     const id = this.nextId++;
     const frame = { jsonrpc: "2.0", id, method, params };
-    const promise = new Promise((resolve4, reject) => {
+    let abortHandler = null;
+    const promise = new Promise((resolve5, reject) => {
       const timeout = setTimeout(() => {
         this.pending.delete(id);
+        if (abortHandler && signal) signal.removeEventListener("abort", abortHandler);
         reject(
           new Error(`MCP request ${method} (id=${id}) timed out after ${this.requestTimeoutMs}ms`)
         );
       }, this.requestTimeoutMs);
       this.pending.set(id, {
-        resolve: resolve4,
+        resolve: resolve5,
         reject,
         timeout
       });
+      if (signal) {
+        if (signal.aborted) {
+          this.pending.delete(id);
+          clearTimeout(timeout);
+          reject(new Error(`MCP request ${method} (id=${id}) aborted before send`));
+          return;
+        }
+        abortHandler = () => {
+          this.pending.delete(id);
+          clearTimeout(timeout);
+          void this.transport.send({
+            jsonrpc: "2.0",
+            method: "notifications/cancelled",
+            params: { requestId: id, reason: "aborted by user" }
+          }).catch(() => {
+          });
+          reject(new Error(`MCP request ${method} (id=${id}) aborted by user`));
+        };
+        signal.addEventListener("abort", abortHandler, { once: true });
+      }
     });
-    await this.transport.send(frame);
-    return promise;
+    try {
+      await this.transport.send(frame);
+    } catch (err) {
+      this.pending.delete(id);
+      if (abortHandler && signal) signal.removeEventListener("abort", abortHandler);
+      throw err;
+    }
+    try {
+      return await promise;
+    } finally {
+      if (abortHandler && signal) signal.removeEventListener("abort", abortHandler);
+    }
   }
   startReaderIfNeeded() {
     if (this.readerStarted) return;
@@ -2413,7 +2798,16 @@ var McpClient = class {
     }
   }
   dispatch(msg) {
-    if (!("id" in msg) || msg.id === null || msg.id === void 0) return;
+    if (!("id" in msg) || msg.id === null || msg.id === void 0) {
+      if ("method" in msg && msg.method === "notifications/progress") {
+        const p = msg.params;
+        if (!p || p.progressToken === void 0) return;
+        const handler = this.progressHandlers.get(p.progressToken);
+        if (!handler) return;
+        handler({ progress: p.progress, total: p.total, message: p.message });
+      }
+      return;
+    }
     if (!("result" in msg) && !("error" in msg)) return;
     const pending = this.pending.get(msg.id);
     if (!pending) return;
@@ -2470,12 +2864,12 @@ var StdioTransport = class {
   }
   async send(message) {
     if (this.closed) throw new Error("MCP transport is closed");
-    return new Promise((resolve4, reject) => {
+    return new Promise((resolve5, reject) => {
       const line = `${JSON.stringify(message)}
 `;
       this.child.stdin.write(line, "utf8", (err) => {
         if (err) reject(err);
-        else resolve4();
+        else resolve5();
       });
     });
   }
@@ -2486,8 +2880,8 @@ var StdioTransport = class {
         continue;
       }
       if (this.closed) return;
-      const next = await new Promise((resolve4) => {
-        this.waiters.push(resolve4);
+      const next = await new Promise((resolve5) => {
+        this.waiters.push(resolve5);
       });
       if (next === null) return;
       yield next;
@@ -2553,8 +2947,8 @@ var SseTransport = class {
   constructor(opts) {
     this.url = opts.url;
     this.headers = opts.headers ?? {};
-    this.endpointReady = new Promise((resolve4, reject) => {
-      this.resolveEndpoint = resolve4;
+    this.endpointReady = new Promise((resolve5, reject) => {
+      this.resolveEndpoint = resolve5;
       this.rejectEndpoint = reject;
     });
     this.endpointReady.catch(() => void 0);
@@ -2581,8 +2975,8 @@ var SseTransport = class {
         continue;
       }
       if (this.closed) return;
-      const next = await new Promise((resolve4) => {
-        this.waiters.push(resolve4);
+      const next = await new Promise((resolve5) => {
+        this.waiters.push(resolve5);
       });
       if (next === null) return;
       yield next;
@@ -2750,9 +3144,39 @@ function parseMcpSpec(input) {
   return { transport: "stdio", name, command, args };
 }
 
+// src/mcp/inspect.ts
+async function inspectMcpServer(client) {
+  const tools = await trySection(() => client.listTools().then((r) => r.tools));
+  const resources = await trySection(
+    () => client.listResources().then((r) => r.resources)
+  );
+  const prompts = await trySection(() => client.listPrompts().then((r) => r.prompts));
+  return {
+    protocolVersion: client.protocolVersion || "(unknown)",
+    serverInfo: client.serverInfo,
+    capabilities: client.serverCapabilities ?? {},
+    instructions: client.serverInstructions,
+    tools,
+    resources,
+    prompts
+  };
+}
+async function trySection(load) {
+  try {
+    const items = await load();
+    return { supported: true, items };
+  } catch (err) {
+    const msg = err.message ?? String(err);
+    if (/-32601/.test(msg) || /method not found/i.test(msg)) {
+      return { supported: false, reason: "method not found (-32601)" };
+    }
+    return { supported: false, reason: msg };
+  }
+}
+
 // src/code/edit-blocks.ts
 import { existsSync as existsSync2, mkdirSync as mkdirSync3, readFileSync as readFileSync5, unlinkSync as unlinkSync2, writeFileSync as writeFileSync3 } from "fs";
-import { dirname as dirname3, resolve as resolve2 } from "path";
+import { dirname as dirname4, resolve as resolve3 } from "path";
 var BLOCK_RE = /^(\S[^\n]*)\n<{7} SEARCH\n([\s\S]*?)\n?={7}\n([\s\S]*?)\n?>{7} REPLACE/gm;
 function parseEditBlocks(text) {
   const out = [];
@@ -2770,8 +3194,8 @@ function parseEditBlocks(text) {
   return out;
 }
 function applyEditBlock(block, rootDir) {
-  const absRoot = resolve2(rootDir);
-  const absTarget = resolve2(absRoot, block.path);
+  const absRoot = resolve3(rootDir);
+  const absTarget = resolve3(absRoot, block.path);
   if (absTarget !== absRoot && !absTarget.startsWith(`${absRoot}${sep()}`)) {
     return {
       path: block.path,
@@ -2790,7 +3214,7 @@ function applyEditBlock(block, rootDir) {
           message: "file does not exist; to create it, use an empty SEARCH block"
         };
       }
-      mkdirSync3(dirname3(absTarget), { recursive: true });
+      mkdirSync3(dirname4(absTarget), { recursive: true });
       writeFileSync3(absTarget, block.replace, "utf8");
       return { path: block.path, status: "created" };
     }
@@ -2821,13 +3245,13 @@ function applyEditBlocks(blocks, rootDir) {
   return blocks.map((b) => applyEditBlock(b, rootDir));
 }
 function snapshotBeforeEdits(blocks, rootDir) {
-  const absRoot = resolve2(rootDir);
+  const absRoot = resolve3(rootDir);
   const seen = /* @__PURE__ */ new Set();
   const snapshots = [];
   for (const b of blocks) {
     if (seen.has(b.path)) continue;
     seen.add(b.path);
-    const abs = resolve2(absRoot, b.path);
+    const abs = resolve3(absRoot, b.path);
     if (!existsSync2(abs)) {
       snapshots.push({ path: b.path, prevContent: null });
       continue;
@@ -2841,9 +3265,9 @@ function snapshotBeforeEdits(blocks, rootDir) {
   return snapshots;
 }
 function restoreSnapshots(snapshots, rootDir) {
-  const absRoot = resolve2(rootDir);
+  const absRoot = resolve3(rootDir);
   return snapshots.map((snap) => {
-    const abs = resolve2(absRoot, snap.path);
+    const abs = resolve3(absRoot, snap.path);
     if (abs !== absRoot && !abs.startsWith(`${absRoot}${sep()}`)) {
       return {
         path: snap.path,
@@ -2880,11 +3304,11 @@ var VERSION = "0.4.3";
 
 // src/cli/commands/chat.tsx
 import { render } from "ink";
-import React8, { useState as useState4 } from "react";
+import React9, { useState as useState5 } from "react";
 
 // src/cli/ui/App.tsx
-import { Box as Box6, Static, Text as Text6, useApp, useInput } from "ink";
-import React6, { useCallback, useEffect as useEffect2, useMemo, useRef, useState as useState2 } from "react";
+import { Box as Box7, Static, Text as Text7, useApp, useInput as useInput2 } from "ink";
+import React7, { useCallback, useEffect as useEffect3, useMemo, useRef, useState as useState3 } from "react";
 
 // src/cli/ui/EventLog.tsx
 import { Box as Box3, Text as Text3 } from "ink";
@@ -3223,9 +3647,44 @@ function truncate2(s, max) {
 }
 
 // src/cli/ui/PromptInput.tsx
-import { Box as Box4, Text as Text4 } from "ink";
-import TextInput from "ink-text-input";
-import React4 from "react";
+import { Box as Box4, Text as Text4, useInput } from "ink";
+import React4, { useEffect as useEffect2, useState as useState2 } from "react";
+
+// src/cli/ui/multiline-keys.ts
+var BACKSLASH_SUFFIX = /\\$/;
+function processMultilineKey(value, key) {
+  if (key.tab || key.upArrow || key.downArrow || key.leftArrow || key.rightArrow || key.escape || key.pageUp || key.pageDown) {
+    return { next: null, submit: false };
+  }
+  if (key.input === "\n" || key.ctrl && key.input === "j") {
+    return { next: `${value}
+`, submit: false };
+  }
+  if (key.return) {
+    if (key.shift) {
+      return { next: `${value}
+`, submit: false };
+    }
+    if (BACKSLASH_SUFFIX.test(value)) {
+      return { next: `${value.slice(0, -1)}
+`, submit: false };
+    }
+    return { next: null, submit: true, submitValue: value };
+  }
+  if (key.backspace || key.delete) {
+    if (value.length === 0) return { next: null, submit: false };
+    return { next: value.slice(0, -1), submit: false };
+  }
+  if ((key.ctrl || key.meta) && key.input.length === 0) {
+    return { next: null, submit: false };
+  }
+  if (key.input.length > 0 && !key.ctrl && !key.meta) {
+    return { next: value + key.input, submit: false };
+  }
+  return { next: null, submit: false };
+}
+
+// src/cli/ui/PromptInput.tsx
 function PromptInput({
   value,
   onChange,
@@ -3233,22 +3692,87 @@ function PromptInput({
   disabled,
   placeholder
 }) {
-  const effectivePlaceholder = disabled ? placeholder ?? "\u2026waiting for response\u2026" : placeholder ?? "type a message, or /command";
-  return /* @__PURE__ */ React4.createElement(Box4, { borderStyle: "round", borderColor: disabled ? "gray" : "cyan", paddingX: 1 }, /* @__PURE__ */ React4.createElement(Text4, { bold: true, color: disabled ? "gray" : "cyan" }, "you \u203A", " "), /* @__PURE__ */ React4.createElement(
-    TextInput,
-    {
-      value,
-      onChange,
-      onSubmit,
-      focus: !disabled,
-      placeholder: effectivePlaceholder
+  const [showCursor, setShowCursor] = useState2(true);
+  useEffect2(() => {
+    if (disabled) {
+      setShowCursor(false);
+      return;
     }
-  ));
+    setShowCursor(true);
+    const id = setInterval(() => setShowCursor((s) => !s), 500);
+    return () => clearInterval(id);
+  }, [disabled]);
+  useInput(
+    (input, key) => {
+      const keyEvent = {
+        input,
+        return: key.return,
+        shift: key.shift,
+        ctrl: key.ctrl,
+        meta: key.meta,
+        backspace: key.backspace,
+        delete: key.delete,
+        tab: key.tab,
+        upArrow: key.upArrow,
+        downArrow: key.downArrow,
+        leftArrow: key.leftArrow,
+        rightArrow: key.rightArrow,
+        escape: key.escape,
+        pageUp: key.pageUp,
+        pageDown: key.pageDown
+      };
+      const action = processMultilineKey(value, keyEvent);
+      if (action.next !== null) onChange(action.next);
+      if (action.submit) onSubmit(action.submitValue ?? value);
+    },
+    { isActive: !disabled }
+  );
+  const effectivePlaceholder = disabled ? placeholder ?? "\u2026waiting for response\u2026" : placeholder ?? "type a message, or /command \xB7 Ctrl+J for newline";
+  const lines = value.length > 0 ? value.split("\n") : [""];
+  const borderColor = disabled ? "gray" : "cyan";
+  return /* @__PURE__ */ React4.createElement(Box4, { borderStyle: "round", borderColor, paddingX: 1, flexDirection: "column" }, lines.map((line, i) => {
+    const isLast = i === lines.length - 1;
+    const isFirst = i === 0;
+    const showPlaceholder = isFirst && value.length === 0;
+    return (
+      // biome-ignore lint/suspicious/noArrayIndexKey: stable by construction — lines are derived from `value.split("\n")` and never reordered
+      /* @__PURE__ */ React4.createElement(Box4, { key: i }, isFirst ? /* @__PURE__ */ React4.createElement(Text4, { bold: true, color: borderColor }, "you \u203A", " ") : /* @__PURE__ */ React4.createElement(Text4, { dimColor: true }, "     "), showPlaceholder && isLast && !disabled ? /* @__PURE__ */ React4.createElement(Text4, { color: borderColor }, showCursor ? "\u258C" : " ") : null, showPlaceholder ? /* @__PURE__ */ React4.createElement(Text4, { dimColor: true }, effectivePlaceholder) : /* @__PURE__ */ React4.createElement(Text4, null, line), !showPlaceholder && isLast && !disabled ? /* @__PURE__ */ React4.createElement(Text4, { color: borderColor }, showCursor ? "\u258C" : " ") : null)
+    );
+  }));
 }
 
-// src/cli/ui/StatsPanel.tsx
+// src/cli/ui/SlashSuggestions.tsx
 import { Box as Box5, Text as Text5 } from "ink";
 import React5 from "react";
+function SlashSuggestions({
+  matches,
+  selectedIndex
+}) {
+  if (matches === null) return null;
+  if (matches.length === 0) {
+    return /* @__PURE__ */ React5.createElement(Box5, { paddingX: 1 }, /* @__PURE__ */ React5.createElement(Text5, { color: "yellow" }, "no slash command matches that prefix"), /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, " \u2014 Backspace to edit, or /help for the full list"));
+  }
+  const MAX = 8;
+  const total = matches.length;
+  const windowStart = total <= MAX ? 0 : Math.max(0, Math.min(selectedIndex - Math.floor(MAX / 2), total - MAX));
+  const shown = matches.slice(windowStart, windowStart + MAX);
+  const hiddenAbove = windowStart;
+  const hiddenBelow = total - windowStart - shown.length;
+  return /* @__PURE__ */ React5.createElement(Box5, { flexDirection: "column", paddingX: 1 }, hiddenAbove > 0 ? /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, " \u2191 ", hiddenAbove, " more above") : null, shown.map((spec, i) => /* @__PURE__ */ React5.createElement(SuggestionRow, { key: spec.cmd, spec, isSelected: windowStart + i === selectedIndex })), hiddenBelow > 0 ? /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, " \u2193 ", hiddenBelow, " more below") : null, /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, " \u2191/\u2193 navigate \xB7 Tab or Enter to pick"));
+}
+function SuggestionRow({ spec, isSelected }) {
+  const marker = isSelected ? "\u25B8" : " ";
+  const name = `/${spec.cmd}`;
+  const argsSuffix = spec.argsHint ? ` ${spec.argsHint}` : "";
+  if (isSelected) {
+    return /* @__PURE__ */ React5.createElement(Box5, null, /* @__PURE__ */ React5.createElement(Text5, { bold: true, color: "cyan" }, marker, " ", name.padEnd(12), argsSuffix.padEnd(16)), /* @__PURE__ */ React5.createElement(Text5, { color: "cyan" }, " ", spec.summary));
+  }
+  return /* @__PURE__ */ React5.createElement(Box5, null, /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, marker, " ", name.padEnd(12), argsSuffix.padEnd(16), " ", spec.summary));
+}
+
+// src/cli/ui/StatsPanel.tsx
+import { Box as Box6, Text as Text6 } from "ink";
+import React6 from "react";
 function StatsPanel({
   summary,
   model,
@@ -3262,7 +3786,7 @@ function StatsPanel({
   const ctxMax = DEEPSEEK_CONTEXT_TOKENS[model] ?? DEFAULT_CONTEXT_TOKENS;
   const ctxRatio = summary.lastPromptTokens / ctxMax;
   const ctxColor = ctxRatio >= 0.8 ? "red" : ctxRatio >= 0.5 ? "yellow" : void 0;
-  return /* @__PURE__ */ React5.createElement(Box5, { borderStyle: "round", borderColor: "cyan", flexDirection: "column", paddingX: 1 }, /* @__PURE__ */ React5.createElement(Box5, { justifyContent: "space-between" }, /* @__PURE__ */ React5.createElement(Text5, null, /* @__PURE__ */ React5.createElement(Text5, { color: "cyan", bold: true }, "Reasonix"), /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, " \xB7 model "), /* @__PURE__ */ React5.createElement(Text5, { color: "yellow" }, model), /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, " \xB7 prefix "), /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, prefixHash), harvestOn ? /* @__PURE__ */ React5.createElement(Text5, { color: "magenta" }, " \xB7 harvest") : null, branchOn ? /* @__PURE__ */ React5.createElement(Text5, { color: "blue" }, " \xB7 branch", branchBudget) : null), /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, "turns ", summary.turns, " \xB7 type /help")), /* @__PURE__ */ React5.createElement(Box5, { marginTop: 1, gap: 3 }, /* @__PURE__ */ React5.createElement(Text5, null, /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, "cache hit "), /* @__PURE__ */ React5.createElement(Text5, { color: hitColor, bold: true }, hitPct, "%")), /* @__PURE__ */ React5.createElement(Text5, null, /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, "cost "), /* @__PURE__ */ React5.createElement(Text5, { color: "green" }, "$", summary.totalCostUsd.toFixed(6))), /* @__PURE__ */ React5.createElement(Text5, null, /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, "vs Claude "), /* @__PURE__ */ React5.createElement(Text5, null, "$", summary.claudeEquivalentUsd.toFixed(6))), /* @__PURE__ */ React5.createElement(Text5, null, /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, "saving "), /* @__PURE__ */ React5.createElement(Text5, { color: "green", bold: true }, summary.savingsVsClaudePct.toFixed(1), "%")), summary.lastPromptTokens > 0 ? /* @__PURE__ */ React5.createElement(Text5, null, /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, "ctx "), /* @__PURE__ */ React5.createElement(Text5, { color: ctxColor, bold: ctxColor !== void 0 }, formatTokens(summary.lastPromptTokens), "/", formatTokens(ctxMax)), /* @__PURE__ */ React5.createElement(Text5, { dimColor: true }, " (", (ctxRatio * 100).toFixed(0), "%)"), ctxRatio >= 0.8 ? /* @__PURE__ */ React5.createElement(Text5, { color: "red", bold: true }, " ", "\xB7 /compact") : null) : null));
+  return /* @__PURE__ */ React6.createElement(Box6, { borderStyle: "round", borderColor: "cyan", flexDirection: "column", paddingX: 1 }, /* @__PURE__ */ React6.createElement(Box6, { justifyContent: "space-between" }, /* @__PURE__ */ React6.createElement(Text6, null, /* @__PURE__ */ React6.createElement(Text6, { color: "cyan", bold: true }, "Reasonix"), /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, " \xB7 model "), /* @__PURE__ */ React6.createElement(Text6, { color: "yellow" }, model), /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, " \xB7 prefix "), /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, prefixHash), harvestOn ? /* @__PURE__ */ React6.createElement(Text6, { color: "magenta" }, " \xB7 harvest") : null, branchOn ? /* @__PURE__ */ React6.createElement(Text6, { color: "blue" }, " \xB7 branch", branchBudget) : null), /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "turns ", summary.turns, " \xB7 type /help")), /* @__PURE__ */ React6.createElement(Box6, { marginTop: 1, gap: 3 }, /* @__PURE__ */ React6.createElement(Text6, null, /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "cache hit "), /* @__PURE__ */ React6.createElement(Text6, { color: hitColor, bold: true }, hitPct, "%")), /* @__PURE__ */ React6.createElement(Text6, null, /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "cost "), /* @__PURE__ */ React6.createElement(Text6, { color: "green" }, "$", summary.totalCostUsd.toFixed(6))), /* @__PURE__ */ React6.createElement(Text6, null, /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "vs Claude "), /* @__PURE__ */ React6.createElement(Text6, null, "$", summary.claudeEquivalentUsd.toFixed(6))), /* @__PURE__ */ React6.createElement(Text6, null, /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "saving "), /* @__PURE__ */ React6.createElement(Text6, { color: "green", bold: true }, summary.savingsVsClaudePct.toFixed(1), "%")), summary.lastPromptTokens > 0 ? /* @__PURE__ */ React6.createElement(Text6, null, /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "ctx "), /* @__PURE__ */ React6.createElement(Text6, { color: ctxColor, bold: ctxColor !== void 0 }, formatTokens(summary.lastPromptTokens), "/", formatTokens(ctxMax)), /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, " (", (ctxRatio * 100).toFixed(0), "%)"), ctxRatio >= 0.8 ? /* @__PURE__ */ React6.createElement(Text6, { color: "red", bold: true }, " ", "\xB7 /compact") : null) : null));
 }
 function formatTokens(n) {
   if (n < 1e3) return String(n);
@@ -3272,6 +3796,45 @@ function formatTokens(n) {
 
 // src/cli/ui/slash.ts
 import { spawnSync } from "child_process";
+var SLASH_COMMANDS = [
+  { cmd: "help", summary: "show the full command reference" },
+  { cmd: "status", summary: "current model, flags, context, session" },
+  {
+    cmd: "preset",
+    argsHint: "<fast|smart|max>",
+    summary: "one-tap model + harvest + branch bundle"
+  },
+  { cmd: "model", argsHint: "<id>", summary: "switch DeepSeek model id" },
+  { cmd: "harvest", argsHint: "[on|off]", summary: "toggle Pillar-2 plan-state extraction" },
+  { cmd: "branch", argsHint: "<N|off>", summary: "run N parallel samples per turn (N>=2)" },
+  { cmd: "mcp", summary: "list MCP servers + tools attached to this session" },
+  { cmd: "tool", argsHint: "[N]", summary: "dump full output of the Nth tool call (1=latest)" },
+  { cmd: "think", summary: "dump the last turn's full R1 reasoning (reasoner only)" },
+  { cmd: "retry", summary: "truncate & resend your last message (fresh sample)" },
+  { cmd: "compact", argsHint: "[cap]", summary: "shrink oversized tool results in the log" },
+  { cmd: "sessions", summary: "list saved sessions (current marked with \u25B8)" },
+  { cmd: "forget", summary: "delete the current session from disk" },
+  { cmd: "setup", summary: "reminds you to exit and run `reasonix setup`" },
+  { cmd: "clear", summary: "clear the visible scrollback (log + session kept)" },
+  { cmd: "exit", summary: "quit the TUI" },
+  // Code-mode only
+  { cmd: "apply", summary: "commit pending edit blocks to disk", contextual: "code" },
+  { cmd: "discard", summary: "drop pending edit blocks without writing", contextual: "code" },
+  { cmd: "undo", summary: "roll back the last applied edit batch", contextual: "code" },
+  {
+    cmd: "commit",
+    argsHint: '"msg"',
+    summary: "git add -A && git commit -m ...",
+    contextual: "code"
+  }
+];
+function suggestSlashCommands(prefix, codeMode = false) {
+  const p = prefix.toLowerCase();
+  return SLASH_COMMANDS.filter((c) => {
+    if (c.contextual === "code" && !codeMode) return false;
+    return c.cmd.startsWith(p);
+  });
+}
 function parseSlash(text) {
   if (!text.startsWith("/")) return null;
   const parts = text.slice(1).trim().split(/\s+/);
@@ -3323,13 +3886,34 @@ function handleSlash(cmd, args, loop, ctx = {}) {
         ].join("\n")
       };
     case "mcp": {
+      const servers = ctx.mcpServers ?? [];
       const specs = ctx.mcpSpecs ?? [];
       const toolSpecs = loop.prefix.toolSpecs ?? [];
-      if (specs.length === 0 && toolSpecs.length === 0) {
+      if (servers.length === 0 && specs.length === 0 && toolSpecs.length === 0) {
         return {
           info: 'no MCP servers attached. Run `reasonix setup` to pick some, or launch with --mcp "<spec>". `reasonix mcp list` shows the catalog.'
         };
       }
+      if (servers.length > 0) {
+        const lines2 = [];
+        for (const s of servers) {
+          const { report } = s;
+          const serverName = report.serverInfo.name || "(unknown)";
+          const serverVer = report.serverInfo.version ? ` v${report.serverInfo.version}` : "";
+          lines2.push(`[${s.label}] ${serverName}${serverVer}  \u2014  ${s.spec}`);
+          lines2.push(`  tools     ${s.toolCount}`);
+          appendSection(lines2, "resources", report.resources);
+          appendSection(lines2, "prompts  ", report.prompts);
+          lines2.push("");
+        }
+        lines2.push(
+          "Chat mode consumes tools today; resources+prompts are surfaced here for awareness."
+        );
+        lines2.push(
+          "Full catalog: `reasonix mcp list` \xB7 deeper diagnosis: `reasonix mcp inspect <spec>`."
+        );
+        return { info: lines2.join("\n") };
+      }
       const lines = [];
       if (specs.length > 0) {
         lines.push(`MCP servers (${specs.length}):`);
@@ -3559,6 +4143,22 @@ ${entry.text}`
       return { unknown: true, info: `unknown command: /${cmd}  (try /help)` };
   }
 }
+function appendSection(lines, label, section) {
+  if (!section || !section.supported) {
+    lines.push(
+      `  ${label.trim()}    ${section?.supported === false ? "(not supported)" : "(none)"}`
+    );
+    return;
+  }
+  const names = section.items.map((i) => i.name);
+  if (names.length === 0) {
+    lines.push(`  ${label.trim()}    (none)`);
+    return;
+  }
+  const head = names.slice(0, 5).join(", ");
+  const more = names.length > 5 ? ` +${names.length - 5} more` : "";
+  lines.push(`  ${label.trim()}    ${names.length}  [${head}${more}]`);
+}
 function formatToolList(history) {
   const total = history.length;
   const header = `Tool calls in this session (${total}, most recent first):`;
@@ -3631,21 +4231,25 @@ function App({
   session,
   tools,
   mcpSpecs,
+  mcpServers,
+  progressSink,
   codeMode
 }) {
   const { exit } = useApp();
-  const [historical, setHistorical] = useState2([]);
-  const [streaming, setStreaming] = useState2(null);
-  const [input, setInput] = useState2("");
-  const [busy, setBusy] = useState2(false);
+  const [historical, setHistorical] = useState3([]);
+  const [streaming, setStreaming] = useState3(null);
+  const [input, setInput] = useState3("");
+  const [busy, setBusy] = useState3(false);
   const abortedThisTurn = useRef(false);
-  const [ongoingTool, setOngoingTool] = useState2(null);
+  const [ongoingTool, setOngoingTool] = useState3(null);
+  const [toolProgress, setToolProgress] = useState3(null);
   const lastEditSnapshots = useRef(null);
   const pendingEdits = useRef([]);
   const promptHistory = useRef([]);
   const historyCursor = useRef(-1);
   const toolHistoryRef = useRef([]);
-  const [summary, setSummary] = useState2({
+  const [slashSelected, setSlashSelected] = useState3(0);
+  const [summary, setSummary] = useState3({
     turns: 0,
     totalCostUsd: 0,
     claudeEquivalentUsd: 0,
@@ -3662,11 +4266,22 @@ function App({
       startedAt: (/* @__PURE__ */ new Date()).toISOString()
     });
   }
-  useEffect2(() => {
+  useEffect3(() => {
     return () => {
       transcriptRef.current?.end();
     };
   }, []);
+  const slashMatches = useMemo(() => {
+    if (!input.startsWith("/") || input.includes(" ")) return null;
+    return suggestSlashCommands(input.slice(1), !!codeMode);
+  }, [input, codeMode]);
+  useEffect3(() => {
+    setSlashSelected((prev) => {
+      if (!slashMatches || slashMatches.length === 0) return 0;
+      if (prev >= slashMatches.length) return slashMatches.length - 1;
+      return prev;
+    });
+  }, [slashMatches]);
   const loopRef = useRef(null);
   const loop = useMemo(() => {
     if (loopRef.current) return loopRef.current;
@@ -3679,8 +4294,21 @@ function App({
     loopRef.current = l;
     return l;
   }, [model, system, harvest2, branch, session, tools]);
+  useEffect3(() => {
+    if (!progressSink) return;
+    progressSink.current = (info) => {
+      setToolProgress({
+        progress: info.progress,
+        total: info.total,
+        message: info.message
+      });
+    };
+    return () => {
+      if (progressSink.current) progressSink.current = null;
+    };
+  }, [progressSink]);
   const sessionBannerShown = useRef(false);
-  useEffect2(() => {
+  useEffect3(() => {
     if (sessionBannerShown.current) return;
     sessionBannerShown.current = true;
     if (!session) {
@@ -3712,7 +4340,7 @@ function App({
       ]);
     }
   }, [session, loop]);
-  useInput((_input, key) => {
+  useInput2((_input, key) => {
     if (key.escape && busy) {
       if (abortedThisTurn.current) return;
       abortedThisTurn.current = true;
@@ -3720,6 +4348,21 @@ function App({
       return;
     }
     if (busy) return;
+    if (slashMatches && slashMatches.length > 0) {
+      if (key.upArrow) {
+        setSlashSelected((i) => Math.max(0, i - 1));
+        return;
+      }
+      if (key.downArrow) {
+        setSlashSelected((i) => Math.min(slashMatches.length - 1, i + 1));
+        return;
+      }
+      if (key.tab) {
+        const sel = slashMatches[slashSelected] ?? slashMatches[0];
+        if (sel) setInput(`/${sel.cmd}`);
+        return;
+      }
+    }
     const hist = promptHistory.current;
     if (key.upArrow) {
       if (hist.length === 0) return;
@@ -3778,6 +4421,15 @@ function App({
     async (raw) => {
       let text = raw.trim();
       if (!text || busy) return;
+      if (text.startsWith("/") && !text.includes(" ")) {
+        const typed = text.slice(1).toLowerCase();
+        const matches = suggestSlashCommands(typed, !!codeMode);
+        const exact = matches.find((m) => m.cmd === typed);
+        if (!exact && matches.length > 0) {
+          const chosen = matches[slashSelected] ?? matches[0];
+          if (chosen) text = `/${chosen.cmd}`;
+        }
+      }
       setInput("");
       historyCursor.current = -1;
       if (codeMode && pendingEdits.current.length > 0 && (text === "y" || text === "n")) {
@@ -3790,6 +4442,7 @@ function App({
       if (slash) {
         const result = handleSlash(slash.cmd, slash.args, loop, {
           mcpSpecs,
+          mcpServers,
           codeUndo: codeMode ? codeUndo : void 0,
           codeApply: codeMode ? codeApply : void 0,
           codeDiscard: codeMode ? codeDiscard : void 0,
@@ -3905,9 +4558,11 @@ function App({
             }
           } else if (ev.role === "tool_start") {
             setOngoingTool({ name: ev.toolName ?? "?", args: ev.toolArgs });
+            setToolProgress(null);
           } else if (ev.role === "tool") {
             flush();
             setOngoingTool(null);
+            setToolProgress(null);
             toolHistoryRef.current.push({
               toolName: ev.toolName ?? "?",
               text: ev.content
@@ -3938,13 +4593,26 @@ function App({
         clearInterval(timer);
         setStreaming(null);
         setOngoingTool(null);
+        setToolProgress(null);
         setSummary(loop.stats.summary());
         setBusy(false);
       }
     },
-    [busy, codeApply, codeDiscard, codeMode, codeUndo, exit, loop, mcpSpecs, writeTranscript]
+    [
+      busy,
+      codeApply,
+      codeDiscard,
+      codeMode,
+      codeUndo,
+      exit,
+      loop,
+      mcpSpecs,
+      mcpServers,
+      slashSelected,
+      writeTranscript
+    ]
   );
-  return /* @__PURE__ */ React6.createElement(Box6, { flexDirection: "column" }, /* @__PURE__ */ React6.createElement(
+  return /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column" }, /* @__PURE__ */ React7.createElement(
     StatsPanel,
     {
       summary,
@@ -3953,12 +4621,15 @@ function App({
       harvestOn: loop.harvestEnabled,
       branchBudget: loop.branchOptions.budget
     }
-  ), /* @__PURE__ */ React6.createElement(Static, { items: historical }, (item) => /* @__PURE__ */ React6.createElement(EventRow, { key: item.id, event: item })), streaming ? /* @__PURE__ */ React6.createElement(Box6, { marginY: 1 }, /* @__PURE__ */ React6.createElement(EventRow, { event: streaming })) : null, ongoingTool ? /* @__PURE__ */ React6.createElement(OngoingToolRow, { tool: ongoingTool }) : null, /* @__PURE__ */ React6.createElement(PromptInput, { value: input, onChange: setInput, onSubmit: handleSubmit, disabled: busy }), /* @__PURE__ */ React6.createElement(CommandStrip, { codeMode: !!codeMode }));
+  ), /* @__PURE__ */ React7.createElement(Static, { items: historical }, (item) => /* @__PURE__ */ React7.createElement(EventRow, { key: item.id, event: item })), streaming ? /* @__PURE__ */ React7.createElement(Box7, { marginY: 1 }, /* @__PURE__ */ React7.createElement(EventRow, { event: streaming })) : null, ongoingTool ? /* @__PURE__ */ React7.createElement(OngoingToolRow, { tool: ongoingTool, progress: toolProgress }) : null, /* @__PURE__ */ React7.createElement(PromptInput, { value: input, onChange: setInput, onSubmit: handleSubmit, disabled: busy }), /* @__PURE__ */ React7.createElement(SlashSuggestions, { matches: slashMatches, selectedIndex: slashSelected }));
 }
-function OngoingToolRow({ tool }) {
-  const [tick, setTick] = useState2(0);
-  const [elapsed, setElapsed] = useState2(0);
-  useEffect2(() => {
+function OngoingToolRow({
+  tool,
+  progress
+}) {
+  const [tick, setTick] = useState3(0);
+  const [elapsed, setElapsed] = useState3(0);
+  useEffect3(() => {
     const start = Date.now();
     const frameId = setInterval(() => setTick((t) => t + 1), 120);
     const secId = setInterval(() => setElapsed(Math.floor((Date.now() - start) / 1e3)), 1e3);
@@ -3969,7 +4640,19 @@ function OngoingToolRow({ tool }) {
   }, []);
   const frames = ["\u280B", "\u2819", "\u2839", "\u2838", "\u283C", "\u2834", "\u2826", "\u2827", "\u2807", "\u280F"];
   const summary = summarizeToolArgs(tool.name, tool.args);
-  return /* @__PURE__ */ React6.createElement(Box6, { marginY: 1, flexDirection: "column" }, /* @__PURE__ */ React6.createElement(Box6, null, /* @__PURE__ */ React6.createElement(Text6, { color: "cyan" }, frames[tick % frames.length]), /* @__PURE__ */ React6.createElement(Text6, { color: "yellow" }, ` tool<${tool.name}> running\u2026`), /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, ` ${elapsed}s`)), summary ? /* @__PURE__ */ React6.createElement(Box6, { paddingLeft: 2 }, /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, summary)) : null);
+  return /* @__PURE__ */ React7.createElement(Box7, { marginY: 1, flexDirection: "column" }, /* @__PURE__ */ React7.createElement(Box7, null, /* @__PURE__ */ React7.createElement(Text7, { color: "cyan" }, frames[tick % frames.length]), /* @__PURE__ */ React7.createElement(Text7, { color: "yellow" }, ` tool<${tool.name}> running\u2026`), /* @__PURE__ */ React7.createElement(Text7, { dimColor: true }, ` ${elapsed}s`)), progress ? /* @__PURE__ */ React7.createElement(Box7, { paddingLeft: 2 }, /* @__PURE__ */ React7.createElement(Text7, { color: "cyan" }, renderProgressLine(progress))) : null, summary ? /* @__PURE__ */ React7.createElement(Box7, { paddingLeft: 2 }, /* @__PURE__ */ React7.createElement(Text7, { dimColor: true }, summary)) : null);
+}
+function renderProgressLine(p) {
+  const msg = p.message ? `  ${p.message}` : "";
+  if (p.total && p.total > 0) {
+    const ratio = Math.max(0, Math.min(1, p.progress / p.total));
+    const width = 20;
+    const filled = Math.round(ratio * width);
+    const bar = "\u2588".repeat(filled) + "\u2591".repeat(width - filled);
+    const pct2 = (ratio * 100).toFixed(0);
+    return `[${bar}] ${p.progress}/${p.total} ${pct2}%${msg}`;
+  }
+  return `progress: ${p.progress}${msg}`;
 }
 function summarizeToolArgs(name, args) {
   if (!args || args === "{}") return "";
@@ -4011,9 +4694,6 @@ function summarizeToolArgs(name, args) {
   }
   return args.length > 80 ? `${args.slice(0, 80)}\u2026` : args;
 }
-function CommandStrip({ codeMode }) {
-  return /* @__PURE__ */ React6.createElement(Box6, { paddingX: 2, flexDirection: "column" }, /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "/help \xB7 /preset ", "<fast|smart|max>", " \xB7 /mcp \xB7 /compact \xB7 /sessions \xB7 /setup \xB7 /clear \xB7 /exit"), codeMode ? /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, 'code mode: /apply (y) \xB7 /discard (n) \xB7 /undo \xB7 /commit "msg" \u2014 edits NEVER write without /apply') : null, /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "\u2191/\u2193 recall prompts \xB7 /retry re-send last \xB7 /think see R1 reasoning \xB7 /tool N full tool output"), /* @__PURE__ */ React6.createElement(Text6, { dimColor: true }, "Esc (while thinking) \u2014 abort & summarize what was found so far"));
-}
 function formatEditResults(results) {
   const lines = results.map((r) => {
     const mark = r.status === "applied" || r.status === "created" ? "\u2713" : "\u2717";
@@ -4056,12 +4736,12 @@ function describeRepair(repair) {
 }
 
 // src/cli/ui/Setup.tsx
-import { Box as Box7, Text as Text7, useApp as useApp2 } from "ink";
-import TextInput2 from "ink-text-input";
-import React7, { useState as useState3 } from "react";
+import { Box as Box8, Text as Text8, useApp as useApp2 } from "ink";
+import TextInput from "ink-text-input";
+import React8, { useState as useState4 } from "react";
 function Setup({ onReady }) {
-  const [value, setValue] = useState3("");
-  const [error, setError] = useState3(null);
+  const [value, setValue] = useState4("");
+  const [error, setError] = useState4(null);
   const { exit } = useApp2();
   const handleSubmit = (raw) => {
     const trimmed = raw.trim();
@@ -4082,8 +4762,8 @@ function Setup({ onReady }) {
     }
     onReady(trimmed);
   };
-  return /* @__PURE__ */ React7.createElement(Box7, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React7.createElement(Text7, { bold: true, color: "cyan" }, "Welcome to Reasonix."), /* @__PURE__ */ React7.createElement(Box7, { marginTop: 1 }, /* @__PURE__ */ React7.createElement(Text7, null, "Paste your DeepSeek API key to get started.")), /* @__PURE__ */ React7.createElement(Text7, { dimColor: true }, "Get one (free credit on signup): https://platform.deepseek.com/api_keys"), /* @__PURE__ */ React7.createElement(Text7, { dimColor: true }, "Saved locally to ", defaultConfigPath()), /* @__PURE__ */ React7.createElement(Box7, { marginTop: 1 }, /* @__PURE__ */ React7.createElement(Text7, { bold: true, color: "cyan" }, "key \u203A "), /* @__PURE__ */ React7.createElement(
-    TextInput2,
+  return /* @__PURE__ */ React8.createElement(Box8, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React8.createElement(Text8, { bold: true, color: "cyan" }, "Welcome to Reasonix."), /* @__PURE__ */ React8.createElement(Box8, { marginTop: 1 }, /* @__PURE__ */ React8.createElement(Text8, null, "Paste your DeepSeek API key to get started.")), /* @__PURE__ */ React8.createElement(Text8, { dimColor: true }, "Get one (free credit on signup): https://platform.deepseek.com/api_keys"), /* @__PURE__ */ React8.createElement(Text8, { dimColor: true }, "Saved locally to ", defaultConfigPath()), /* @__PURE__ */ React8.createElement(Box8, { marginTop: 1 }, /* @__PURE__ */ React8.createElement(Text8, { bold: true, color: "cyan" }, "key \u203A "), /* @__PURE__ */ React8.createElement(
+    TextInput,
     {
       value,
       onChange: setValue,
@@ -4091,14 +4771,14 @@ function Setup({ onReady }) {
       mask: "\u2022",
       placeholder: "sk-..."
     }
-  )), error ? /* @__PURE__ */ React7.createElement(Box7, { marginTop: 1 }, /* @__PURE__ */ React7.createElement(Text7, { color: "red" }, error)) : value ? /* @__PURE__ */ React7.createElement(Box7, { marginTop: 1 }, /* @__PURE__ */ React7.createElement(Text7, { dimColor: true }, "preview: ", redactKey(value))) : null, /* @__PURE__ */ React7.createElement(Box7, { marginTop: 1 }, /* @__PURE__ */ React7.createElement(Text7, { dimColor: true }, "(Type /exit to abort.)")));
+  )), error ? /* @__PURE__ */ React8.createElement(Box8, { marginTop: 1 }, /* @__PURE__ */ React8.createElement(Text8, { color: "red" }, error)) : value ? /* @__PURE__ */ React8.createElement(Box8, { marginTop: 1 }, /* @__PURE__ */ React8.createElement(Text8, { dimColor: true }, "preview: ", redactKey(value))) : null, /* @__PURE__ */ React8.createElement(Box8, { marginTop: 1 }, /* @__PURE__ */ React8.createElement(Text8, { dimColor: true }, "(Type /exit to abort.)")));
 }
 
 // src/cli/commands/chat.tsx
-function Root({ initialKey, tools, mcpSpecs, ...appProps }) {
-  const [key, setKey] = useState4(initialKey);
+function Root({ initialKey, tools, mcpSpecs, mcpServers, progressSink, ...appProps }) {
+  const [key, setKey] = useState5(initialKey);
   if (!key) {
-    return /* @__PURE__ */ React8.createElement(
+    return /* @__PURE__ */ React9.createElement(
       Setup,
       {
         onReady: (k) => {
@@ -4109,7 +4789,7 @@ function Root({ initialKey, tools, mcpSpecs, ...appProps }) {
     );
   }
   process.env.DEEPSEEK_API_KEY = key;
-  return /* @__PURE__ */ React8.createElement(
+  return /* @__PURE__ */ React9.createElement(
     App,
     {
       model: appProps.model,
@@ -4120,6 +4800,8 @@ function Root({ initialKey, tools, mcpSpecs, ...appProps }) {
       session: appProps.session,
       tools,
       mcpSpecs,
+      mcpServers,
+      progressSink,
       codeMode: appProps.codeMode
     }
   );
@@ -4131,9 +4813,11 @@ async function chatCommand(opts) {
   const clients = [];
   const successfulSpecs = [];
   const failedSpecs = [];
-  let tools;
+  const mcpServers = [];
+  const progressSink = { current: null };
+  let tools = opts.seedTools;
   if (requestedSpecs.length > 0) {
-    tools = new ToolRegistry();
+    if (!tools) tools = new ToolRegistry();
     for (const raw of requestedSpecs) {
       try {
         const spec = parseMcpSpec(raw);
@@ -4141,7 +4825,24 @@ async function chatCommand(opts) {
         const transport = spec.transport === "sse" ? new SseTransport({ url: spec.url }) : new StdioTransport({ command: spec.command, args: spec.args });
         const mcp2 = new McpClient({ transport });
         await mcp2.initialize();
-        const bridge = await bridgeMcpTools(mcp2, { registry: tools, namePrefix: prefix });
+        const bridge = await bridgeMcpTools(mcp2, {
+          registry: tools,
+          namePrefix: prefix,
+          onProgress: (info) => progressSink.current?.(info)
+        });
+        let report;
+        try {
+          report = await inspectMcpServer(mcp2);
+        } catch {
+          report = {
+            protocolVersion: mcp2.protocolVersion,
+            serverInfo: mcp2.serverInfo,
+            capabilities: mcp2.serverCapabilities ?? {},
+            tools: { supported: true, items: [] },
+            resources: { supported: false, reason: "inspect failed" },
+            prompts: { supported: false, reason: "inspect failed" }
+          };
+        }
         const label = spec.name ?? "anon";
         const source = spec.transport === "sse" ? spec.url : `${spec.command} ${spec.args.join(" ")}`;
         process.stderr.write(
@@ -4150,6 +4851,12 @@ async function chatCommand(opts) {
         );
         clients.push(mcp2);
         successfulSpecs.push(raw);
+        mcpServers.push({
+          label,
+          spec: raw,
+          toolCount: bridge.registeredNames.length,
+          report
+        });
       } catch (err) {
         const reason = err.message;
         failedSpecs.push({ spec: raw, reason });
@@ -4160,13 +4867,23 @@ async function chatCommand(opts) {
         );
       }
     }
-    if (successfulSpecs.length === 0) {
+    if (successfulSpecs.length === 0 && !opts.seedTools) {
       tools = void 0;
     }
   }
   const mcpSpecs = successfulSpecs;
   const { waitUntilExit } = render(
-    /* @__PURE__ */ React8.createElement(Root, { initialKey, tools, mcpSpecs, ...opts }),
+    /* @__PURE__ */ React9.createElement(
+      Root,
+      {
+        initialKey,
+        tools,
+        mcpSpecs,
+        mcpServers,
+        progressSink,
+        ...opts
+      }
+    ),
     { exitOnCtrlC: true }
   );
   try {
@@ -4177,14 +4894,15 @@ async function chatCommand(opts) {
 }
 
 // src/cli/commands/code.tsx
-import { basename, resolve as resolve3 } from "path";
+import { basename, resolve as resolve4 } from "path";
 async function codeCommand(opts = {}) {
   const { codeSystemPrompt: codeSystemPrompt2 } = await import("./prompt-MMANQ36Z.js");
-  const rootDir = resolve3(opts.dir ?? process.cwd());
+  const rootDir = resolve4(opts.dir ?? process.cwd());
   const session = opts.noSession ? void 0 : `code-${sanitizeName(basename(rootDir))}`;
-  const fsSpec = `filesystem=npx -y @modelcontextprotocol/server-filesystem ${quoteIfNeeded(rootDir)}`;
+  const tools = new ToolRegistry();
+  registerFilesystemTools(tools, { rootDir });
   process.stderr.write(
-    `\u25B8 reasonix code: rooted at ${rootDir}, session "${session ?? "(ephemeral)"}"
+    `\u25B8 reasonix code: rooted at ${rootDir}, session "${session ?? "(ephemeral)"}" \xB7 ${tools.size} native fs tool(s)
 `
   );
   await chatCommand({
@@ -4194,46 +4912,43 @@ async function codeCommand(opts = {}) {
     system: codeSystemPrompt2(rootDir),
     transcript: opts.transcript,
     session,
-    mcp: [fsSpec],
+    seedTools: tools,
     codeMode: { rootDir }
   });
 }
-function quoteIfNeeded(s) {
-  return /\s|"/.test(s) ? `"${s.replace(/"/g, '\\"')}"` : s;
-}
 
 // src/cli/commands/diff.ts
 import { writeFileSync as writeFileSync4 } from "fs";
 import { basename as basename2 } from "path";
 import { render as render2 } from "ink";
-import React11 from "react";
+import React12 from "react";
 
 // src/cli/ui/DiffApp.tsx
-import { Box as Box9, Static as Static2, Text as Text9, useApp as useApp3, useInput as useInput2 } from "ink";
-import React10, { useState as useState5 } from "react";
+import { Box as Box10, Static as Static2, Text as Text10, useApp as useApp3, useInput as useInput3 } from "ink";
+import React11, { useState as useState6 } from "react";
 
 // src/cli/ui/RecordView.tsx
-import { Box as Box8, Text as Text8 } from "ink";
-import React9 from "react";
+import { Box as Box9, Text as Text9 } from "ink";
+import React10 from "react";
 function RecordView({ rec, compact = false }) {
   const toolArgsMax = compact ? 120 : 200;
   const toolContentMax = compact ? 200 : 400;
   if (rec.role === "user") {
-    return /* @__PURE__ */ React9.createElement(Box8, { marginTop: 1 }, /* @__PURE__ */ React9.createElement(Text8, { bold: true, color: "cyan" }, "you \u203A", " "), /* @__PURE__ */ React9.createElement(Text8, null, rec.content));
+    return /* @__PURE__ */ React10.createElement(Box9, { marginTop: 1 }, /* @__PURE__ */ React10.createElement(Text9, { bold: true, color: "cyan" }, "you \u203A", " "), /* @__PURE__ */ React10.createElement(Text9, null, rec.content));
   }
   if (rec.role === "assistant_final") {
-    return /* @__PURE__ */ React9.createElement(Box8, { flexDirection: "column", marginTop: 1 }, /* @__PURE__ */ React9.createElement(Box8, null, /* @__PURE__ */ React9.createElement(Text8, { bold: true, color: "green" }, "assistant"), rec.cost !== void 0 ? /* @__PURE__ */ React9.createElement(Text8, { dimColor: true }, "  $", rec.cost.toFixed(6)) : null, rec.usage ? /* @__PURE__ */ React9.createElement(CacheBadge, { usage: rec.usage }) : null), rec.planState ? /* @__PURE__ */ React9.createElement(PlanStateBlock, { planState: rec.planState }) : null, rec.content ? /* @__PURE__ */ React9.createElement(Text8, null, rec.content) : /* @__PURE__ */ React9.createElement(Text8, { dimColor: true, italic: true }, "(tool-call response only)"));
+    return /* @__PURE__ */ React10.createElement(Box9, { flexDirection: "column", marginTop: 1 }, /* @__PURE__ */ React10.createElement(Box9, null, /* @__PURE__ */ React10.createElement(Text9, { bold: true, color: "green" }, "assistant"), rec.cost !== void 0 ? /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, "  $", rec.cost.toFixed(6)) : null, rec.usage ? /* @__PURE__ */ React10.createElement(CacheBadge, { usage: rec.usage }) : null), rec.planState ? /* @__PURE__ */ React10.createElement(PlanStateBlock, { planState: rec.planState }) : null, rec.content ? /* @__PURE__ */ React10.createElement(Text9, null, rec.content) : /* @__PURE__ */ React10.createElement(Text9, { dimColor: true, italic: true }, "(tool-call response only)"));
   }
   if (rec.role === "tool") {
-    return /* @__PURE__ */ React9.createElement(Box8, { flexDirection: "column", marginTop: 1 }, /* @__PURE__ */ React9.createElement(Text8, { color: "yellow" }, "tool<", rec.tool ?? "?", ">"), rec.args ? /* @__PURE__ */ React9.createElement(Text8, { dimColor: true }, "  args: ", truncate3(rec.args, toolArgsMax)) : null, /* @__PURE__ */ React9.createElement(Text8, { dimColor: true }, "  \u2192 ", truncate3(rec.content, toolContentMax)));
+    return /* @__PURE__ */ React10.createElement(Box9, { flexDirection: "column", marginTop: 1 }, /* @__PURE__ */ React10.createElement(Text9, { color: "yellow" }, "tool<", rec.tool ?? "?", ">"), rec.args ? /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, "  args: ", truncate3(rec.args, toolArgsMax)) : null, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, "  \u2192 ", truncate3(rec.content, toolContentMax)));
   }
   if (rec.role === "error") {
-    return /* @__PURE__ */ React9.createElement(Box8, { marginTop: 1 }, /* @__PURE__ */ React9.createElement(Text8, { color: "red", bold: true }, "error", " "), /* @__PURE__ */ React9.createElement(Text8, { color: "red" }, rec.error ?? rec.content));
+    return /* @__PURE__ */ React10.createElement(Box9, { marginTop: 1 }, /* @__PURE__ */ React10.createElement(Text9, { color: "red", bold: true }, "error", " "), /* @__PURE__ */ React10.createElement(Text9, { color: "red" }, rec.error ?? rec.content));
   }
   if (rec.role === "done" || rec.role === "assistant_delta") {
     return null;
   }
-  return /* @__PURE__ */ React9.createElement(Box8, null, /* @__PURE__ */ React9.createElement(Text8, { dimColor: true }, "[", rec.role, "] ", rec.content));
+  return /* @__PURE__ */ React10.createElement(Box9, null, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, "[", rec.role, "] ", rec.content));
 }
 function CacheBadge({ usage }) {
   const hit = usage.prompt_cache_hit_tokens ?? 0;
@@ -4242,7 +4957,7 @@ function CacheBadge({ usage }) {
   if (total === 0) return null;
   const pct2 = hit / total * 100;
   const color = pct2 >= 70 ? "green" : pct2 >= 40 ? "yellow" : "red";
-  return /* @__PURE__ */ React9.createElement(Text8, null, /* @__PURE__ */ React9.createElement(Text8, { dimColor: true }, "  \xB7 cache "), /* @__PURE__ */ React9.createElement(Text8, { color }, pct2.toFixed(1), "%"));
+  return /* @__PURE__ */ React10.createElement(Text9, null, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, "  \xB7 cache "), /* @__PURE__ */ React10.createElement(Text9, { color }, pct2.toFixed(1), "%"));
 }
 function truncate3(s, max) {
   return s.length <= max ? s : `${s.slice(0, max)}\u2026 (+${s.length - max} chars)`;
@@ -4253,8 +4968,8 @@ function DiffApp({ report }) {
   const { exit } = useApp3();
   const maxIdx = Math.max(0, report.pairs.length - 1);
   const initialIdx = report.firstDivergenceTurn ? report.pairs.findIndex((p) => p.turn === report.firstDivergenceTurn) : 0;
-  const [idx, setIdx] = useState5(Math.max(0, initialIdx));
-  useInput2((input, key) => {
+  const [idx, setIdx] = useState6(Math.max(0, initialIdx));
+  useInput3((input, key) => {
     if (input === "q" || key.ctrl && input === "c") {
       exit();
       return;
@@ -4276,7 +4991,7 @@ function DiffApp({ report }) {
     }
   });
   const pair = report.pairs[idx];
-  return /* @__PURE__ */ React10.createElement(Box9, { flexDirection: "column" }, /* @__PURE__ */ React10.createElement(DiffHeader, { report }), /* @__PURE__ */ React10.createElement(Box9, { marginTop: 1, paddingX: 1, justifyContent: "space-between" }, /* @__PURE__ */ React10.createElement(Text9, { color: "cyan", bold: true }, "turn ", pair?.turn ?? "?", " (", idx + 1, " / ", report.pairs.length, ")"), /* @__PURE__ */ React10.createElement(Text9, null, pair ? /* @__PURE__ */ React10.createElement(KindBadge, { kind: pair.kind }) : null)), /* @__PURE__ */ React10.createElement(Box9, { flexDirection: "row", marginTop: 1 }, /* @__PURE__ */ React10.createElement(Pane, { label: report.a.label, headerColor: "blue", records: paneRecords(pair, "a") }), /* @__PURE__ */ React10.createElement(Pane, { label: report.b.label, headerColor: "magenta", records: paneRecords(pair, "b") })), pair?.divergenceNote ? /* @__PURE__ */ React10.createElement(Box9, { marginTop: 1, paddingX: 1 }, /* @__PURE__ */ React10.createElement(Text9, { color: "yellow" }, "\u2605 "), /* @__PURE__ */ React10.createElement(Text9, null, pair.divergenceNote)) : null, /* @__PURE__ */ React10.createElement(Box9, { marginTop: 1, paddingX: 1, borderStyle: "single", borderColor: "gray" }, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "j"), "/", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "\u2193"), " next \xB7 ", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "k"), "/", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "\u2191"), " ", "prev \xB7 ", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "n"), " next-diverge \xB7 ", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "N"), "/", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "p"), " ", "prev-diverge \xB7 ", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "g"), "/", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "G"), " first/last \xB7 ", /* @__PURE__ */ React10.createElement(Text9, { bold: true }, "q"), " ", "quit")));
+  return /* @__PURE__ */ React11.createElement(Box10, { flexDirection: "column" }, /* @__PURE__ */ React11.createElement(DiffHeader, { report }), /* @__PURE__ */ React11.createElement(Box10, { marginTop: 1, paddingX: 1, justifyContent: "space-between" }, /* @__PURE__ */ React11.createElement(Text10, { color: "cyan", bold: true }, "turn ", pair?.turn ?? "?", " (", idx + 1, " / ", report.pairs.length, ")"), /* @__PURE__ */ React11.createElement(Text10, null, pair ? /* @__PURE__ */ React11.createElement(KindBadge, { kind: pair.kind }) : null)), /* @__PURE__ */ React11.createElement(Box10, { flexDirection: "row", marginTop: 1 }, /* @__PURE__ */ React11.createElement(Pane, { label: report.a.label, headerColor: "blue", records: paneRecords(pair, "a") }), /* @__PURE__ */ React11.createElement(Pane, { label: report.b.label, headerColor: "magenta", records: paneRecords(pair, "b") })), pair?.divergenceNote ? /* @__PURE__ */ React11.createElement(Box10, { marginTop: 1, paddingX: 1 }, /* @__PURE__ */ React11.createElement(Text10, { color: "yellow" }, "\u2605 "), /* @__PURE__ */ React11.createElement(Text10, null, pair.divergenceNote)) : null, /* @__PURE__ */ React11.createElement(Box10, { marginTop: 1, paddingX: 1, borderStyle: "single", borderColor: "gray" }, /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "j"), "/", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "\u2193"), " next \xB7 ", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "k"), "/", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "\u2191"), " ", "prev \xB7 ", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "n"), " next-diverge \xB7 ", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "N"), "/", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "p"), " ", "prev-diverge \xB7 ", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "g"), "/", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "G"), " first/last \xB7 ", /* @__PURE__ */ React11.createElement(Text10, { bold: true }, "q"), " ", "quit")));
 }
 function DiffHeader({ report }) {
   const a = report.a;
@@ -4294,15 +5009,15 @@ function DiffHeader({ report }) {
   } else if (a.stats.prefixHashes[0] && a.stats.prefixHashes[0] === b.stats.prefixHashes[0]) {
     prefixLine = `shared prefix hash ${a.stats.prefixHashes[0].slice(0, 12)}\u2026 \u2014 cache delta attributable to log stability, not prompt change.`;
   }
-  return /* @__PURE__ */ React10.createElement(Box9, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React10.createElement(Box9, { justifyContent: "space-between" }, /* @__PURE__ */ React10.createElement(Text9, null, /* @__PURE__ */ React10.createElement(Text9, { color: "cyan", bold: true }, "reasonix diff"), /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, " \xB7 A="), /* @__PURE__ */ React10.createElement(Text9, { color: "blue" }, a.label), /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, " vs B="), /* @__PURE__ */ React10.createElement(Text9, { color: "magenta" }, b.label)), /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, report.pairs.length, " turns aligned")), /* @__PURE__ */ React10.createElement(Box9, { marginTop: 1, gap: 3 }, /* @__PURE__ */ React10.createElement(Text9, null, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, "cache "), /* @__PURE__ */ React10.createElement(Text9, null, (a.stats.cacheHitRatio * 100).toFixed(1), "%"), /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, " \u2192 "), /* @__PURE__ */ React10.createElement(Text9, null, (b.stats.cacheHitRatio * 100).toFixed(1), "%"), /* @__PURE__ */ React10.createElement(Text9, { color: cacheDelta >= 0 ? "green" : "red", bold: true }, "  ", cacheDelta >= 0 ? "+" : "", (cacheDelta * 100).toFixed(1), "pp")), /* @__PURE__ */ React10.createElement(Text9, null, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, "cost "), /* @__PURE__ */ React10.createElement(Text9, null, "$", a.stats.totalCostUsd.toFixed(6)), /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, " \u2192 "), /* @__PURE__ */ React10.createElement(Text9, null, "$", b.stats.totalCostUsd.toFixed(6)), /* @__PURE__ */ React10.createElement(Text9, { color: costDelta2 <= 0 ? "green" : "red", bold: true }, "  ", costDelta2 >= 0 ? "+" : "", costDelta2.toFixed(1), "%")), /* @__PURE__ */ React10.createElement(Text9, null, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true }, "model calls "), /* @__PURE__ */ React10.createElement(Text9, null, a.stats.turns, " \u2192 ", b.stats.turns))), prefixLine ? /* @__PURE__ */ React10.createElement(Box9, { marginTop: 1 }, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true, italic: true }, prefixLine)) : null);
+  return /* @__PURE__ */ React11.createElement(Box10, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React11.createElement(Box10, { justifyContent: "space-between" }, /* @__PURE__ */ React11.createElement(Text10, null, /* @__PURE__ */ React11.createElement(Text10, { color: "cyan", bold: true }, "reasonix diff"), /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, " \xB7 A="), /* @__PURE__ */ React11.createElement(Text10, { color: "blue" }, a.label), /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, " vs B="), /* @__PURE__ */ React11.createElement(Text10, { color: "magenta" }, b.label)), /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, report.pairs.length, " turns aligned")), /* @__PURE__ */ React11.createElement(Box10, { marginTop: 1, gap: 3 }, /* @__PURE__ */ React11.createElement(Text10, null, /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, "cache "), /* @__PURE__ */ React11.createElement(Text10, null, (a.stats.cacheHitRatio * 100).toFixed(1), "%"), /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, " \u2192 "), /* @__PURE__ */ React11.createElement(Text10, null, (b.stats.cacheHitRatio * 100).toFixed(1), "%"), /* @__PURE__ */ React11.createElement(Text10, { color: cacheDelta >= 0 ? "green" : "red", bold: true }, "  ", cacheDelta >= 0 ? "+" : "", (cacheDelta * 100).toFixed(1), "pp")), /* @__PURE__ */ React11.createElement(Text10, null, /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, "cost "), /* @__PURE__ */ React11.createElement(Text10, null, "$", a.stats.totalCostUsd.toFixed(6)), /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, " \u2192 "), /* @__PURE__ */ React11.createElement(Text10, null, "$", b.stats.totalCostUsd.toFixed(6)), /* @__PURE__ */ React11.createElement(Text10, { color: costDelta2 <= 0 ? "green" : "red", bold: true }, "  ", costDelta2 >= 0 ? "+" : "", costDelta2.toFixed(1), "%")), /* @__PURE__ */ React11.createElement(Text10, null, /* @__PURE__ */ React11.createElement(Text10, { dimColor: true }, "model calls "), /* @__PURE__ */ React11.createElement(Text10, null, a.stats.turns, " \u2192 ", b.stats.turns))), prefixLine ? /* @__PURE__ */ React11.createElement(Box10, { marginTop: 1 }, /* @__PURE__ */ React11.createElement(Text10, { dimColor: true, italic: true }, prefixLine)) : null);
 }
 function Pane({
   label,
   headerColor,
   records
 }) {
-  return /* @__PURE__ */ React10.createElement(
-    Box9,
+  return /* @__PURE__ */ React11.createElement(
+    Box10,
     {
       flexDirection: "column",
       flexGrow: 1,
@@ -4310,21 +5025,21 @@ function Pane({
       borderStyle: "single",
       borderColor: headerColor
     },
-    /* @__PURE__ */ React10.createElement(Text9, { color: headerColor, bold: true }, label),
-    records.length === 0 ? /* @__PURE__ */ React10.createElement(Box9, { marginTop: 1 }, /* @__PURE__ */ React10.createElement(Text9, { dimColor: true, italic: true }, "(no records on this side for this turn)")) : /* @__PURE__ */ React10.createElement(Static2, { items: records.map((rec, i) => ({ key: `${label}-${i}`, rec })) }, ({ key, rec }) => /* @__PURE__ */ React10.createElement(RecordView, { key, rec, compact: true }))
+    /* @__PURE__ */ React11.createElement(Text10, { color: headerColor, bold: true }, label),
+    records.length === 0 ? /* @__PURE__ */ React11.createElement(Box10, { marginTop: 1 }, /* @__PURE__ */ React11.createElement(Text10, { dimColor: true, italic: true }, "(no records on this side for this turn)")) : /* @__PURE__ */ React11.createElement(Static2, { items: records.map((rec, i) => ({ key: `${label}-${i}`, rec })) }, ({ key, rec }) => /* @__PURE__ */ React11.createElement(RecordView, { key, rec, compact: true }))
   );
 }
 function KindBadge({ kind }) {
   if (kind === "match") {
-    return /* @__PURE__ */ React10.createElement(Text9, { color: "green" }, "\u2713 match");
+    return /* @__PURE__ */ React11.createElement(Text10, { color: "green" }, "\u2713 match");
   }
   if (kind === "diverge") {
-    return /* @__PURE__ */ React10.createElement(Text9, { color: "yellow" }, "\u2605 diverge");
+    return /* @__PURE__ */ React11.createElement(Text10, { color: "yellow" }, "\u2605 diverge");
   }
   if (kind === "only_in_a") {
-    return /* @__PURE__ */ React10.createElement(Text9, { color: "blue" }, "\u2190 only in A");
+    return /* @__PURE__ */ React11.createElement(Text10, { color: "blue" }, "\u2190 only in A");
   }
-  return /* @__PURE__ */ React10.createElement(Text9, { color: "magenta" }, "\u2192 only in B");
+  return /* @__PURE__ */ React11.createElement(Text10, { color: "magenta" }, "\u2192 only in B");
 }
 function paneRecords(pair, side) {
   if (!pair) return [];
@@ -4355,7 +5070,7 @@ markdown report written to ${opts.mdPath}`);
     return;
   }
   if (wantTui) {
-    const { waitUntilExit } = render2(React11.createElement(DiffApp, { report }), {
+    const { waitUntilExit } = render2(React12.createElement(DiffApp, { report }), {
       exitOnCtrlC: true
     });
     await waitUntilExit();
@@ -4364,6 +5079,70 @@ markdown report written to ${opts.mdPath}`);
   console.log(renderSummaryTable(report));
 }
 
+// src/cli/commands/mcp-inspect.ts
+async function mcpInspectCommand(opts) {
+  const spec = parseMcpSpec(opts.spec);
+  const transport = spec.transport === "sse" ? new SseTransport({ url: spec.url }) : new StdioTransport({ command: spec.command, args: spec.args });
+  const client = new McpClient({ transport });
+  try {
+    await client.initialize();
+    const report = await inspectMcpServer(client);
+    if (opts.json) {
+      console.log(JSON.stringify(report, null, 2));
+    } else {
+      console.log(formatReport(spec.name ?? "(anon)", report));
+    }
+  } finally {
+    await client.close();
+  }
+}
+function formatReport(nsName, r) {
+  const lines = [];
+  lines.push(`MCP server [${nsName}]`);
+  lines.push(
+    `  server     ${r.serverInfo.name || "(unknown)"}${r.serverInfo.version ? ` v${r.serverInfo.version}` : ""}`
+  );
+  lines.push(`  protocol   ${r.protocolVersion}`);
+  const capKeys = Object.keys(r.capabilities);
+  lines.push(`  caps       ${capKeys.length > 0 ? capKeys.join(", ") : "(none advertised)"}`);
+  if (r.instructions) {
+    lines.push(`  notes      ${r.instructions.trim().slice(0, 200)}`);
+  }
+  lines.push("");
+  lines.push(formatSection("Tools", r.tools, toolLine));
+  lines.push(formatSection("Resources", r.resources, resourceLine));
+  lines.push(formatSection("Prompts", r.prompts, promptLine));
+  return lines.join("\n");
+}
+function formatSection(title, section, render5) {
+  if (!section.supported) {
+    return `${title}: (not supported \u2014 ${section.reason})`;
+  }
+  if (section.items.length === 0) {
+    return `${title}: (none)`;
+  }
+  const lines = [`${title} (${section.items.length}):`];
+  for (const item of section.items) lines.push(`  ${render5(item)}`);
+  return lines.join("\n");
+}
+function toolLine(t) {
+  const desc = t.description ? ` \u2014 ${oneLine(t.description, 80)}` : "";
+  return `\xB7 ${t.name}${desc}`;
+}
+function resourceLine(r) {
+  const mime = r.mimeType ? ` [${r.mimeType}]` : "";
+  return `\xB7 ${r.name}${mime}  ${r.uri}`;
+}
+function promptLine(p) {
+  const argPart = p.arguments && p.arguments.length > 0 ? ` (${p.arguments.map((a) => a.required ? a.name : `${a.name}?`).join(", ")})` : "";
+  const desc = p.description ? ` \u2014 ${oneLine(p.description, 80)}` : "";
+  return `\xB7 ${p.name}${argPart}${desc}`;
+}
+function oneLine(s, max) {
+  const flat = s.replace(/\s+/g, " ").trim();
+  return flat.length <= max ? flat : `${flat.slice(0, max - 1)}\u2026`;
+}
+
 // src/mcp/catalog.ts
 var MCP_CATALOG = [
   {
@@ -4431,16 +5210,16 @@ function pad(s, width) {
 
 // src/cli/commands/replay.ts
 import { render as render3 } from "ink";
-import React13 from "react";
+import React14 from "react";
 
 // src/cli/ui/ReplayApp.tsx
-import { Box as Box10, Static as Static3, Text as Text10, useApp as useApp4, useInput as useInput3 } from "ink";
-import React12, { useMemo as useMemo2, useState as useState6 } from "react";
+import { Box as Box11, Static as Static3, Text as Text11, useApp as useApp4, useInput as useInput4 } from "ink";
+import React13, { useMemo as useMemo2, useState as useState7 } from "react";
 function ReplayApp({ meta, pages }) {
   const { exit } = useApp4();
   const maxIdx = Math.max(0, pages.length - 1);
-  const [idx, setIdx] = useState6(maxIdx);
-  useInput3((input, key) => {
+  const [idx, setIdx] = useState7(maxIdx);
+  useInput4((input, key) => {
     if (input === "q" || key.ctrl && input === "c") {
       exit();
       return;
@@ -4472,14 +5251,14 @@ function ReplayApp({ meta, pages }) {
   const prefixHash = cumStats.prefixHashes.length === 1 ? cumStats.prefixHashes[0].slice(0, 16) : cumStats.prefixHashes.length === 0 ? "(untracked)" : `(churned \xD7${cumStats.prefixHashes.length})`;
   const currentPage = pages[idx];
   const progressLabel = pages.length === 0 ? "empty transcript" : `turn ${idx + 1} / ${pages.length}`;
-  return /* @__PURE__ */ React12.createElement(Box10, { flexDirection: "column" }, /* @__PURE__ */ React12.createElement(
+  return /* @__PURE__ */ React13.createElement(Box11, { flexDirection: "column" }, /* @__PURE__ */ React13.createElement(
     StatsPanel,
     {
       summary,
       model: cumStats.models[0] ?? meta?.model ?? "?",
       prefixHash
     }
-  ), /* @__PURE__ */ React12.createElement(Box10, { flexDirection: "column", marginTop: 1, paddingX: 1 }, /* @__PURE__ */ React12.createElement(Box10, { justifyContent: "space-between" }, /* @__PURE__ */ React12.createElement(Text10, { color: "cyan", bold: true }, progressLabel), meta ? /* @__PURE__ */ React12.createElement(Text10, { dimColor: true }, meta.source, meta.task ? ` \xB7 ${meta.task}` : "", meta.mode ? ` \xB7 ${meta.mode}` : "") : null), currentPage ? /* @__PURE__ */ React12.createElement(Static3, { items: currentPage.records.map((rec, i) => ({ key: `${idx}-${i}`, rec })) }, ({ key, rec }) => /* @__PURE__ */ React12.createElement(RecordView, { key, rec })) : /* @__PURE__ */ React12.createElement(Text10, { dimColor: true, italic: true }, "no records")), /* @__PURE__ */ React12.createElement(Box10, { marginTop: 1, paddingX: 1, borderStyle: "single", borderColor: "gray" }, /* @__PURE__ */ React12.createElement(Text10, { dimColor: true }, /* @__PURE__ */ React12.createElement(Text10, { bold: true }, "j"), "/", /* @__PURE__ */ React12.createElement(Text10, { bold: true }, "\u2193"), "/", /* @__PURE__ */ React12.createElement(Text10, { bold: true }, "space"), " next \xB7 ", /* @__PURE__ */ React12.createElement(Text10, { bold: true }, "k"), "/", /* @__PURE__ */ React12.createElement(Text10, { bold: true }, "\u2191"), " prev \xB7 ", /* @__PURE__ */ React12.createElement(Text10, { bold: true }, "g"), " first \xB7 ", /* @__PURE__ */ React12.createElement(Text10, { bold: true }, "G"), " last \xB7", " ", /* @__PURE__ */ React12.createElement(Text10, { bold: true }, "q"), " quit")));
+  ), /* @__PURE__ */ React13.createElement(Box11, { flexDirection: "column", marginTop: 1, paddingX: 1 }, /* @__PURE__ */ React13.createElement(Box11, { justifyContent: "space-between" }, /* @__PURE__ */ React13.createElement(Text11, { color: "cyan", bold: true }, progressLabel), meta ? /* @__PURE__ */ React13.createElement(Text11, { dimColor: true }, meta.source, meta.task ? ` \xB7 ${meta.task}` : "", meta.mode ? ` \xB7 ${meta.mode}` : "") : null), currentPage ? /* @__PURE__ */ React13.createElement(Static3, { items: currentPage.records.map((rec, i) => ({ key: `${idx}-${i}`, rec })) }, ({ key, rec }) => /* @__PURE__ */ React13.createElement(RecordView, { key, rec })) : /* @__PURE__ */ React13.createElement(Text11, { dimColor: true, italic: true }, "no records")), /* @__PURE__ */ React13.createElement(Box11, { marginTop: 1, paddingX: 1, borderStyle: "single", borderColor: "gray" }, /* @__PURE__ */ React13.createElement(Text11, { dimColor: true }, /* @__PURE__ */ React13.createElement(Text11, { bold: true }, "j"), "/", /* @__PURE__ */ React13.createElement(Text11, { bold: true }, "\u2193"), "/", /* @__PURE__ */ React13.createElement(Text11, { bold: true }, "space"), " next \xB7 ", /* @__PURE__ */ React13.createElement(Text11, { bold: true }, "k"), "/", /* @__PURE__ */ React13.createElement(Text11, { bold: true }, "\u2191"), " prev \xB7 ", /* @__PURE__ */ React13.createElement(Text11, { bold: true }, "g"), " first \xB7 ", /* @__PURE__ */ React13.createElement(Text11, { bold: true }, "G"), " last \xB7", " ", /* @__PURE__ */ React13.createElement(Text11, { bold: true }, "q"), " quit")));
 }
 
 // src/cli/commands/replay.ts
@@ -4491,7 +5270,7 @@ async function replayCommand(opts) {
   }
   const { parsed } = replayFromFile(opts.path);
   const pages = groupRecordsByTurn(parsed.records);
-  const { waitUntilExit } = render3(React13.createElement(ReplayApp, { meta: parsed.meta, pages }), {
+  const { waitUntilExit } = render3(React14.createElement(ReplayApp, { meta: parsed.meta, pages }), {
     exitOnCtrlC: true
   });
   await waitUntilExit();
@@ -4543,7 +5322,7 @@ function sliceRecords(records, opts) {
 function renderRecord(rec) {
   const turn = `[t${rec.turn}]`;
   if (rec.role === "user") {
-    console.log(`${turn} USER: ${oneLine(rec.content)}`);
+    console.log(`${turn} USER: ${oneLine2(rec.content)}`);
   } else if (rec.role === "assistant_final") {
     const cost = rec.cost !== void 0 ? ` $${rec.cost.toFixed(6)}` : "";
     const cache = rec.usage && (rec.usage.prompt_cache_hit_tokens !== void 0 || rec.usage.prompt_cache_miss_tokens !== void 0) ? (() => {
@@ -4552,7 +5331,7 @@ function renderRecord(rec) {
       const total = hit + miss;
       return total > 0 ? ` cache=${(hit / total * 100).toFixed(1)}%` : "";
     })() : "";
-    console.log(`${turn} AGENT:${cost}${cache} ${oneLine(rec.content)}`);
+    console.log(`${turn} AGENT:${cost}${cache} ${oneLine2(rec.content)}`);
     if (rec.planState) {
       const ps = rec.planState;
       if (ps.subgoals.length)
@@ -4569,16 +5348,16 @@ function renderRecord(rec) {
         );
     }
   } else if (rec.role === "tool") {
-    const args = rec.args ? ` args=${oneLine(rec.args, 80)}` : "";
-    console.log(`${turn} TOOL ${rec.tool ?? "?"}:${args} \u2192 ${oneLine(rec.content, 120)}`);
+    const args = rec.args ? ` args=${oneLine2(rec.args, 80)}` : "";
+    console.log(`${turn} TOOL ${rec.tool ?? "?"}:${args} \u2192 ${oneLine2(rec.content, 120)}`);
   } else if (rec.role === "error") {
     console.log(`${turn} ERROR: ${rec.error ?? rec.content}`);
   } else if (rec.role === "done") {
   } else {
-    console.log(`${turn} ${rec.role}: ${oneLine(rec.content)}`);
+    console.log(`${turn} ${rec.role}: ${oneLine2(rec.content)}`);
   }
 }
-function oneLine(s, max = 200) {
+function oneLine2(s, max = 200) {
   const collapsed = s.replace(/\s+/g, " ").trim();
   return collapsed.length > max ? `${collapsed.slice(0, max)}\u2026` : collapsed;
 }
@@ -4764,7 +5543,7 @@ function inspectSession(name, verbose) {
 function renderMessage(msg, turnIdx, verbose) {
   const turn = turnIdx > 0 ? `[t${turnIdx}]` : "[start]";
   const content = typeof msg.content === "string" ? msg.content : "";
-  const flat = oneLine2(content);
+  const flat = oneLine3(content);
   if (msg.role === "user") {
     console.log(`${turn} USER: ${flat}`);
   } else if (msg.role === "assistant") {
@@ -4782,7 +5561,7 @@ function renderMessage(msg, turnIdx, verbose) {
     if (verbose) console.log(`${turn} SYSTEM: ${truncate4(flat, 160)}`);
   }
 }
-function oneLine2(s, max = 200) {
+function oneLine3(s, max = 200) {
   const collapsed = s.replace(/\s+/g, " ").trim();
   return collapsed.length > max ? `${collapsed.slice(0, max)}\u2026` : collapsed;
 }
@@ -4792,16 +5571,16 @@ function truncate4(s, max) {
 
 // src/cli/commands/setup.tsx
 import { render as render4 } from "ink";
-import React16 from "react";
+import React17 from "react";
 
 // src/cli/ui/Wizard.tsx
-import { Box as Box12, Text as Text12, useApp as useApp5, useInput as useInput5 } from "ink";
-import TextInput3 from "ink-text-input";
-import React15, { useState as useState8 } from "react";
+import { Box as Box13, Text as Text13, useApp as useApp5, useInput as useInput6 } from "ink";
+import TextInput2 from "ink-text-input";
+import React16, { useState as useState9 } from "react";
 
 // src/cli/ui/Select.tsx
-import { Box as Box11, Text as Text11, useInput as useInput4 } from "ink";
-import React14, { useState as useState7 } from "react";
+import { Box as Box12, Text as Text12, useInput as useInput5 } from "ink";
+import React15, { useState as useState8 } from "react";
 function SingleSelect({
   items,
   initialValue,
@@ -4812,8 +5591,8 @@ function SingleSelect({
     0,
     items.findIndex((i) => i.value === initialValue && !i.disabled)
   );
-  const [index, setIndex] = useState7(initialIndex === -1 ? 0 : initialIndex);
-  useInput4((_input, key) => {
+  const [index, setIndex] = useState8(initialIndex === -1 ? 0 : initialIndex);
+  useInput5((_input, key) => {
     if (key.upArrow) {
       setIndex((i) => findNextEnabled(items, i, -1));
     } else if (key.downArrow) {
@@ -4825,7 +5604,7 @@ function SingleSelect({
       onCancel();
     }
   });
-  return /* @__PURE__ */ React14.createElement(Box11, { flexDirection: "column" }, items.map((item, i) => /* @__PURE__ */ React14.createElement(
+  return /* @__PURE__ */ React15.createElement(Box12, { flexDirection: "column" }, items.map((item, i) => /* @__PURE__ */ React15.createElement(
     SelectRow,
     {
       key: item.value,
@@ -4842,12 +5621,12 @@ function MultiSelect({
   onCancel,
   footer
 }) {
-  const [index, setIndex] = useState7(() => {
+  const [index, setIndex] = useState8(() => {
     const first = items.findIndex((i) => !i.disabled);
     return first === -1 ? 0 : first;
   });
-  const [selected, setSelected] = useState7(new Set(initialSelected));
-  useInput4((input, key) => {
+  const [selected, setSelected] = useState8(new Set(initialSelected));
+  useInput5((input, key) => {
     if (key.upArrow) {
       setIndex((i) => findNextEnabled(items, i, -1));
     } else if (key.downArrow) {
@@ -4868,10 +5647,10 @@ function MultiSelect({
       onCancel();
     }
   });
-  return /* @__PURE__ */ React14.createElement(Box11, { flexDirection: "column" }, items.map((item, i) => {
+  return /* @__PURE__ */ React15.createElement(Box12, { flexDirection: "column" }, items.map((item, i) => {
     const checked = selected.has(item.value);
     const marker = checked ? "[x]" : "[ ]";
-    return /* @__PURE__ */ React14.createElement(
+    return /* @__PURE__ */ React15.createElement(
       SelectRow,
       {
         key: item.value,
@@ -4880,7 +5659,7 @@ function MultiSelect({
         marker: `${i === index ? "\u25B8" : " "} ${marker}`
       }
     );
-  }), footer ? /* @__PURE__ */ React14.createElement(Box11, { marginTop: 1 }, /* @__PURE__ */ React14.createElement(Text11, { dimColor: true }, footer)) : null);
+  }), footer ? /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, footer)) : null);
 }
 function SelectRow({
   item,
@@ -4888,7 +5667,7 @@ function SelectRow({
   marker
 }) {
   const color = item.disabled ? "gray" : active ? "cyan" : void 0;
-  return /* @__PURE__ */ React14.createElement(Box11, { flexDirection: "column" }, /* @__PURE__ */ React14.createElement(Box11, null, /* @__PURE__ */ React14.createElement(Text11, { color }, marker, " ", item.label)), item.hint ? /* @__PURE__ */ React14.createElement(Box11, { paddingLeft: marker.length + 1 }, /* @__PURE__ */ React14.createElement(Text11, { dimColor: true }, item.hint)) : null);
+  return /* @__PURE__ */ React15.createElement(Box12, { flexDirection: "column" }, /* @__PURE__ */ React15.createElement(Box12, null, /* @__PURE__ */ React15.createElement(Text12, { color }, marker, " ", item.label)), item.hint ? /* @__PURE__ */ React15.createElement(Box12, { paddingLeft: marker.length + 1 }, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, item.hint)) : null);
 }
 function findNextEnabled(items, from, step) {
   if (items.length === 0) return 0;
@@ -4925,19 +5704,19 @@ var PRESET_DESCRIPTIONS = {
 var CATALOG_BY_NAME = new Map(MCP_CATALOG.map((e) => [e.name, e]));
 function Wizard({ onComplete, onCancel, existingApiKey, initial }) {
   const { exit } = useApp5();
-  const [step, setStep] = useState8(existingApiKey ? "preset" : "apiKey");
-  const [data, setData] = useState8({
+  const [step, setStep] = useState9(existingApiKey ? "preset" : "apiKey");
+  const [data, setData] = useState9({
     apiKey: existingApiKey ?? "",
     preset: initial?.preset ?? "fast",
     selectedCatalog: deriveInitialCatalog(initial?.mcp ?? []),
     catalogArgs: {}
   });
-  const [error, setError] = useState8(null);
-  useInput5((_input, key) => {
+  const [error, setError] = useState9(null);
+  useInput6((_input, key) => {
     if (key.escape && step !== "saved" && onCancel) onCancel();
   });
   if (step === "apiKey") {
-    return /* @__PURE__ */ React15.createElement(
+    return /* @__PURE__ */ React16.createElement(
       ApiKeyStep,
       {
         onSubmit: (key) => {
@@ -4951,7 +5730,7 @@ function Wizard({ onComplete, onCancel, existingApiKey, initial }) {
     );
   }
   if (step === "preset") {
-    return /* @__PURE__ */ React15.createElement(StepFrame, { title: "Pick a preset", step: 1, total: 3 }, /* @__PURE__ */ React15.createElement(
+    return /* @__PURE__ */ React16.createElement(StepFrame, { title: "Pick a preset", step: 1, total: 3 }, /* @__PURE__ */ React16.createElement(
       SingleSelect,
       {
         items: presetItems(),
@@ -4961,10 +5740,10 @@ function Wizard({ onComplete, onCancel, existingApiKey, initial }) {
           setStep("mcp");
         }
       }
-    ), /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, "\u2191/\u2193 move \xB7 enter confirm \xB7 esc cancel")));
+    ), /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, "\u2191/\u2193 move \xB7 enter confirm \xB7 esc cancel")));
   }
   if (step === "mcp") {
-    return /* @__PURE__ */ React15.createElement(StepFrame, { title: "Which MCP servers should Reasonix wire up for you?", step: 2, total: 3 }, /* @__PURE__ */ React15.createElement(
+    return /* @__PURE__ */ React16.createElement(StepFrame, { title: "Which MCP servers should Reasonix wire up for you?", step: 2, total: 3 }, /* @__PURE__ */ React16.createElement(
       MultiSelect,
       {
         items: mcpItems(),
@@ -4989,7 +5768,7 @@ function Wizard({ onComplete, onCancel, existingApiKey, initial }) {
     }
     const currentName = pending[0];
     const entry = CATALOG_BY_NAME.get(currentName);
-    return /* @__PURE__ */ React15.createElement(
+    return /* @__PURE__ */ React16.createElement(
       McpArgsStep,
       {
         entry,
@@ -5007,7 +5786,7 @@ function Wizard({ onComplete, onCancel, existingApiKey, initial }) {
   }
   if (step === "review") {
     const specs = data.selectedCatalog.map((name) => buildSpec(name, data.catalogArgs));
-    return /* @__PURE__ */ React15.createElement(StepFrame, { title: "Ready to save", step: 3, total: 3 }, /* @__PURE__ */ React15.createElement(Box12, { flexDirection: "column" }, /* @__PURE__ */ React15.createElement(SummaryLine, { label: "API key", value: redactKey(data.apiKey) }), /* @__PURE__ */ React15.createElement(SummaryLine, { label: "Preset", value: data.preset }), /* @__PURE__ */ React15.createElement(
+    return /* @__PURE__ */ React16.createElement(StepFrame, { title: "Ready to save", step: 3, total: 3 }, /* @__PURE__ */ React16.createElement(Box13, { flexDirection: "column" }, /* @__PURE__ */ React16.createElement(SummaryLine, { label: "API key", value: redactKey(data.apiKey) }), /* @__PURE__ */ React16.createElement(SummaryLine, { label: "Preset", value: data.preset }), /* @__PURE__ */ React16.createElement(
       SummaryLine,
       {
         label: "MCP",
@@ -5015,8 +5794,8 @@ function Wizard({ onComplete, onCancel, existingApiKey, initial }) {
       }
     ), specs.map((spec, i) => (
       // biome-ignore lint/suspicious/noArrayIndexKey: review-only render, order fixed
-      /* @__PURE__ */ React15.createElement(Box12, { key: i, paddingLeft: 14 }, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, "\xB7 ", spec))
-    )), /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, null, "Saves to ", defaultConfigPath())), error ? /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { color: "red" }, error)) : null, /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, "enter save \xB7 esc cancel"))), /* @__PURE__ */ React15.createElement(
+      /* @__PURE__ */ React16.createElement(Box13, { key: i, paddingLeft: 14 }, /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, "\xB7 ", spec))
+    )), /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, null, "Saves to ", defaultConfigPath())), error ? /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { color: "red" }, error)) : null, /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, "enter save \xB7 esc cancel"))), /* @__PURE__ */ React16.createElement(
       ReviewConfirm,
       {
         onConfirm: () => {
@@ -5042,16 +5821,16 @@ function Wizard({ onComplete, onCancel, existingApiKey, initial }) {
       }
     ));
   }
-  return /* @__PURE__ */ React15.createElement(Box12, { flexDirection: "column", borderStyle: "round", borderColor: "green", paddingX: 1 }, /* @__PURE__ */ React15.createElement(Text12, { bold: true, color: "green" }, "\u25B8 Saved."), /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, null, "Run `reasonix` any time to start chatting \u2014 your settings are remembered.")), /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, "Press enter to exit.")), /* @__PURE__ */ React15.createElement(ExitOnEnter, { onExit: exit }));
+  return /* @__PURE__ */ React16.createElement(Box13, { flexDirection: "column", borderStyle: "round", borderColor: "green", paddingX: 1 }, /* @__PURE__ */ React16.createElement(Text13, { bold: true, color: "green" }, "\u25B8 Saved."), /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, null, "Run `reasonix` any time to start chatting \u2014 your settings are remembered.")), /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, "Press enter to exit.")), /* @__PURE__ */ React16.createElement(ExitOnEnter, { onExit: exit }));
 }
 function ApiKeyStep({
   onSubmit,
   error,
   onError
 }) {
-  const [value, setValue] = useState8("");
-  return /* @__PURE__ */ React15.createElement(Box12, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React15.createElement(Text12, { bold: true, color: "cyan" }, "Welcome to Reasonix."), /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, null, "Paste your DeepSeek API key to get started.")), /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, "Get one (free credit on signup): https://platform.deepseek.com/api_keys"), /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, "Saved locally to ", defaultConfigPath()), /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { bold: true, color: "cyan" }, "key \u203A "), /* @__PURE__ */ React15.createElement(
-    TextInput3,
+  const [value, setValue] = useState9("");
+  return /* @__PURE__ */ React16.createElement(Box13, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React16.createElement(Text13, { bold: true, color: "cyan" }, "Welcome to Reasonix."), /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, null, "Paste your DeepSeek API key to get started.")), /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, "Get one (free credit on signup): https://platform.deepseek.com/api_keys"), /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, "Saved locally to ", defaultConfigPath()), /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { bold: true, color: "cyan" }, "key \u203A "), /* @__PURE__ */ React16.createElement(
+    TextInput2,
     {
       value,
       onChange: setValue,
@@ -5067,7 +5846,7 @@ function ApiKeyStep({
       mask: "\u2022",
       placeholder: "sk-..."
     }
-  )), error ? /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { color: "red" }, error)) : value ? /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, "preview: ", redactKey(value))) : null);
+  )), error ? /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { color: "red" }, error)) : value ? /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, "preview: ", redactKey(value))) : null);
 }
 function McpArgsStep({
   entry,
@@ -5075,9 +5854,9 @@ function McpArgsStep({
   onSubmit,
   onError
 }) {
-  const [value, setValue] = useState8("");
-  return /* @__PURE__ */ React15.createElement(StepFrame, { title: `Configure ${entry.name}`, step: 2, total: 3 }, /* @__PURE__ */ React15.createElement(Box12, { flexDirection: "column" }, /* @__PURE__ */ React15.createElement(Text12, null, entry.summary), entry.note ? /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, entry.note)) : null, /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, null, "Required parameter: "), /* @__PURE__ */ React15.createElement(Text12, { bold: true }, entry.userArgs)), /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { bold: true, color: "cyan" }, entry.userArgs, " \u203A "), /* @__PURE__ */ React15.createElement(
-    TextInput3,
+  const [value, setValue] = useState9("");
+  return /* @__PURE__ */ React16.createElement(StepFrame, { title: `Configure ${entry.name}`, step: 2, total: 3 }, /* @__PURE__ */ React16.createElement(Box13, { flexDirection: "column" }, /* @__PURE__ */ React16.createElement(Text13, null, entry.summary), entry.note ? /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, entry.note)) : null, /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, null, "Required parameter: "), /* @__PURE__ */ React16.createElement(Text13, { bold: true }, entry.userArgs)), /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { bold: true, color: "cyan" }, entry.userArgs, " \u203A "), /* @__PURE__ */ React16.createElement(
+    TextInput2,
     {
       value,
       onChange: setValue,
@@ -5092,16 +5871,16 @@ function McpArgsStep({
       },
       placeholder: placeholderFor(entry)
     }
-  )), error ? /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1 }, /* @__PURE__ */ React15.createElement(Text12, { color: "red" }, error)) : null));
+  )), error ? /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1 }, /* @__PURE__ */ React16.createElement(Text13, { color: "red" }, error)) : null));
 }
 function ReviewConfirm({ onConfirm }) {
-  useInput5((_i, key) => {
+  useInput6((_i, key) => {
     if (key.return) onConfirm();
   });
   return null;
 }
 function ExitOnEnter({ onExit }) {
-  useInput5((_i, key) => {
+  useInput6((_i, key) => {
     if (key.return) onExit();
   });
   return null;
@@ -5112,10 +5891,10 @@ function StepFrame({
   total,
   children
 }) {
-  return /* @__PURE__ */ React15.createElement(Box12, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React15.createElement(Box12, null, /* @__PURE__ */ React15.createElement(Text12, { dimColor: true }, "Step ", step, "/", total, " \xB7", " "), /* @__PURE__ */ React15.createElement(Text12, { bold: true, color: "cyan" }, title)), /* @__PURE__ */ React15.createElement(Box12, { marginTop: 1, flexDirection: "column" }, children));
+  return /* @__PURE__ */ React16.createElement(Box13, { flexDirection: "column", borderStyle: "round", borderColor: "cyan", paddingX: 1 }, /* @__PURE__ */ React16.createElement(Box13, null, /* @__PURE__ */ React16.createElement(Text13, { dimColor: true }, "Step ", step, "/", total, " \xB7", " "), /* @__PURE__ */ React16.createElement(Text13, { bold: true, color: "cyan" }, title)), /* @__PURE__ */ React16.createElement(Box13, { marginTop: 1, flexDirection: "column" }, children));
 }
 function SummaryLine({ label, value }) {
-  return /* @__PURE__ */ React15.createElement(Box12, null, /* @__PURE__ */ React15.createElement(Text12, null, label.padEnd(12)), /* @__PURE__ */ React15.createElement(Text12, { bold: true }, value));
+  return /* @__PURE__ */ React16.createElement(Box13, null, /* @__PURE__ */ React16.createElement(Text13, null, label.padEnd(12)), /* @__PURE__ */ React16.createElement(Text13, { bold: true }, value));
 }
 function presetItems() {
   return ["fast", "smart", "max"].map((name) => ({
@@ -5158,10 +5937,10 @@ function buildSpec(name, argsByName) {
   const entry = CATALOG_BY_NAME.get(name);
   if (!entry) return name;
   const userArg = entry.userArgs ? argsByName[name] : void 0;
-  const tail = userArg ? ` ${quoteIfNeeded2(userArg)}` : "";
+  const tail = userArg ? ` ${quoteIfNeeded(userArg)}` : "";
   return `${entry.name}=npx -y ${entry.package}${tail}`;
 }
-function quoteIfNeeded2(s) {
+function quoteIfNeeded(s) {
   return /\s|"/.test(s) ? `"${s.replace(/"/g, '\\"')}"` : s;
 }
 
@@ -5171,7 +5950,7 @@ async function setupCommand(_opts = {}) {
   const existingKey = loadApiKey();
   const existing = readConfig();
   const { waitUntilExit, unmount } = render4(
-    /* @__PURE__ */ React16.createElement(
+    /* @__PURE__ */ React17.createElement(
       Wizard,
       {
         existingApiKey: existingKey,
@@ -5390,6 +6169,17 @@ var mcp = program.command("mcp").description("Model Context Protocol helpers \u2
 mcp.command("list").description("Show a curated catalog of popular MCP servers with ready-to-use --mcp commands.").option("--json", "Emit the catalog as JSON instead of the human-readable table").action((opts) => {
   mcpListCommand({ json: !!opts.json });
 });
+mcp.command("inspect <spec>").description(
+  'Connect to one MCP server and print its server info + tools/resources/prompts. <spec> takes the same forms as --mcp ("name=cmd args", "cmd args", or an SSE URL).'
+).option("--json", "Emit the full inspection report as JSON instead of the human-readable summary").action(async (spec, opts) => {
+  try {
+    await mcpInspectCommand({ spec, json: !!opts.json });
+  } catch (err) {
+    process.stderr.write(`mcp inspect failed: ${err.message}
+`);
+    process.exit(1);
+  }
+});
 program.command("version").description("Print Reasonix version.").action(versionCommand);
 program.parseAsync(process.argv).catch((err) => {
   console.error(err);