openfox 2.0.38 → 2.0.40

package/dist/agent-defaults/builder.agent.md

@@ -16,6 +16,8 @@ allowedTools:
   - load_skill
   - dev_server
   - background_process
+  - trace_code
+  - mcp_config
 ---
 
 # Build Mode

package/dist/agent-defaults/code-reviewer.agent.md

@@ -9,6 +9,7 @@ allowedTools:
   - run_command
   - web_fetch
   - session_metadata
+  - trace_code
 ---
 
 You are a code reviewer. Review the **git diff** of the modified files rather than reading the full files.

package/dist/agent-defaults/explorer.agent.md

@@ -8,6 +8,7 @@ allowedTools:
   - read_file
   - run_command
   - web_fetch
+  - trace_code
 ---
 
 You are a codebase exploration expert.

package/dist/agent-defaults/planner.agent.md

@@ -15,6 +15,7 @@ allowedTools:
   - background_process
   - mcp_config
   - dev_server
+  - trace_code
 ---
 
 # Plan Mode

package/dist/{chat-handler-TPKAEATB.js → chat-handler-KPQ3OM3U.js}

@@ -5,9 +5,9 @@ import {
 } from "./chunk-JGNAYJJZ.js";
 import {
   runChatTurn
-} from "./chunk-FFQCZ2MI.js";
-import "./chunk-HJ7KRYWX.js";
-import "./chunk-DL6ZILAF.js";
+} from "./chunk-WUG3TOAL.js";
+import "./chunk-LH5J7V4F.js";
+import "./chunk-LBGHZLLH.js";
 import "./chunk-PBGOZMVY.js";
 import "./chunk-VRGRAQDG.js";
 import "./chunk-NWO6GRYE.js";
@@ -145,4 +145,4 @@ export {
   startChatSession,
   stopSessionExecution
 };
-//# sourceMappingURL=chat-handler-TPKAEATB.js.map
+//# sourceMappingURL=chat-handler-KPQ3OM3U.js.map

package/dist/{chunk-7W2WATAO.js → chunk-34CRQ76B.js}

