import { z } from 'zod';
import { type ToolName, type ToolArguments, type ExecuteInput, type ExecuteOutput } from '../toolDefinition.js';
export declare const snippetSearchToolParamsSchema: z.ZodObject<{
    task_descriptions: z.ZodArray<z.ZodString>;
}, z.core.$strip>;
/**
 * Response is a list of search results, each containing a task_description and its corresponding snippet summaries
 */
export declare const snippetSearchToolResponseSchema: z.ZodObject<{
    search_results: z.ZodArray<z.ZodObject<{
        task_description: z.ZodString;
        snippet_summaries: z.ZodArray<z.ZodObject<{
            invariant_id: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            description: z.ZodOptional<z.ZodString>;
            snippet_type: z.ZodOptional<z.ZodString>;
            body: z.ZodOptional<z.ZodString>;
            body_truncated: z.ZodOptional<z.ZodBoolean>;
            body_length: z.ZodOptional<z.ZodNumber>;
            parameters: z.ZodArray<z.ZodObject<{
                name: z.ZodString;
                default_value: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>>;
        }, z.core.$strip>>;
    }, z.core.$strip>>;
}, z.core.$strip>;
export declare const SnippetSearchToolDefinition: import("../toolDefinition.js").ToolDefinition<"snippet_search", z.ZodObject<{
    task_descriptions: z.ZodArray<z.ZodString>;
}, z.core.$strip>, undefined, z.ZodObject<{
    search_results: z.ZodArray<z.ZodObject<{
        task_description: z.ZodString;
        snippet_summaries: z.ZodArray<z.ZodObject<{
            invariant_id: z.ZodString;
            name: z.ZodOptional<z.ZodString>;
            description: z.ZodOptional<z.ZodString>;
            snippet_type: z.ZodOptional<z.ZodString>;
            body: z.ZodOptional<z.ZodString>;
            body_truncated: z.ZodOptional<z.ZodBoolean>;
            body_length: z.ZodOptional<z.ZodNumber>;
            parameters: z.ZodArray<z.ZodObject<{
                name: z.ZodString;
                default_value: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>>;
        }, z.core.$strip>>;
    }, z.core.$strip>>;
}, z.core.$strip>>;
export type SnippetSearchToolName = ToolName<typeof SnippetSearchToolDefinition>;
export type SnippetSearchToolArguments = ToolArguments<typeof SnippetSearchToolDefinition>;
export type SnippetSearchToolInput = ExecuteInput<typeof SnippetSearchToolDefinition>;
export type SnippetSearchToolOutput = ExecuteOutput<typeof SnippetSearchToolDefinition>;
//# sourceMappingURL=SnippetSearchDefinition.d.ts.map