@cruxy/cli 0.18.0 → 0.20.0

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 {};

package/dist/lsp/tools/find-definition.js

@@ -0,0 +1,41 @@
+import { z } from "zod";
+import { formatLocations, runLspTool } from "./common.js";
+const parameters = z.object({
+    file: z
+        .string()
+        .min(1)
+        .describe("Project-relative path to the file containing the symbol."),
+    line: z
+        .number()
+        .int()
+        .positive()
+        .describe("1-based line number of the symbol to resolve."),
+    column: z
+        .number()
+        .int()
+        .positive()
+        .describe("1-based column of the symbol (position of the identifier)."),
+});
+/**
+ * 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 const findDefinitionTool = {
+    name: "find_definition",
+    description: "Resolve where a symbol is defined using the project's language server (go-to-definition). Give the file and the 1-based line/column of the identifier. Returns definition locations as 'path:line:col-endLine:endCol'. Read-only, no approval. Precise where grep is textual — prefer this to jump to a symbol's definition.",
+    parameters,
+    execute(input, ctx) {
+        return runLspTool(ctx, input.file, async (service, absFile) => {
+            const locations = await service.definition(absFile, input.line, input.column);
+            if (locations.length === 0) {
+                return { ok: true, output: "(no definition found)" };
+            }
+            return {
+                ok: true,
+                output: formatLocations(locations, ctx.config.lsp.maxResults),
+            };
+        });
+    },
+};

package/dist/lsp/tools/find-references.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 find-references (C.12). Read-only — no approval. Returns every use of the
+ * symbol (declaration included) as `path:line:col-endLine:endCol`, capped to
+ * `lsp.maxResults` with an "N more" note so a hot symbol can't flood the output.
+ * A missing server is a coded error, distinct from an honest "no references".
+ */
+export declare const findReferencesTool: Tool<typeof parameters>;
+export {};

package/dist/lsp/tools/find-references.js

@@ -0,0 +1,41 @@
+import { z } from "zod";
+import { formatLocations, runLspTool } from "./common.js";
+const parameters = z.object({
+    file: z
+        .string()
+        .min(1)
+        .describe("Project-relative path to the file containing the symbol."),
+    line: z
+        .number()
+        .int()
+        .positive()
+        .describe("1-based line number of the symbol."),
+    column: z
+        .number()
+        .int()
+        .positive()
+        .describe("1-based column of the symbol (position of the identifier)."),
+});
+/**
+ * LSP find-references (C.12). Read-only — no approval. Returns every use of the
+ * symbol (declaration included) as `path:line:col-endLine:endCol`, capped to
+ * `lsp.maxResults` with an "N more" note so a hot symbol can't flood the output.
+ * A missing server is a coded error, distinct from an honest "no references".
+ */
+export const findReferencesTool = {
+    name: "find_references",
+    description: "Find all references to a symbol using the project's language server. Give the file and the 1-based line/column of the identifier. Returns use sites as 'path:line:col-endLine:endCol' (capped, with an 'N more' note). Read-only, no approval. Precise where grep is textual — prefer this to see every caller/user of a symbol.",
+    parameters,
+    execute(input, ctx) {
+        return runLspTool(ctx, input.file, async (service, absFile) => {
+            const locations = await service.references(absFile, input.line, input.column);
+            if (locations.length === 0) {
+                return { ok: true, output: "(no references found)" };
+            }
+            return {
+                ok: true,
+                output: formatLocations(locations, ctx.config.lsp.maxResults),
+            };
+        });
+    },
+};

package/dist/lsp/tools/get-diagnostics.d.ts

@@ -0,0 +1,17 @@
+import { z } from "zod";
+import type { Tool } from "../../tools/types.js";
+declare const parameters: z.ZodObject<{
+    file: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+}, {
+    file: string;
+}>;
+/**
+ * LSP diagnostics (C.12): the language server's errors/warnings for a file.
+ * Read-only — no approval. Returns each diagnostic as
+ * `severity path:line:col message [source]`, capped to `lsp.maxResults`. A
+ * missing server is a coded error; a clean file is an honest empty result.
+ */
+export declare const getDiagnosticsTool: Tool<typeof parameters>;
+export {};