/**
 * Dashboard HTML Template
 *
 * Returns a complete self-contained HTML page for the web dashboard.
 * Dark theme, responsive layout with kanban board, agents, sessions, and PRs.
 */
export declare function getDashboardHTML(port: number): string;
