import { z } from 'zod';
import type { ToolExecutionObserver } from './observer.js';
export declare function createDeleteWorkspaceFileTool(_observer?: ToolExecutionObserver): import("ai").Tool<z.ZodObject<{
    path: z.ZodString;
    allowMissing: z.ZodDefault<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    path: string;
    allowMissing: boolean;
}, {
    path: string;
    allowMissing?: boolean | undefined;
}>, {
    ok: boolean;
    path: string;
    deleted: boolean;
    error: string | undefined;
} | {
    ok: boolean;
    path: string;
    deleted: boolean;
    error?: undefined;
}> & {
    execute: (args: {
        path: string;
        allowMissing: boolean;
    }, options: import("ai").ToolExecutionOptions) => PromiseLike<{
        ok: boolean;
        path: string;
        deleted: boolean;
        error: string | undefined;
    } | {
        ok: boolean;
        path: string;
        deleted: boolean;
        error?: undefined;
    }>;
};
//# sourceMappingURL=delete-workspace-file.d.ts.map