/** * Workspace Registry * Maintains a persistent log of workspaces targeted by the MCP server. * Uses proper-lockfile to prevent read-modify-write data races * between parallel agents on the same host. * * Provides: * - addWorkspace: Appends a workspace directory to the tracking log. * - getWorkspaces: Reads and deduplicates the registry, returning a chronologically ordered array. * - rewriteRegistry: Completely rewrites the JSON registry, removing defunct entries. * - WorkspaceRecord: Interface for a single workspace registry record. */ /** * Represents a single logged workspace in the registry. */ export interface WorkspaceRecord { dir: string; timestamp: number; } /** * Appends a workspace directory to the tracking log. * De-duplicates adjacent identical calls during rapid sequential operations. */ export declare function addWorkspace(dir: string): Promise; /** * Reads and deduplicates the registry, returning a chronologically ordered array * of unique absolute workspace paths (oldest to most recent). */ export declare function getWorkspaces(): Promise; /** * Completely rewrites the JSON registry, removing defunct entries. * Given an array of ordered directory paths, it drops the current * transaction log and sequences them back in order. */ export declare function rewriteRegistry(directories: string[]): Promise; //# sourceMappingURL=workspace-registry.d.ts.map