export interface ExternalCliProofCommandResult {
    exitCode: number;
    stdout: string;
    stderr: string;
}
export interface ExternalCliProofRunner {
    run(command: string, args: string[], options: {
        cwd: string;
        env?: NodeJS.ProcessEnv;
    }): Promise<ExternalCliProofCommandResult>;
}
export interface ExternalCliProofResult {
    repoDir: string;
    linkedCliPath: string;
    artifactPath: string;
    artifactFullPath: string;
    nextCommand: string;
    nextCommandOutput: string;
    cliOutput: string;
}
export interface ExternalCliProofOptions {
    repoRoot?: string;
    spec?: string;
    tempRepoPrefix?: string;
    runner?: ExternalCliProofRunner;
}
export declare function runExternalCliProof(options?: ExternalCliProofOptions): Promise<ExternalCliProofResult>;
