import { z } from "zod";
import type { BreakpointBackend } from "../../backend.js";
import type { ProvenVerificationResult } from "../../types.js";
export declare const verifyBreakpointAnswerDescription: string;
export declare const verifyBreakpointAnswerParams: {
    breakpointId: z.ZodString;
    backend: z.ZodOptional<z.ZodString>;
    breakpointsDir: z.ZodOptional<z.ZodString>;
};
export interface VerifyBreakpointAnswerParams {
    breakpointId: string;
    backend?: string;
    breakpointsDir?: string;
}
export declare function handleVerifyBreakpointAnswer(params: VerifyBreakpointAnswerParams, backend: BreakpointBackend): Promise<ProvenVerificationResult>;
//# sourceMappingURL=verify-answer.d.ts.map