@cruxy/cli 0.19.0 → 0.21.0

package/dist/lsp/registry.js

@@ -0,0 +1,133 @@
+import fs from "node:fs";
+import path from "node:path";
+/**
+ * The default language → server table (C.12). Documented and overridable per
+ * language via `lsp.servers.<lang>`. cruxy never guesses a command: a language
+ * is served only if it appears here or in config, and the binary must actually
+ * be installed — otherwise the caller gets a coded, actionable failure.
+ */
+export const DEFAULT_SPECS = {
+    typescript: {
+        command: "typescript-language-server",
+        args: ["--stdio"],
+        installHint: "install it: `npm i -g typescript-language-server typescript`",
+    },
+    javascript: {
+        command: "typescript-language-server",
+        args: ["--stdio"],
+        installHint: "install it: `npm i -g typescript-language-server typescript`",
+    },
+    python: {
+        command: "pyright-langserver",
+        args: ["--stdio"],
+        installHint: "install it: `npm i -g pyright`",
+    },
+    go: {
+        command: "gopls",
+        args: [],
+        installHint: "install it: `go install golang.org/x/tools/gopls@latest`",
+    },
+    rust: {
+        command: "rust-analyzer",
+        args: [],
+        installHint: "install it: `rustup component add rust-analyzer`",
+    },
+};
+/**
+ * File extension → language id. Extensions are matched case-insensitively and
+ * include the leading dot. A file whose extension is absent here has no server
+ * (the caller reports `no-spec`, distinct from a missing binary).
+ */
+export const EXT_TO_LANGUAGE = {
+    ".ts": "typescript",
+    ".tsx": "typescript",
+    ".mts": "typescript",
+    ".cts": "typescript",
+    ".js": "javascript",
+    ".jsx": "javascript",
+    ".mjs": "javascript",
+    ".cjs": "javascript",
+    ".py": "python",
+    ".pyi": "python",
+    ".go": "go",
+    ".rs": "rust",
+};
+/** The language id for a file path, or `null` when its extension is unmapped. */
+export function languageForFile(filePath) {
+    const ext = path.extname(filePath).toLowerCase();
+    return EXT_TO_LANGUAGE[ext] ?? null;
+}
+/**
+ * Default binary-presence check: resolves `command` the way a shell would.
+ * An absolute/relative path is tested directly; a bare name is searched across
+ * `PATH` (with `PATHEXT` on win32). Pure filesystem probing — never spawns.
+ * Injectable via {@link LspRegistry} so tests can force present/absent.
+ */
+export const binaryOnPath = (command) => {
+    if (command.includes(path.sep) || command.includes("/")) {
+        return isExecutable(command);
+    }
+    const dirs = (process.env.PATH ?? "").split(path.delimiter).filter(Boolean);
+    const exts = process.platform === "win32"
+        ? (process.env.PATHEXT ?? ".EXE;.CMD;.BAT;.COM").split(";")
+        : [""];
+    for (const dir of dirs) {
+        for (const ext of exts) {
+            if (isExecutable(path.join(dir, command + ext)))
+                return true;
+        }
+    }
+    return false;
+};
+function isExecutable(candidate) {
+    try {
+        const stat = fs.statSync(candidate);
+        if (!stat.isFile())
+            return false;
+        // On POSIX, require an execute bit; on win32 existence is enough.
+        if (process.platform === "win32")
+            return true;
+        return (stat.mode & 0o111) !== 0;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Resolves a language to a launchable {@link ServerSpec}, or an explicit
+ * "not available" verdict. Config overrides (`lsp.servers.<lang>`, a full
+ * command line split on whitespace) win over the default table; the resolved
+ * binary must be present or the verdict is `binary-missing`.
+ */
+export class LspRegistry {
+    config;
+    present;
+    constructor(config, present = binaryOnPath) {
+        this.config = config;
+        this.present = present;
+    }
+    /** The server spec for a language, from config override or the default table. */
+    specFor(language) {
+        const override = this.config.servers[language];
+        if (override) {
+            const parts = override.trim().split(/\s+/);
+            const command = parts[0];
+            if (!command)
+                return null;
+            return { language, command, args: parts.slice(1) };
+        }
+        const def = DEFAULT_SPECS[language];
+        return def ? { language, ...def } : null;
+    }
+    /** Explicit availability verdict — never conflates "no spec" with "no binary". */
+    resolve(language) {
+        const spec = this.specFor(language);
+        if (!spec) {
+            return { available: false, language, spec: null, reason: "no-spec" };
+        }
+        if (!this.present(spec.command)) {
+            return { available: false, language, spec, reason: "binary-missing" };
+        }
+        return { available: true, spec };
+    }
+}

package/dist/lsp/server.d.ts

@@ -0,0 +1,48 @@
+import type { LanguageServer, LspDiagnostic, LspHover, LspLocation, LspTransport, ServerSpec } from "./types.js";
+/** Bounds threaded from `lsp.*` config into a server. */
+export interface ServerTimeouts {
+    startupTimeout: number;
+    requestTimeout: number;
+}
+/**
+ * An initialized {@link LanguageServer} over an {@link LspTransport} (C.12).
+ * Owns the LSP handshake, lazily opens documents (servers answer only for open
+ * files), converts LSP's 0-based positions / `file://` URIs to normalized
+ * 1-based / path results, and shuts down cleanly. A missing/timed-out/crashed
+ * server surfaces as a coded error; an empty answer stays an honest `[]`/`null`.
+ */
+export declare class Server implements LanguageServer {
+    private readonly transport;
+    private readonly root;
+    private readonly timeouts;
+    readonly language: string;
+    private _alive;
+    private readonly openDocs;
+    private readonly diagnosticsByUri;
+    private readonly diagnosticsWaiters;
+    private constructor();
+    get alive(): boolean;
+    /**
+     * Spawn+handshake a server: `initialize` (bounded by `startupTimeout`) then
+     * the `initialized` notification. A startup timeout throws a coded error after
+     * the transport is force-disposed — never a hang.
+     */
+    static start(transport: LspTransport, root: string, spec: ServerSpec, timeouts: ServerTimeouts): Promise<Server>;
+    definition(file: string, line: number, col: number): Promise<LspLocation[]>;
+    references(file: string, line: number, col: number): Promise<LspLocation[]>;
+    hover(file: string, line: number, col: number): Promise<LspHover | null>;
+    diagnostics(file: string): Promise<LspDiagnostic[]>;
+    shutdown(force?: boolean): Promise<void>;
+    private uri;
+    private ensureOpen;
+    private query;
+    /** One request with per-request timeout + coded-error mapping (timeout/crash). */
+    private request;
+    private onPublishDiagnostics;
+    private waitForDiagnostics;
+    private toLocations;
+    private toLocation;
+    private toDiagnostic;
+    /** `file://` URI → project-relative path (falls back to the fs path on error). */
+    private relativize;
+}

package/dist/lsp/server.js

@@ -0,0 +1,264 @@
+import { promises as fsp } from "node:fs";
+import { pathToFileURL, fileURLToPath } from "node:url";
+import { lspCrashed, lspTimeout } from "../errors/index.js";
+import { TransportTimeoutError } from "./transport.js";
+/**
+ * An initialized {@link LanguageServer} over an {@link LspTransport} (C.12).
+ * Owns the LSP handshake, lazily opens documents (servers answer only for open
+ * files), converts LSP's 0-based positions / `file://` URIs to normalized
+ * 1-based / path results, and shuts down cleanly. A missing/timed-out/crashed
+ * server surfaces as a coded error; an empty answer stays an honest `[]`/`null`.
+ */
+export class Server {
+    transport;
+    root;
+    timeouts;
+    language;
+    _alive = true;
+    openDocs = new Set();
+    diagnosticsByUri = new Map();
+    diagnosticsWaiters = new Map();
+    constructor(transport, root, spec, timeouts) {
+        this.transport = transport;
+        this.root = root;
+        this.timeouts = timeouts;
+        this.language = spec.language;
+        this.transport.onCrash(() => {
+            this._alive = false;
+        });
+        this.transport.onNotification("textDocument/publishDiagnostics", (params) => this.onPublishDiagnostics(params));
+    }
+    get alive() {
+        return this._alive;
+    }
+    /**
+     * Spawn+handshake a server: `initialize` (bounded by `startupTimeout`) then
+     * the `initialized` notification. A startup timeout throws a coded error after
+     * the transport is force-disposed — never a hang.
+     */
+    static async start(transport, root, spec, timeouts) {
+        const server = new Server(transport, root, spec, timeouts);
+        const rootUri = pathToFileURL(root).toString();
+        try {
+            await transport.request("initialize", {
+                processId: process.pid,
+                rootUri,
+                workspaceFolders: [{ uri: rootUri, name: "root" }],
+                capabilities: {
+                    textDocument: {
+                        synchronization: { dynamicRegistration: false },
+                        definition: { dynamicRegistration: false },
+                        references: { dynamicRegistration: false },
+                        hover: { contentFormat: ["markdown", "plaintext"] },
+                        publishDiagnostics: {},
+                    },
+                },
+            }, timeouts.startupTimeout);
+        }
+        catch (err) {
+            await transport.dispose(true);
+            if (err instanceof TransportTimeoutError) {
+                throw lspTimeout(spec.language, "startup", timeouts.startupTimeout);
+            }
+            throw err;
+        }
+        transport.notify("initialized", {});
+        return server;
+    }
+    async definition(file, line, col) {
+        await this.ensureOpen(file);
+        const result = await this.query("textDocument/definition", file, line, col);
+        return this.toLocations(result);
+    }
+    async references(file, line, col) {
+        await this.ensureOpen(file);
+        const result = await this.request("textDocument/references", {
+            textDocument: { uri: this.uri(file) },
+            position: toPosition(line, col),
+            context: { includeDeclaration: true },
+        });
+        return this.toLocations(result);
+    }
+    async hover(file, line, col) {
+        await this.ensureOpen(file);
+        const result = (await this.query("textDocument/hover", file, line, col));
+        if (!result || result.contents == null)
+            return null;
+        const contents = flattenHover(result.contents).trim();
+        if (!contents)
+            return null;
+        return {
+            contents,
+            range: result.range
+                ? this.toLocation(this.uri(file), result.range)
+                : undefined,
+        };
+    }
+    async diagnostics(file) {
+        const uri = this.uri(file);
+        const fresh = !this.openDocs.has(uri);
+        await this.ensureOpen(file);
+        // Most servers PUSH diagnostics via publishDiagnostics after didOpen. If a
+        // push already arrived (reused doc), return it; otherwise wait one bounded
+        // window for the first push, then honestly return whatever we have ([] is a
+        // real "no diagnostics", never conflated with "server unavailable").
+        if (!fresh && this.diagnosticsByUri.has(uri)) {
+            return this.diagnosticsByUri.get(uri) ?? [];
+        }
+        await this.waitForDiagnostics(uri, this.timeouts.requestTimeout);
+        return this.diagnosticsByUri.get(uri) ?? [];
+    }
+    async shutdown(force = false) {
+        if (this._alive && !force) {
+            try {
+                await this.request("shutdown", null);
+                this.transport.notify("exit", null);
+            }
+            catch {
+                // A server that won't answer shutdown gets force-killed below anyway.
+            }
+        }
+        this._alive = false;
+        await this.transport.dispose(force);
+    }
+    // ── internals ─────────────────────────────────────────────────────────────
+    uri(file) {
+        return pathToFileURL(file).toString();
+    }
+    async ensureOpen(file) {
+        const uri = this.uri(file);
+        if (this.openDocs.has(uri))
+            return;
+        const text = await fsp.readFile(file, "utf8");
+        this.transport.notify("textDocument/didOpen", {
+            textDocument: { uri, languageId: this.language, version: 1, text },
+        });
+        this.openDocs.add(uri);
+    }
+    query(method, file, line, col) {
+        return this.request(method, {
+            textDocument: { uri: this.uri(file) },
+            position: toPosition(line, col),
+        });
+    }
+    /** One request with per-request timeout + coded-error mapping (timeout/crash). */
+    async request(method, params) {
+        try {
+            return await this.transport.request(method, params, this.timeouts.requestTimeout);
+        }
+        catch (err) {
+            if (err instanceof TransportTimeoutError) {
+                throw lspTimeout(this.language, "request", this.timeouts.requestTimeout);
+            }
+            if (!this._alive) {
+                throw lspCrashed(this.language, err.message);
+            }
+            throw err;
+        }
+    }
+    onPublishDiagnostics(params) {
+        const p = params;
+        if (!p?.uri)
+            return;
+        const list = (p.diagnostics ?? []).map((d) => this.toDiagnostic(p.uri, d));
+        this.diagnosticsByUri.set(p.uri, list);
+        const waiters = this.diagnosticsWaiters.get(p.uri);
+        if (waiters) {
+            this.diagnosticsWaiters.delete(p.uri);
+            for (const w of waiters)
+                w();
+        }
+    }
+    waitForDiagnostics(uri, timeoutMs) {
+        if (this.diagnosticsByUri.has(uri))
+            return Promise.resolve();
+        return new Promise((resolve) => {
+            const waiters = this.diagnosticsWaiters.get(uri) ?? [];
+            let done = false;
+            const finish = () => {
+                if (done)
+                    return;
+                done = true;
+                resolve();
+            };
+            waiters.push(finish);
+            this.diagnosticsWaiters.set(uri, waiters);
+            const timer = setTimeout(finish, timeoutMs);
+            timer.unref?.();
+        });
+    }
+    // ── normalization (LSP → normalized) ────────────────────────────────────────
+    toLocations(result) {
+        if (result == null)
+            return [];
+        const raw = Array.isArray(result) ? result : [result];
+        const out = [];
+        for (const item of raw) {
+            // Plain Location: { uri, range }. LocationLink: { targetUri, targetRange }.
+            const loc = item;
+            const uri = loc.uri ?? loc.targetUri;
+            const range = loc.range ?? loc.targetRange;
+            if (uri && range)
+                out.push(this.toLocation(uri, range));
+        }
+        return out;
+    }
+    toLocation(uri, range) {
+        return {
+            path: this.relativize(uri),
+            startLine: range.start.line + 1,
+            startCol: range.start.character + 1,
+            endLine: range.end.line + 1,
+            endCol: range.end.character + 1,
+        };
+    }
+    toDiagnostic(uri, d) {
+        return {
+            path: this.relativize(uri),
+            range: this.toLocation(uri, d.range),
+            severity: SEVERITY[d.severity ?? 1] ?? "error",
+            message: d.message,
+            source: d.source,
+        };
+    }
+    /** `file://` URI → project-relative path (falls back to the fs path on error). */
+    relativize(uri) {
+        let abs;
+        try {
+            abs = fileURLToPath(uri);
+        }
+        catch {
+            return uri;
+        }
+        const rel = relativePath(this.root, abs);
+        return rel;
+    }
+}
+const SEVERITY = {
+    1: "error",
+    2: "warning",
+    3: "info",
+    4: "hint",
+};
+function toPosition(line, col) {
+    // Tool inputs are 1-based; LSP is 0-based. Clamp at 0 defensively.
+    return { line: Math.max(0, line - 1), character: Math.max(0, col - 1) };
+}
+/** Flatten every hover-content shape (string / MarkedString / MarkupContent) to text. */
+function flattenHover(contents) {
+    if (typeof contents === "string")
+        return contents;
+    if (Array.isArray(contents)) {
+        return contents
+            .map((c) => (typeof c === "string" ? c : c.value))
+            .join("\n");
+    }
+    return contents.value;
+}
+/** POSIX-normalized project-relative path (kept in one place for display). */
+function relativePath(root, abs) {
+    const path = abs.startsWith(root)
+        ? abs.slice(root.length).replace(/^[/\\]+/, "")
+        : abs;
+    return path.split("\\").join("/");
+}

package/dist/lsp/service.d.ts

@@ -0,0 +1,44 @@
+import type { CruxyConfig } from "../config/index.js";
+import type { BinaryPresent, LspDiagnostic, LspHover, LspLocation, TransportFactory } from "./types.js";
+/** Logger surface the service reports through (matches the indexing service). */
+interface ServiceLogger {
+    debug(message: string): void;
+    info(message: string): void;
+    warn(message: string): void;
+}
+/**
+ * A ready-to-use LSP facade for one project root (C.12): it owns the registry,
+ * pool, and client, exposes the four normalized queries, and shuts the whole
+ * server pool down on `close()`. Build one with {@link getLspService}, cached
+ * per cwd so servers are spawned at most once per project per process.
+ */
+export interface LspService {
+    definition(file: string, line: number, col: number): Promise<LspLocation[]>;
+    references(file: string, line: number, col: number): Promise<LspLocation[]>;
+    hover(file: string, line: number, col: number): Promise<LspHover | null>;
+    diagnostics(file: string): Promise<LspDiagnostic[]>;
+    /** Shut down every managed server (session end / process teardown). */
+    close(): Promise<void>;
+}
+/**
+ * Explicit dependency overrides, for tests only. Production callers (the LSP
+ * tools) never pass these, so they always go through the real stdio transport
+ * and PATH-based binary detection.
+ */
+export interface LspServiceDeps {
+    /** Substitute the JSON-RPC transport (a fake stdio peer — no real binary). */
+    transportFactory?: TransportFactory;
+    /** Substitute PATH-based binary detection (force present/absent). */
+    binaryPresent?: BinaryPresent;
+    /** Substitute the idle clock. */
+    now?: () => number;
+}
+/**
+ * Get (or build) the {@link LspService} for a project root, cached per resolved
+ * cwd so the pool is created at most once per process. No server spawns until
+ * the first query. `deps` is for explicit test injection only.
+ */
+export declare function getLspService(cwd: string, config: CruxyConfig, logger: ServiceLogger, deps?: LspServiceDeps): LspService;
+/** Drop all cached services (shutting them down). For tests and process teardown. */
+export declare function resetLspServices(): Promise<void>;
+export {};

package/dist/lsp/service.js

@@ -0,0 +1,76 @@
+import path from "node:path";
+import { Server } from "./server.js";
+import { LspRegistry, binaryOnPath } from "./registry.js";
+import { LspPool } from "./pool.js";
+import { LspClient } from "./client.js";
+class LspServiceImpl {
+    pool;
+    logger;
+    client;
+    constructor(pool, logger) {
+        this.pool = pool;
+        this.logger = logger;
+        this.client = new LspClient(pool);
+    }
+    definition(file, line, col) {
+        return this.client.definition(file, line, col);
+    }
+    references(file, line, col) {
+        return this.client.references(file, line, col);
+    }
+    hover(file, line, col) {
+        return this.client.hover(file, line, col);
+    }
+    diagnostics(file) {
+        return this.client.diagnostics(file);
+    }
+    async close() {
+        this.logger.debug("shutting down LSP servers");
+        await this.pool.shutdownAll();
+    }
+}
+// ── per-cwd cache ──────────────────────────────────────────────────────────────
+const cache = new Map();
+/**
+ * Get (or build) the {@link LspService} for a project root, cached per resolved
+ * cwd so the pool is created at most once per process. No server spawns until
+ * the first query. `deps` is for explicit test injection only.
+ */
+export function getLspService(cwd, config, logger, deps) {
+    const root = path.resolve(cwd);
+    let service = cache.get(root);
+    if (!service) {
+        service = buildService(root, config, logger, deps);
+        cache.set(root, service);
+    }
+    return service;
+}
+/** Drop all cached services (shutting them down). For tests and process teardown. */
+export async function resetLspServices() {
+    const services = [...cache.values()];
+    cache.clear();
+    for (const service of services) {
+        try {
+            await service.close();
+        }
+        catch {
+            /* already closed or failed to build */
+        }
+    }
+}
+function buildService(root, config, logger, deps) {
+    const lsp = config.lsp;
+    const registry = new LspRegistry(lsp, deps?.binaryPresent ?? binaryOnPath);
+    const timeouts = {
+        startupTimeout: lsp.startupTimeout,
+        requestTimeout: lsp.requestTimeout,
+    };
+    const transportFactory = deps?.transportFactory;
+    const pool = new LspPool(registry, root, { ...timeouts, maxServers: lsp.maxServers, idleTimeout: lsp.idleTimeout }, {
+        now: deps?.now,
+        startServer: transportFactory
+            ? (spec) => Server.start(transportFactory(spec, root), root, spec, timeouts)
+            : undefined,
+    });
+    return new LspServiceImpl(pool, logger);
+}

package/dist/lsp/tools/common.d.ts

@@ -0,0 +1,23 @@
+import type { ToolContext, ToolResult } from "../../tools/types.js";
+import { type LspService } from "../service.js";
+import type { LspLocation } from "../types.js";
+/**
+ * The shared spine of every LSP tool (C.12): enforce the master switch, validate
+ * the target path stays in the project root, prove it exists, get the per-cwd
+ * service, and run `query`. Read-only throughout — no `ctx.requestApproval`, so
+ * these bypass the U.3 gate exactly like `search_codebase` and `grep_files`.
+ *
+ * Errors are surfaced as `{ ok:false }` text the agent can act on: a coded LSP
+ * failure (no server / timeout / crash) is rendered WITH its next step, so the
+ * agent can reroute (e.g. to grep) or the user can install the server. A genuine
+ * empty answer never reaches here as an error — `query` returns it as `ok:true`.
+ */
+export declare function runLspTool(ctx: ToolContext, file: string, query: (service: LspService, absFile: string) => Promise<ToolResult>): Promise<ToolResult>;
+/**
+ * Render up to `max` locations as `path:line:col-endLine:endCol`, one per line,
+ * with a trailing "N more" note when capped — the same bounded-honest pattern as
+ * grep_files and search_codebase (never silently drop the overflow).
+ */
+export declare function formatLocations(locations: LspLocation[], max: number): string;
+/** Relative label for a validated absolute path, for tool messages. */
+export declare function relLabel(cwd: string, absFile: string): string;

package/dist/lsp/tools/common.js

@@ -0,0 +1,75 @@
+import { promises as fsp } from "node:fs";
+import path from "node:path";
+import { CruxyError } from "../../errors/index.js";
+import { resolveInRoot } from "../../tools/file/paths.js";
+import { getLspService } from "../service.js";
+/**
+ * The shared spine of every LSP tool (C.12): enforce the master switch, validate
+ * the target path stays in the project root, prove it exists, get the per-cwd
+ * service, and run `query`. Read-only throughout — no `ctx.requestApproval`, so
+ * these bypass the U.3 gate exactly like `search_codebase` and `grep_files`.
+ *
+ * Errors are surfaced as `{ ok:false }` text the agent can act on: a coded LSP
+ * failure (no server / timeout / crash) is rendered WITH its next step, so the
+ * agent can reroute (e.g. to grep) or the user can install the server. A genuine
+ * empty answer never reaches here as an error — `query` returns it as `ok:true`.
+ */
+export async function runLspTool(ctx, file, query) {
+    if (!ctx.config.lsp.enabled) {
+        return {
+            ok: false,
+            error: "LSP tools are disabled (set lsp.enabled = true to use language-server features)",
+        };
+    }
+    let absFile;
+    try {
+        absFile = await resolveInRoot(ctx, file);
+    }
+    catch (err) {
+        return { ok: false, error: err.message };
+    }
+    try {
+        const stat = await fsp.stat(absFile);
+        if (!stat.isFile()) {
+            return { ok: false, error: `not a file: ${file}` };
+        }
+    }
+    catch {
+        return { ok: false, error: `file not found: ${file}` };
+    }
+    try {
+        const service = getLspService(ctx.cwd, ctx.config, ctx.logger);
+        return await query(service, absFile);
+    }
+    catch (err) {
+        return { ok: false, error: describeError(err) };
+    }
+}
+/** Render a coded LSP error with its actionable next step, for the model to read. */
+function describeError(err) {
+    if (CruxyError.is(err)) {
+        const cause = err.cause ? ` — ${err.cause}` : "";
+        const step = err.nextSteps[0] ? `\n→ ${err.nextSteps[0]}` : "";
+        return `[${err.code}] ${err.title}${cause}${step}`;
+    }
+    return err.message;
+}
+/**
+ * Render up to `max` locations as `path:line:col-endLine:endCol`, one per line,
+ * with a trailing "N more" note when capped — the same bounded-honest pattern as
+ * grep_files and search_codebase (never silently drop the overflow).
+ */
+export function formatLocations(locations, max) {
+    const shown = locations.slice(0, max);
+    const lines = shown.map((l) => `${l.path}:${l.startLine}:${l.startCol}-${l.endLine}:${l.endCol}`);
+    const omitted = locations.length - shown.length;
+    if (omitted > 0) {
+        lines.push(`… [${omitted} more location(s) omitted]`);
+    }
+    return lines.join("\n");
+}
+/** Relative label for a validated absolute path, for tool messages. */
+export function relLabel(cwd, absFile) {
+    const rel = path.relative(path.resolve(cwd), absFile);
+    return rel === "" ? absFile : rel.split(path.sep).join("/");
+}

package/dist/lsp/tools/find-definition.d.ts

@@ -0,0 +1,23 @@
+import { z } from "zod";
+import type { Tool } from "../../tools/types.js";
+declare const parameters: z.ZodObject<{
+    file: z.ZodString;
+    line: z.ZodNumber;
+    column: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    line: number;
+    column: number;
+}, {
+    file: string;
+    line: number;
+    column: number;
+}>;
+/**
+ * LSP go-to-definition (C.12). Read-only — no approval, like search_codebase.
+ * Returns the definition site(s) as `path:line:col-endLine:endCol`. A missing
+ * language server is a coded, actionable error (distinct from "no definition
+ * found", which is an honest empty result).
+ */
+export declare const findDefinitionTool: Tool<typeof parameters>;
+export {};