/** * Uninstall MCP server executor — orchestrates per-server removal pipeline. * * Pipeline: resolve desired/observed state -> remove canonical source -> clear * settings and accepted resolution. * Simpler than skills — no agent symlinks. * * @experimental This API is unstable and may change without notice. */ import * as FileSystem from "effect/FileSystem"; import * as Path from "effect/Path"; import * as Effect from "effect/Effect"; import * as Option from "effect/Option"; import { CodingAgentRepository } from "../../agents/index.js"; import { type AppError } from "../../app-error/index.js"; import type { JobStepResult, Operation } from "../../plan/plan.js"; import { WorkspaceMutations } from "../../workspace/service-interface.js"; /** * Args for the uninstall-mcp-server operation. */ export interface UninstallMcpServerOperationArgs { readonly serverName: string; /** When true, enforce strict policy for MCP sync outcomes. */ readonly strictAgentSync?: Option.Option; } /** * Remove an MCP server from the workspace. * * @experimental This API is unstable and may change without notice. */ export type UninstallMcpServerOperation = Operation<"uninstall-mcp-server", UninstallMcpServerOperationArgs>; /** * Uninstall-mcp-server operation handler. * * 1. Resolve configured and observed state * 2. Remove canonical directory from disk (if exists) * 3. Remove settings and accepted resolution */ export declare const uninstallMcpServer: (op: UninstallMcpServerOperation) => Effect.Effect; //# sourceMappingURL=uninstall.d.ts.map