Theia API Documentation v1.75.0
    Preparing search index...

    The outcome of resolving a plugin's mcp.json.

    interface ResolvedPluginComponents {
        mcpDisabledReason?: string;
        servers: ResolvedPluginServer[];
        skipped: SkippedPluginComponent[];
    }
    Index

    Properties

    mcpDisabledReason?: string

    Set when mcp.json as a whole was rejected, disabling MCP for the plugin. Already localized.