import { z } from "zod"; import type { ToolSpec } from "../../types/index.js"; export declare const lspSearch: ToolSpec; /** * Common object used by the execution schema. The public schema below is a * union so generated JSON Schema retains the anchor requirements (Zod * refinements are intentionally not represented by JSON Schema). */ export declare const LspSearchQueryObjectSchema: z.ZodObject<{ uri: z.ZodOptional; operation: z.ZodDefault>; symbolName: z.ZodOptional; lineHint: z.ZodOptional; position: z.ZodOptional>; orderHint: z.ZodDefault; depth: z.ZodOptional; includeDeclaration: z.ZodDefault; groupByFile: z.ZodOptional; page: z.ZodDefault; pageSize: z.ZodOptional; snapshot: z.ZodOptional; contextLines: z.ZodOptional; format: z.ZodDefault>; workspaceRoot: z.ZodOptional; rustContext: z.ZodOptional, z.ZodArray]>>; noDefaultFeatures: z.ZodDefault; target: z.ZodOptional; cfgs: z.ZodDefault>; buildScripts: z.ZodDefault; procMacros: z.ZodDefault; }, z.core.$strict>>; goal: z.ZodOptional; reasoning: z.ZodOptional; debug: z.ZodDefault; }, z.core.$strip>; export declare const LspSearchQuerySchema: z.ZodUnion>; uri: z.ZodString; operation: z.ZodDefault>; symbolName: z.ZodString; lineHint: z.ZodNumber; position: z.ZodOptional; }, z.core.$strip>, z.ZodObject<{ readonly [x: string]: z.core.$ZodType>; uri: z.ZodString; operation: z.ZodDefault>; position: z.ZodObject<{ line: z.ZodNumber; character: z.ZodNumber; }, z.core.$strict>; symbolName: z.ZodOptional; lineHint: z.ZodOptional; }, z.core.$strip>, z.ZodObject<{ readonly [x: string]: z.core.$ZodType>; uri: z.ZodString; operation: z.ZodEnum<{ documentSymbols: "documentSymbols"; diagnostic: "diagnostic"; }>; symbolName: z.ZodOptional; lineHint: z.ZodOptional; position: z.ZodOptional; }, z.core.$strip>, z.ZodObject<{ readonly [x: string]: z.core.$ZodType>; operation: z.ZodLiteral<"workspaceSymbol">; uri: z.ZodString; symbolName: z.ZodString; position: z.ZodOptional; lineHint: z.ZodOptional; }, z.core.$strip>, z.ZodObject<{ readonly [x: string]: z.core.$ZodType>; operation: z.ZodLiteral<"workspaceSymbol">; symbolName: z.ZodString; workspaceRoot: z.ZodString; position: z.ZodOptional; lineHint: z.ZodOptional; }, z.core.$strip>]>;