import { z } from "mcp-server-framework";
export declare const listProceduresTool: import("mcp-server-framework").ToolDefinition<z.ZodObject<{
    cursor: z.ZodOptional<z.ZodString>;
    page_size: z.ZodOptional<z.ZodNumber>;
}, "strip", z.ZodTypeAny, {
    cursor?: string | undefined;
    page_size?: number | undefined;
}, {
    cursor?: string | undefined;
    page_size?: number | undefined;
}>, z.ZodObject<{
    items: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        state: z.ZodOptional<z.ZodString>;
        stages: z.ZodOptional<z.ZodNumber>;
        last_run_at: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
        next_scheduled_run: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
        schedule_error: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        id: string;
        name: string;
        state?: string | undefined;
        stages?: number | undefined;
        last_run_at?: number | null | undefined;
        next_scheduled_run?: number | null | undefined;
        schedule_error?: string | undefined;
    }, {
        id: string;
        name: string;
        state?: string | undefined;
        stages?: number | undefined;
        last_run_at?: number | null | undefined;
        next_scheduled_run?: number | null | undefined;
        schedule_error?: string | undefined;
    }>, "many">;
    page: z.ZodOptional<z.ZodObject<{
        next_cursor: z.ZodOptional<z.ZodString>;
        total: z.ZodOptional<z.ZodNumber>;
    }, "strip", z.ZodTypeAny, {
        next_cursor?: string | undefined;
        total?: number | undefined;
    }, {
        next_cursor?: string | undefined;
        total?: number | undefined;
    }>>;
}, "strip", z.ZodTypeAny, {
    items: {
        id: string;
        name: string;
        state?: string | undefined;
        stages?: number | undefined;
        last_run_at?: number | null | undefined;
        next_scheduled_run?: number | null | undefined;
        schedule_error?: string | undefined;
    }[];
    page?: {
        next_cursor?: string | undefined;
        total?: number | undefined;
    } | undefined;
}, {
    items: {
        id: string;
        name: string;
        state?: string | undefined;
        stages?: number | undefined;
        last_run_at?: number | null | undefined;
        next_scheduled_run?: number | null | undefined;
        schedule_error?: string | undefined;
    }[];
    page?: {
        next_cursor?: string | undefined;
        total?: number | undefined;
    } | undefined;
}>>;
export declare const getProcedureInfoTool: import("mcp-server-framework").ToolDefinition<z.ZodObject<{
    procedure: z.ZodString;
} & {
    inline_full: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    procedure: string;
    inline_full?: boolean | undefined;
}, {
    procedure: string;
    inline_full?: boolean | undefined;
}>, z.ZodObject<{
    summary: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        state: z.ZodOptional<z.ZodString>;
        stages: z.ZodOptional<z.ZodNumber>;
        last_run_at: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
        next_scheduled_run: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
        schedule_error: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        id: string;
        name: string;
        state?: string | undefined;
        stages?: number | undefined;
        last_run_at?: number | null | undefined;
        next_scheduled_run?: number | null | undefined;
        schedule_error?: string | undefined;
    }, {
        id: string;
        name: string;
        state?: string | undefined;
        stages?: number | undefined;
        last_run_at?: number | null | undefined;
        next_scheduled_run?: number | null | undefined;
        schedule_error?: string | undefined;
    }>;
    info: z.ZodOptional<z.ZodUnknown>;
    resourceLink: z.ZodOptional<z.ZodObject<{
        uri: z.ZodString;
        name: z.ZodString;
        mimeType: z.ZodOptional<z.ZodString>;
        description: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        uri: string;
        name: string;
        mimeType?: string | undefined;
        description?: string | undefined;
    }, {
        uri: string;
        name: string;
        mimeType?: string | undefined;
        description?: string | undefined;
    }>>;
}, "strip", z.ZodTypeAny, {
    summary: {
        id: string;
        name: string;
        state?: string | undefined;
        stages?: number | undefined;
        last_run_at?: number | null | undefined;
        next_scheduled_run?: number | null | undefined;
        schedule_error?: string | undefined;
    };
    info?: unknown;
    resourceLink?: {
        uri: string;
        name: string;
        mimeType?: string | undefined;
        description?: string | undefined;
    } | undefined;
}, {
    summary: {
        id: string;
        name: string;
        state?: string | undefined;
        stages?: number | undefined;
        last_run_at?: number | null | undefined;
        next_scheduled_run?: number | null | undefined;
        schedule_error?: string | undefined;
    };
    info?: unknown;
    resourceLink?: {
        uri: string;
        name: string;
        mimeType?: string | undefined;
        description?: string | undefined;
    } | undefined;
}>>;
export declare const procedureActionTool: import("mcp-server-framework").ToolDefinition<z.ZodObject<{
    action: z.ZodEnum<["run"]>;
    procedure: z.ZodString;
}, "strip", z.ZodTypeAny, {
    action: "run";
    procedure: string;
}, {
    action: "run";
    procedure: string;
}>, z.ZodObject<{
    success: z.ZodBoolean;
    status: z.ZodString;
    action: z.ZodString;
    resource_type: z.ZodString;
    resource_id: z.ZodString;
    server: z.ZodOptional<z.ZodString>;
    version: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
    status: string;
    action: string;
    success: boolean;
    resource_type: string;
    resource_id: string;
    server?: string | undefined;
    version?: string | undefined;
}, {
    status: string;
    action: string;
    success: boolean;
    resource_type: string;
    resource_id: string;
    server?: string | undefined;
    version?: string | undefined;
}>>;
export declare const applyProcedureTool: import("mcp-server-framework").ToolDefinition<z.ZodObject<{
    action: z.ZodEnum<["create", "update"]>;
    name: z.ZodOptional<z.ZodString>;
    procedure: z.ZodOptional<z.ZodString>;
    config: z.ZodOptional<z.ZodObject<{
        stages: z.ZodOptional<z.ZodArray<z.ZodObject<{
            name: z.ZodString;
            enabled: z.ZodBoolean;
            executions: z.ZodOptional<z.ZodArray<z.ZodObject<{
                enabled: z.ZodBoolean;
                execution: z.ZodObject<{
                    type: z.ZodString;
                    params: z.ZodRecord<z.ZodString, z.ZodUnknown>;
                }, "strip", z.ZodTypeAny, {
                    params: Record<string, unknown>;
                    type: string;
                }, {
                    params: Record<string, unknown>;
                    type: string;
                }>;
            }, "strip", z.ZodTypeAny, {
                enabled: boolean;
                execution: {
                    params: Record<string, unknown>;
                    type: string;
                };
            }, {
                enabled: boolean;
                execution: {
                    params: Record<string, unknown>;
                    type: string;
                };
            }>, "many">>;
        }, "strip", z.ZodTypeAny, {
            enabled: boolean;
            name: string;
            executions?: {
                enabled: boolean;
                execution: {
                    params: Record<string, unknown>;
                    type: string;
                };
            }[] | undefined;
        }, {
            enabled: boolean;
            name: string;
            executions?: {
                enabled: boolean;
                execution: {
                    params: Record<string, unknown>;
                    type: string;
                };
            }[] | undefined;
        }>, "many">>;
        schedule_format: z.ZodOptional<z.ZodEnum<["English", "Cron"]>>;
        schedule: z.ZodOptional<z.ZodString>;
        schedule_enabled: z.ZodOptional<z.ZodBoolean>;
        schedule_timezone: z.ZodOptional<z.ZodString>;
        schedule_alert: z.ZodOptional<z.ZodBoolean>;
        failure_alert: z.ZodOptional<z.ZodBoolean>;
        webhook_enabled: z.ZodOptional<z.ZodBoolean>;
        webhook_secret: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        webhook_enabled?: boolean | undefined;
        webhook_secret?: string | undefined;
        stages?: {
            enabled: boolean;
            name: string;
            executions?: {
                enabled: boolean;
                execution: {
                    params: Record<string, unknown>;
                    type: string;
                };
            }[] | undefined;
        }[] | undefined;
        schedule_format?: "English" | "Cron" | undefined;
        schedule?: string | undefined;
        schedule_enabled?: boolean | undefined;
        schedule_timezone?: string | undefined;
        schedule_alert?: boolean | undefined;
        failure_alert?: boolean | undefined;
    }, {
        webhook_enabled?: boolean | undefined;
        webhook_secret?: string | undefined;
        stages?: {
            enabled: boolean;
            name: string;
            executions?: {
                enabled: boolean;
                execution: {
                    params: Record<string, unknown>;
                    type: string;
                };
            }[] | undefined;
        }[] | undefined;
        schedule_format?: "English" | "Cron" | undefined;
        schedule?: string | undefined;
        schedule_enabled?: boolean | undefined;
        schedule_timezone?: string | undefined;
        schedule_alert?: boolean | undefined;
        failure_alert?: boolean | undefined;
    }>>;
}, "strip", z.ZodTypeAny, {
    action: "create" | "update";
    config?: {
        webhook_enabled?: boolean | undefined;
        webhook_secret?: string | undefined;
        stages?: {
            enabled: boolean;
            name: string;
            executions?: {
                enabled: boolean;
                execution: {
                    params: Record<string, unknown>;
                    type: string;
                };
            }[] | undefined;
        }[] | undefined;
        schedule_format?: "English" | "Cron" | undefined;
        schedule?: string | undefined;
        schedule_enabled?: boolean | undefined;
        schedule_timezone?: string | undefined;
        schedule_alert?: boolean | undefined;
        failure_alert?: boolean | undefined;
    } | undefined;
    procedure?: string | undefined;
    name?: string | undefined;
}, {
    action: "create" | "update";
    config?: {
        webhook_enabled?: boolean | undefined;
        webhook_secret?: string | undefined;
        stages?: {
            enabled: boolean;
            name: string;
            executions?: {
                enabled: boolean;
                execution: {
                    params: Record<string, unknown>;
                    type: string;
                };
            }[] | undefined;
        }[] | undefined;
        schedule_format?: "English" | "Cron" | undefined;
        schedule?: string | undefined;
        schedule_enabled?: boolean | undefined;
        schedule_timezone?: string | undefined;
        schedule_alert?: boolean | undefined;
        failure_alert?: boolean | undefined;
    } | undefined;
    procedure?: string | undefined;
    name?: string | undefined;
}>, z.ZodObject<{
    action: z.ZodEnum<["create", "update"]>;
    resource_type: z.ZodString;
    resource_id: z.ZodString;
    resource: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, "strip", z.ZodTypeAny, {
    action: "create" | "update";
    resource_type: string;
    resource_id: string;
    resource?: Record<string, unknown> | undefined;
}, {
    action: "create" | "update";
    resource_type: string;
    resource_id: string;
    resource?: Record<string, unknown> | undefined;
}>>;
export declare const deleteProcedureTool: import("mcp-server-framework").ToolDefinition<z.ZodObject<{
    procedure: z.ZodString;
}, "strip", z.ZodTypeAny, {
    procedure: string;
}, {
    procedure: string;
}>, z.ZodObject<{
    action: z.ZodLiteral<"remove">;
    resource_type: z.ZodString;
    resource_id: z.ZodString;
    resource: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, "strip", z.ZodTypeAny, {
    action: "remove";
    resource_type: string;
    resource_id: string;
    resource?: Record<string, unknown> | undefined;
}, {
    action: "remove";
    resource_type: string;
    resource_id: string;
    resource?: Record<string, unknown> | undefined;
}>>;