import { z } from 'zod'; export declare const toolDefs: { readonly index_codebase: { readonly description: string; readonly schema: { readonly root_path: z.ZodString; readonly name: z.ZodString; readonly language: z.ZodEnum<["haskell", "rescript"]>; readonly force_full: z.ZodDefault; readonly hie_dir: z.ZodOptional; }; }; readonly index_status: { readonly description: string; readonly schema: { readonly name: z.ZodOptional; }; }; readonly trace_callees: { readonly description: string; readonly schema: { readonly codebase: z.ZodString; readonly symbol: z.ZodString; readonly max_depth: z.ZodDefault; readonly edge_kinds: z.ZodOptional, "many">>; readonly symbol_kinds: z.ZodOptional, "many">>; }; }; readonly trace_callers: { readonly description: string; readonly schema: { readonly codebase: z.ZodString; readonly symbol: z.ZodString; readonly max_depth: z.ZodDefault; readonly edge_kinds: z.ZodOptional, "many">>; readonly symbol_kinds: z.ZodOptional, "many">>; }; }; readonly trace_module_deps: { readonly description: string; readonly schema: { readonly codebase: z.ZodString; readonly file_path: z.ZodString; readonly direction: z.ZodDefault>; readonly max_depth: z.ZodDefault; }; }; readonly impact_analysis: { readonly description: string; readonly schema: { readonly codebase: z.ZodString; readonly changed_files: z.ZodOptional>; readonly changed_symbols: z.ZodOptional>; readonly max_depth: z.ZodDefault; }; }; readonly get_symbol: { readonly description: string; readonly schema: { readonly codebase: z.ZodString; readonly symbol: z.ZodString; }; }; readonly get_module_symbols: { readonly description: "List all symbols defined in a module/file: functions, types, components, exports."; readonly schema: { readonly codebase: z.ZodString; readonly file_path: z.ZodString; readonly kinds: z.ZodOptional, "many">>; readonly exported_only: z.ZodDefault; }; }; readonly search_symbols: { readonly description: string; readonly schema: { readonly codebase: z.ZodString; readonly query: z.ZodString; readonly kinds: z.ZodOptional, "many">>; readonly limit: z.ZodDefault; }; }; readonly get_test_context: { readonly description: string; readonly schema: { readonly codebase: z.ZodString; readonly symbol: z.ZodString; readonly include_source: z.ZodDefault; readonly callee_depth: z.ZodDefault; readonly caller_depth: z.ZodDefault; }; }; }; //# sourceMappingURL=definitions.d.ts.map