import { z } from "zod";
import type { AgentTool } from "@kenkaiiii/gg-agent";
import type { LspManager } from "../core/lsp/manager.js";
import { type ToolOperations } from "./operations.js";
declare const CodeNavParams: z.ZodObject<{
    op: z.ZodEnum<{
        definition: "definition";
        references: "references";
        symbols: "symbols";
        hover: "hover";
    }>;
    file: z.ZodString;
    line: z.ZodOptional<z.ZodNumber>;
    column: z.ZodOptional<z.ZodNumber>;
    symbol: z.ZodOptional<z.ZodString>;
    max_results: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>;
/**
 * Semantic code navigation, backed by the project's language server.
 *
 * One tool with an `op` enum rather than four tools: each tool in the live set
 * costs a full JSON schema on every request, and four near-identical schemas
 * would spend the budget this harness is trying to save.
 *
 * Rename is deliberately absent. A workspace-wide rename that half-applies is
 * worse than no rename at all, and nothing here can roll one back.
 */
export declare function createCodeNavTool(cwd: string, lspManager: LspManager | undefined, ops?: ToolOperations): AgentTool<typeof CodeNavParams>;
export {};
//# sourceMappingURL=code-nav.d.ts.map