Theia API Documentation v1.73.0
    Preparing search index...
    ADD_MCP_SERVER_COMMAND: Command = ...

    Public command id for opening the "Add MCP Server" dialog. Exposed as a string so consumers (e.g. @theia/ai-registry) can trigger it without depending on @theia/ai-mcp's implementation details.