/**
 * K0ntext REPL Shell
 *
 * Interactive shell for managing k0ntext context
 */
/**
 * REPL options
 */
export interface REPLOptions {
    projectRoot: string;
    version: string;
    noTUI?: boolean;
}
/**
 * K0ntext REPL Shell
 */
export declare class REPLShell {
    private session;
    private parser;
    private updateChecker;
    private projectRoot;
    private version;
    private readline;
    private isActive;
    private noTUI;
    private readlineClosed;
    private searchPanel;
    private configPanel;
    private driftPanel;
    constructor(options: REPLOptions);
    /**
     * Get the command prompt
     */
    private getPrompt;
    /**
     * Setup event handlers
     */
    private setupEventHandlers;
    /**
     * Register REPL-specific commands
     */
    private registerCommands;
    /**
     * Start the REPL
     */
    start(): Promise<void>;
    /**
     * Stop the REPL
     */
    stop(): Promise<void>;
    /**
     * Show welcome banner
     */
    private showBanner;
}
/**
 * Create and start a REPL shell
 */
export declare function startREPL(projectRoot: string | undefined, version: string, noTUI?: boolean): Promise<void>;
//# sourceMappingURL=index.d.ts.map