export interface FindBugsInput {
    path?: string;
    spec?: string;
    timeout_s?: number;
}
export declare const findBugsTool: {
    readonly name: "find_bugs";
    readonly description: string;
    readonly inputSchema: {
        readonly type: "object";
        readonly properties: {
            readonly path: {
                readonly type: "string";
                readonly description: string;
            };
            readonly spec: {
                readonly type: "string";
                readonly description: string;
            };
            readonly timeout_s: {
                readonly type: "number";
                readonly description: "OPTIONAL. Analysis budget in seconds (default 300, max 600).";
            };
        };
        readonly additionalProperties: false;
    };
};
export declare function runFindBugs(input: FindBugsInput): Promise<{
    available: boolean;
    bugs: string | null;
    next_actions?: unknown;
    prove_instructions?: unknown;
    engine: string;
    packed_bytes: number;
    /** Backend-authored text addressed to the HUMAN. Declared or tsc drops it. */
    message_for_user?: string;
}>;