export interface IntroHeaderOptions {
    width: number;
    version: string;
    mode: string;
    provider: string;
    model: string;
    permissions: string;
    workdir: string;
    variant?: string | undefined;
}
export declare function renderIntroHeaderLines(opts: IntroHeaderOptions): string[];