/** * User-provided LSP server config (from opencode.json lsp section). * Fields are optional because user config may not include all properties. */ export interface UserLspConfig { id: string; command?: string[]; extensions?: string[]; disabled?: boolean; env?: Record; initialization?: Record; } /** * Set the user's lsp config from opencode.json. * Called during plugin initialization. */ export declare function setUserLspConfig(config: Record | undefined): void; /** * Get the user's lsp config for a specific server ID. */ export declare function getUserLspConfig(serverId: string): UserLspConfig | undefined; /** * Get all user-configured lsp servers. */ export declare function getAllUserLspConfigs(): Map; /** * Check if user has configured any lsp servers. */ export declare function hasUserLspConfig(): boolean;