Theia API Documentation v1.73.0
    Preparing search index...
    MCPServerType: "local" | "remote" | "remote-oauth"

    Server type edited in the dialog: local stdio launch, remote URL with token authentication, or remote URL with OAuth.