interface ProofReportOptions {
    graphPath: string;
    outputDir?: string;
    compareDir?: string;
    packPath?: string | null;
}
export interface ProofReportResult {
    outputPath: string;
    report: string;
}
export declare function runProofReportCommand(options: ProofReportOptions): ProofReportResult;
export {};