import { z } from 'zod';
import { type ExecuteInput, type ToolName, type ToolArguments, type ExecuteOutput } from '../toolDefinition.js';
export declare const executeAssertArgumentsSchema: z.ZodObject<{
    assertionDescription: z.ZodString;
    conditionalType: z.ZodOptional<z.ZodEnum<{
        IF: "IF";
        ELSEIF: "ELSEIF";
    }>>;
}, z.core.$strip>;
export declare const executeAssertResponseSchema: z.ZodObject<{
    success: z.ZodBoolean;
    message: z.ZodOptional<z.ZodString>;
}, z.core.$strip>;
export declare const ExecuteAssertToolDefinition: import("../toolDefinition.js").ToolDefinition<"execute_assert", z.ZodObject<{
    assertionDescription: z.ZodString;
    conditionalType: z.ZodOptional<z.ZodEnum<{
        IF: "IF";
        ELSEIF: "ELSEIF";
    }>>;
}, z.core.$strip>, undefined, z.ZodObject<{
    success: z.ZodBoolean;
    message: z.ZodOptional<z.ZodString>;
}, z.core.$strip>>;
export type ExecuteAssertToolName = ToolName<typeof ExecuteAssertToolDefinition>;
export type ExecuteAssertToolArguments = ToolArguments<typeof ExecuteAssertToolDefinition>;
export type ExecuteAssertToolInput = ExecuteInput<typeof ExecuteAssertToolDefinition>;
export type ExecuteAssertToolOutput = ExecuteOutput<typeof ExecuteAssertToolDefinition>;
//# sourceMappingURL=ExecuteAssertDefinition.d.ts.map