import { z } from 'zod';
import { type ToolName, type ToolArguments, type ToolServerPrepareResult, type ExecuteInput, type ExecuteOutput } from '../toolDefinition.js';
export declare const WriteFileToolDefinition: import("../toolDefinition.js").ToolDefinition<"write_file", z.ZodObject<{
    filename: z.ZodString;
    mode: z.ZodEnum<{
        overwrite: "overwrite";
        append: "append";
        patch: "patch";
    }>;
    content: z.ZodString;
    start: z.ZodOptional<z.ZodNumber>;
    end: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>, undefined, z.ZodObject<{
    filename: z.ZodString;
    size_chars: z.ZodNumber;
    diff: z.ZodString;
}, z.core.$strip>>;
export type WriteFileToolName = ToolName<typeof WriteFileToolDefinition>;
export type WriteFileToolArguments = ToolArguments<typeof WriteFileToolDefinition>;
export type WriteFileToolServerPrepareResult = ToolServerPrepareResult<typeof WriteFileToolDefinition>;
export type WriteFileToolInput = ExecuteInput<typeof WriteFileToolDefinition>;
export type WriteFileToolOutput = ExecuteOutput<typeof WriteFileToolDefinition>;
//# sourceMappingURL=WriteFileDefinition.d.ts.map