@@ -202,7 +202,7 @@ async function runCli(options) {
       if (!configExists) {
         await runNetworkSetup(mode);
       }
-      const { runServe } = await import("./serve-VIWHYE6X.js");
+      const { runServe } = await import("./serve-NC3U2VTG.js");
       const serveOptions = { mode };
       if (values.port) serveOptions.port = parseInt(values.port);
       if (values["no-browser"] === true) serveOptions.openBrowser = false;
@@ -214,4 +214,4 @@ async function runCli(options) {
 export {
   runCli
 };
-//# sourceMappingURL=chunk-7W2WATAO.js.map
+//# sourceMappingURL=chunk-34CRQ76B.js.map

package/dist/{chunk-GZZW4XSI.js → chunk-EZJFNX7D.js}

@@ -2,7 +2,7 @@ import {
   injectWorkflowKickoffIfNeeded,
   runAgentTurn,
   runChatTurn
-} from "./chunk-FFQCZ2MI.js";
+} from "./chunk-WUG3TOAL.js";
 import {
   applyDynamicContext,
   checkAborted,
@@ -16,7 +16,7 @@ import {
   loadAllAgentsDefault,
   saveItemToDir,
   spawnShellProcess
-} from "./chunk-HJ7KRYWX.js";
+} from "./chunk-LH5J7V4F.js";
 import {
   getPlatformShell,
   onProcessEvent
@@ -2056,4 +2056,4 @@ export {
   signalMcpReady,
   createWebSocketServer
 };
-//# sourceMappingURL=chunk-GZZW4XSI.js.map
+//# sourceMappingURL=chunk-EZJFNX7D.js.map

package/dist/{chunk-ATBNY4CL.js → chunk-J7QZK6WE.js}

@@ -21,7 +21,7 @@ import {
   tokenFromPassword,
   verifyPassword,
   workflowExists
-} from "./chunk-GZZW4XSI.js";
+} from "./chunk-EZJFNX7D.js";
 import {
   agentExists,
   createToolRegistry,
@@ -61,7 +61,7 @@ import {
   setMcpTools,
   setNotifyMcpServersChanged,
   skillExists
-} from "./chunk-HJ7KRYWX.js";
+} from "./chunk-LH5J7V4F.js";
 import {
   getPathSeparator,
   isAbsolutePath
@@ -148,7 +148,7 @@ import {
 import express from "express";
 import cors from "cors";
 import { createServer as createHttpServer } from "http";
-import { fileURLToPath as fileURLToPath4 } from "url";
+import { fileURLToPath as fileURLToPath5 } from "url";
 import { dirname as dirname5, resolve as resolve3, join as join5 } from "path";
 import { readFile } from "fs/promises";
 import { createServer as createViteServer } from "vite";
@@ -1594,6 +1594,7 @@ var McpManager = class {
 // src/server/lsp/server.ts
 import { spawn } from "child_process";
 import { extname } from "path";
+import { fileURLToPath } from "url";
 import { createMessageConnection, StreamMessageReader, StreamMessageWriter } from "vscode-jsonrpc/node.js";
 var LSP = {
   initialize: "initialize",
@@ -1603,7 +1604,12 @@ var LSP = {
   didOpen: "textDocument/didOpen",
   didChange: "textDocument/didChange",
   didClose: "textDocument/didClose",
-  publishDiagnostics: "textDocument/publishDiagnostics"
+  publishDiagnostics: "textDocument/publishDiagnostics",
+  definition: "textDocument/definition",
+  references: "textDocument/references",
+  typeDefinition: "textDocument/typeDefinition",
+  hover: "textDocument/hover",
+  workspaceSymbol: "workspace/symbol"
 };
 var DiagnosticSeverity = {
   Error: 1,
@@ -1611,7 +1617,38 @@ var DiagnosticSeverity = {
   Information: 3,
   Hint: 4
 };
+function hoverInfo(contents, range) {
+  return range ? { contents, range } : { contents };
+}
 var DIAGNOSTIC_WAIT_MS = 2e3;
+var SYMBOL_KIND_NAMES = {
+  1: "File",
+  2: "Module",
+  3: "Namespace",
+  4: "Package",
+  5: "Class",
+  6: "Method",
+  7: "Property",
+  8: "Field",
+  9: "Constructor",
+  10: "Enum",
+  11: "Interface",
+  12: "Function",
+  13: "Variable",
+  14: "Constant",
+  15: "String",
+  16: "Number",
+  17: "Boolean",
+  18: "Array",
+  19: "Object",
+  20: "Key",
+  21: "Null",
+  22: "EnumMember",
+  23: "Struct",
+  24: "Event",
+  25: "Operator",
+  26: "TypeParameter"
+};
 function mapSeverity(severity) {
   switch (severity) {
     case DiagnosticSeverity.Error:
@@ -1906,6 +1943,174 @@ var LspServer = class {
     return () => this.diagnosticsCallbacks.delete(callback);
   }
   // ============================================================================
+  // Code Navigation Queries
+  // ============================================================================
+  /**
+   * Convert a file:// URI to a local path.
+   * Handles Windows paths (file:///C:/...) and URL-encoded characters.
+   */
+  uriToPath(uri) {
+    try {
+      return fileURLToPath(uri);
+    } catch {
+      return uri.replace(/^file:\/\//, "");
+    }
+  }
+  /**
+   * Convert a local path to a file:// URI.
+   */
+  pathToUri(path) {
+    return `file://${path}`;
+  }
+  /**
+   * Convert an LSP location to our internal CodeLocation.
+   */
+  toCodeLocation(loc) {
+    return {
+      path: this.uriToPath(loc.uri),
+      line: loc.range.start.line,
+      character: loc.range.start.character,
+      endLine: loc.range.end.line,
+      endCharacter: loc.range.end.character
+    };
+  }
+  /**
+   * Ensure the server is running before making a query.
+   */
+  requireConnection() {
+    if (this.state !== "running" || !this.connection) {
+      throw new Error("LSP server is not running");
+    }
+    return this.connection;
+  }
+  /**
+   * Normalize a single Location or Location[] response into CodeLocation[].
+   */
+  normalizeLocations(response) {
+    if (!response) return [];
+    if (Array.isArray(response)) {
+      return response.map((loc) => this.toCodeLocation(loc));
+    }
+    return [this.toCodeLocation(response)];
+  }
+  /**
+   * Find the definition of a symbol at the given position.
+   * Sends textDocument/definition request.
+   */
+  async getDefinition(path, line, character) {
+    try {
+      const conn = this.requireConnection();
+      const uri = this.pathToUri(path);
+      const result = await conn.sendRequest(LSP.definition, {
+        textDocument: { uri },
+        position: { line, character }
+      });
+      return this.normalizeLocations(result);
+    } catch {
+      return [];
+    }
+  }
+  /**
+   * Find all references to a symbol at the given position.
+   * Sends textDocument/references request.
+   */
+  async getReferences(path, line, character) {
+    try {
+      const conn = this.requireConnection();
+      const uri = this.pathToUri(path);
+      const result = await conn.sendRequest(LSP.references, {
+        textDocument: { uri },
+        position: { line, character },
+        context: { includeDeclaration: true }
+      });
+      return this.normalizeLocations(result);
+    } catch {
+      return [];
+    }
+  }
+  /**
+   * Find the type definition of a symbol at the given position.
+   * Sends textDocument/typeDefinition request.
+   */
+  async getTypeDefinition(path, line, character) {
+    try {
+      const conn = this.requireConnection();
+      const uri = this.pathToUri(path);
+      const result = await conn.sendRequest(LSP.typeDefinition, {
+        textDocument: { uri },
+        position: { line, character }
+      });
+      return this.normalizeLocations(result);
+    } catch {
+      return [];
+    }
+  }
+  /**
+   * Search workspace for a symbol by name.
+   * Sends workspace/symbol request.
+   */
+  async findWorkspaceSymbol(query) {
+    try {
+      const conn = this.requireConnection();
+      const result = await conn.sendRequest(LSP.workspaceSymbol, { query });
+      if (!Array.isArray(result)) return [];
+      return result.map((sym) => {
+        const info = {
+          name: sym.name,
+          kind: this.symbolKindToString(sym.kind),
+          location: this.toCodeLocation(sym.location)
+        };
+        if (sym.containerName) {
+          info.containerName = sym.containerName;
+        }
+        return info;
+      });
+    } catch {
+      return [];
+    }
+  }
+  /**
+   * Get hover information for a symbol at the given position.
+   * Sends textDocument/hover request.
+   */
+  async getHoverInfo(path, line, character) {
+    try {
+      const conn = this.requireConnection();
+      const uri = this.pathToUri(path);
+      const result = await conn.sendRequest(LSP.hover, {
+        textDocument: { uri },
+        position: { line, character }
+      });
+      if (!result) return null;
+      const contents = this.extractHoverContents(result.contents);
+      const range = result.range ? {
+        start: { line: result.range.start.line, character: result.range.start.character },
+        end: { line: result.range.end.line, character: result.range.end.character }
+      } : void 0;
+      return hoverInfo(contents, range);
+    } catch {
+      return null;
+    }
+  }
+  /**
+   * Extract a plain-text string from hover contents (which can be
+   * MarkupContent, MarkedString, or an array of either).
+   */
+  extractHoverContents(contents) {
+    if (typeof contents === "string") return contents;
+    if (Array.isArray(contents)) {
+      return contents.map((c) => typeof c === "string" ? c : c.value).join("\n\n");
+    }
+    return contents.value;
+  }
+  /**
+   * Convert LSP SymbolKind number to a human-readable string.
+   * See https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#symbolKind
+   */
+  symbolKindToString(kind) {
+    return SYMBOL_KIND_NAMES[kind] ?? "Unknown";
+  }
+  // ============================================================================
   // Status
   // ============================================================================
   isRunning() {
@@ -1917,13 +2122,22 @@ var LspServer = class {
   getLanguage() {
     return this.config.id;
   }
+  hasOpenDocuments() {
+    return this.openDocuments.size > 0;
+  }
+  getExtensions() {
+    return this.config.extensions;
+  }
 };
 
+// src/server/lsp/manager.ts
+import { readFileSync as readFileSync2 } from "fs";
+
 // src/server/utils/which.ts
 import { access, constants } from "fs/promises";
 import { join, dirname } from "path";
-import { fileURLToPath } from "url";
-var __dirname = dirname(fileURLToPath(import.meta.url));
+import { fileURLToPath as fileURLToPath2 } from "url";
+var __dirname = dirname(fileURLToPath2(import.meta.url));
 function getBundledBinPaths() {
   const paths = [];
   paths.push(join(process.cwd(), "node_modules", ".bin"));
@@ -1973,9 +2187,9 @@ async function which(command, workdir) {
 // src/server/lsp/languages.ts
 import { extname as extname2, basename } from "path";
 import { readFileSync } from "fs";
-import { fileURLToPath as fileURLToPath2 } from "url";
+import { fileURLToPath as fileURLToPath3 } from "url";
 import { dirname as dirname2, resolve } from "path";
-var __dirname2 = dirname2(fileURLToPath2(import.meta.url));
+var __dirname2 = dirname2(fileURLToPath3(import.meta.url));
 var languagesJson = JSON.parse(readFileSync(resolve(__dirname2, "languages.json"), "utf-8"));
 var LANGUAGES = languagesJson;
 var extensionToLanguage = /* @__PURE__ */ new Map();
@@ -2151,6 +2365,85 @@ var LspManager = class {
     }
     return null;
   }
+  // ============================================================================
+  // Code Navigation Queries
+  // ============================================================================
+  /**
+   * Find the definition of a symbol at the given position.
+   */
+  async getDefinition(path, line, character) {
+    const server = await this.getServerForFile(path);
+    if (!server) return [];
+    return server.getDefinition(path, line, character);
+  }
+  /**
+   * Find all references to a symbol at the given position.
+   */
+  async getReferences(path, line, character) {
+    const server = await this.getServerForFile(path);
+    if (!server) return [];
+    return server.getReferences(path, line, character);
+  }
+  /**
+   * Find the type definition of a symbol at the given position.
+   */
+  async getTypeDefinition(path, line, character) {
+    const server = await this.getServerForFile(path);
+    if (!server) return [];
+    return server.getTypeDefinition(path, line, character);
+  }
+  /**
+   * Search workspace for a symbol by name.
+   * Uses the first available server that supports workspace/symbol.
+   */
+  async findWorkspaceSymbol(query) {
+    for (const server of this.servers.values()) {
+      if (server.isRunning()) {
+        const results = await server.findWorkspaceSymbol(query);
+        if (results.length > 0) return results;
+      }
+    }
+    return [];
+  }
+  /**
+   * Open a file to seed the LSP server, then search for a workspace symbol.
+   *
+   * Some LSP servers (e.g., typescript-language-server) only index projects
+   * after a file is opened via textDocument/didOpen. This method:
+   * 1. Detects the language from the file and starts the appropriate server
+   * 2. Reads the file from disk and sends didOpen to trigger project indexing
+   * 3. Sends a hover request to flush the notification queue (JSON-RPC processes
+   *    requests sequentially, so the server must finish didOpen before responding)
+   * 4. Queries workspace/symbol for the given symbol
+   */
+  async seedAndFindWorkspaceSymbol(query, filePath) {
+    const server = await this.getServerForFile(filePath);
+    if (!server?.isRunning()) return [];
+    try {
+      const content = readFileSync2(filePath, "utf-8");
+      await server.didOpen(filePath, content);
+      await server.getHoverInfo(filePath, 0, 0);
+    } catch (error) {
+      logger.warn("Failed to seed LSP server", {
+        path: filePath,
+        error: error instanceof Error ? error.message : String(error),
+        sessionId: this.sessionId
+      });
+      return [];
+    }
+    return server.findWorkspaceSymbol(query);
+  }
+  /**
+   * Get hover information for a symbol at the given position.
+   */
+  async getHoverInfo(path, line, character) {
+    const server = await this.getServerForFile(path);
+    if (!server) return null;
+    return server.getHoverInfo(path, line, character);
+  }
+  // ============================================================================
+  // Shutdown
+  // ============================================================================
   /**
    * Shutdown all LSP servers.
    */
@@ -3105,9 +3398,9 @@ function createSkillRoutes(configDir, projectDir) {
 // src/server/commands/registry.ts
 import { writeFile, mkdir, unlink } from "fs/promises";
 import { join as join3, dirname as dirname3 } from "path";
-import { fileURLToPath as fileURLToPath3 } from "url";
+import { fileURLToPath as fileURLToPath4 } from "url";
 import matter from "gray-matter";
-var __bundleDir = dirname3(fileURLToPath3(import.meta.url));
+var __bundleDir = dirname3(fileURLToPath4(import.meta.url));
 var DEFAULTS_DIR = join3(__bundleDir, "defaults");
 var DEFAULTS_DIR_ALT = join3(__bundleDir, "command-defaults");
 var COMMAND_EXTENSION = ".command.md";
@@ -3544,7 +3837,7 @@ import { Router as Router7 } from "express";
 import { spawn as spawn2 } from "child_process";
 
 // src/constants.ts
-var VERSION = "2.0.38";
+var VERSION = "2.0.40";
 
 // src/server/routes/auto-update.ts
 var updateInProgress = false;
@@ -3659,7 +3952,7 @@ function createAutoUpdateRoutes(options = {}) {
 }
 
 // src/server/index.ts
-var __dirname3 = dirname5(fileURLToPath4(import.meta.url));
+var __dirname3 = dirname5(fileURLToPath5(import.meta.url));
 async function createServerHandle(config4) {
   setRuntimeConfig(config4);
   setLogLevel(config4.logging?.level ?? void 0, config4.mode);
@@ -3741,7 +4034,7 @@ async function createServerHandle(config4) {
       setMcpTools(mcpTools);
       logger.info("MCP tools registered", { count: mcpTools.length });
     }
-    const { signalMcpReady } = await import("./server-MEJPUI4S.js");
+    const { signalMcpReady } = await import("./server-INICKQAY.js");
     signalMcpReady();
   });
   const app = express();
@@ -3934,7 +4227,7 @@ async function createServerHandle(config4) {
   app.get("/api/sessions/:id", async (req, res) => {
     const { getEventStore: getEventStore2 } = await import("./events-KZZPCW2Q.js");
     const { buildMessagesFromStoredEvents } = await import("./folding-ENYH4LMG.js");
-    const { getPendingQuestionsForSession } = await import("./tools-ATO5MSWX.js");
+    const { getPendingQuestionsForSession } = await import("./tools-Q32G4RCJ.js");
     const session = sessionManager.getSession(req.params.id);
     if (!session) {
       return res.status(404).json({ error: "Session not found" });
@@ -4085,7 +4378,7 @@ async function createServerHandle(config4) {
     if (!callId || approved === void 0) {
       return res.status(400).json({ error: "callId and approved are required" });
     }
-    const { providePathConfirmation } = await import("./tools-ATO5MSWX.js");
+    const { providePathConfirmation } = await import("./tools-Q32G4RCJ.js");
     const result = providePathConfirmation(callId, approved, alwaysAllow);
     if (!result.found) {
       return res.status(404).json({ error: "No pending path confirmation with that ID" });
@@ -4093,7 +4386,7 @@ async function createServerHandle(config4) {
     const { getEventStore: getEventStore2 } = await import("./events-KZZPCW2Q.js");
     const { buildMessagesFromStoredEvents, foldPendingConfirmations } = await import("./folding-ENYH4LMG.js");
     const { createSessionStateMessage } = await import("./protocol-BKNLAEPJ.js");
-    const { getPendingQuestionsForSession } = await import("./tools-ATO5MSWX.js");
+    const { getPendingQuestionsForSession } = await import("./tools-Q32G4RCJ.js");
     const eventStore = getEventStore2();
     const events = eventStore.getEvents(sessionId);
     const messages = buildMessagesFromStoredEvents(events);
@@ -4114,7 +4407,7 @@ async function createServerHandle(config4) {
     if (!skip && typeof answer !== "string") {
       return res.status(400).json({ error: "answer is required when not skipping" });
     }
-    const { provideAnswer } = await import("./tools-ATO5MSWX.js");
+    const { provideAnswer } = await import("./tools-Q32G4RCJ.js");
     const found = provideAnswer(callId, answer ?? "", skip ?? false);
     if (!found) {
       return res.status(404).json({ error: "No pending question with that ID" });
@@ -4150,8 +4443,8 @@ async function createServerHandle(config4) {
     if (!session) {
       return res.status(404).json({ error: "Session not found" });
     }
-    const { stopSessionExecution } = await import("./chat-handler-TPKAEATB.js");
-    const { cancelQuestionsForSession, cancelPathConfirmationsForSession } = await import("./tools-ATO5MSWX.js");
+    const { stopSessionExecution } = await import("./chat-handler-KPQ3OM3U.js");
+    const { cancelQuestionsForSession, cancelPathConfirmationsForSession } = await import("./tools-Q32G4RCJ.js");
     const queuedMessages = sessionManager.getQueueState(sessionId);
     sessionManager.clearMessageQueue(sessionId);
     stopSessionExecution(sessionId, sessionManager);
@@ -4647,7 +4940,7 @@ async function createServerHandle(config4) {
   });
   async function rebuildMcpTools() {
     const { createMcpTools: createMcpTools2 } = await import("./tool-adapter-B7QP6NLA.js");
-    const { setMcpTools: setMcpTools2 } = await import("./tools-ATO5MSWX.js");
+    const { setMcpTools: setMcpTools2 } = await import("./tools-Q32G4RCJ.js");
     const mcpTools = createMcpTools2(mcpManager);
     setMcpTools2(mcpTools);
   }
@@ -4926,11 +5219,6 @@ async function createServerHandle(config4) {
       res.set("Content-Type", "application/javascript");
       readFile(join5(distWebDir, "__inspect__.js")).then((content) => res.send(content)).catch(() => res.status(404).send("Not found"));
     });
-    app.use("/__inspect__.js", (_req, res) => {
-      res.set("Access-Control-Allow-Origin", "*");
-      res.set("Content-Type", "application/javascript");
-      readFile(join5(distWebDir, "__inspect__.js")).then((content) => res.send(content)).catch(() => res.status(404).send("Not found"));
-    });
     app.get("/", (_req, res) => {
       readFile(join5(distWebDir, "index.html"), "utf-8").then((content) => res.send(content)).catch(() => {
         res.status(404).send("Web UI not built. Run `npm run build:web`");
@@ -4960,7 +5248,7 @@ async function createServerHandle(config4) {
     const state = sessionManager.getContextState(sessionId);
     wssExports.broadcastForSession(sessionId, createContextStateMessage(state));
   });
-  const { QueueProcessor } = await import("./processor-NG4NH2SS.js");
+  const { QueueProcessor } = await import("./processor-PQ5IQ24D.js");
   const queueProcessor = new QueueProcessor({
     sessionManager,
     providerManager,
@@ -5001,7 +5289,7 @@ async function createServerHandle(config4) {
       void (async () => {
         await devServerManager.stopAll();
         await mcpManager.disconnectAll();
-        const { stopAllInspectProxies } = await import("./inspect-proxy-42ZXL2R5.js");
+        const { stopAllInspectProxies } = await import("./inspect-proxy-UT2LFGJ5.js");
         stopAllInspectProxies();
         const { cleanupAllProcesses } = await import("./store-OQ45KONN.js");
         cleanupAllProcesses();
@@ -5035,4 +5323,4 @@ export {
   createServerHandle,
   createServer
 };
-//# sourceMappingURL=chunk-ATBNY4CL.js.map
+//# sourceMappingURL=chunk-J7QZK6WE.js.map