/** * "Discovered, not managed" (DES-MCP-TOOLS-001 §7, §8 `GET /mcp/servers`): the MCP servers the * CLIs on this machine are configured with, by NAME only. * * - Read-only. Each CLI's own config file is parsed and only the server names leave this module: * never a command, URL, header or env value, because those are where a pasted token lives. * - Two origins. `operator`: the CLI's default home under the operator's home dir. `worker`: each * seat's own root under the worker home, `/` and every instance root * `/-` (the layout of wicked-apps-core `seat_config_for_seat`, core#591). A worker-home server is invariant I1's finding: no wicked-handed native MCP * server may sit in a worker home, so studio lists these in red. * - A file that is absent or does not parse contributes nothing; discovery never fails a request. */ import type { McpDiscoveredServer } from '../core/types.js'; /** `[mcp_servers.]` table headers in a codex `config.toml` (bare or quoted ids; sub-tables folded). */ export declare function codexServerNames(text: string): string[]; export interface DiscoveryRoots { /** The operator's home dir. */ home: string; /** The worker home (`WICKED_WORKER_HOME`); `null` = none configured. */ workerHome: string | null; } /** Every server name configured in a CLI home; `managed` is set by the caller against the registry. */ export declare function discoverMcpServers(roots: DiscoveryRoots, managed: ReadonlySet): McpDiscoveredServer[]; //# sourceMappingURL=discovery.d.ts.map