/** * Disable MCP server executor. * * @experimental This API is unstable and may change without notice. */ import * as Effect from "effect/Effect"; import * as FileSystem from "effect/FileSystem"; import * as Path from "effect/Path"; 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"; export type DisableMcpServerOperation = Operation<"disable-mcp-server", { readonly serverName: string; }>; export declare const disableMcpServer: (op: DisableMcpServerOperation) => Effect.Effect; //# sourceMappingURL=disable.d.ts.map