Theia API Documentation v1.73.0
    Preparing search index...
    interface RemoteMCPServerDescription {
        autostart?: boolean;
        deferLoading?: boolean;
        error?: string;
        headers?: Record<string, string>;
        name: string;
        oauth?: MCPOAuthConfig;
        registryMetadata?: MCPRegistryMetadata;
        resolve?: (
            description: MCPServerDescription,
        ) => Promise<undefined | MCPServerDescription>;
        serverAuthToken?: string;
        serverAuthTokenHeader?: string;
        serverUrl: string;
        status?: MCPServerStatus;
        tools?: ToolInformation[];
    }

    Hierarchy (View Summary)

    Index

    Properties

    autostart?: boolean

    Flag indicating whether the server should automatically start when the application starts.

    deferLoading?: boolean

    If true, all tools provided by this server are marked as deferred in the generated prompt fragment (mcp_<name>_tools). Deferred tools are not loaded into the model's context upfront and may instead be discovered on-demand via the model provider's built-in tool search mechanism (Anthropic, OpenAI) when supported by the provider. Individual tools may still be referenced explicitly without the deferred marker.

    error?: string

    Last error message that the server has returned.

    headers?: Record<string, string>

    Optional additional request headers for the remote MCP server.

    name: string

    The unique name of the MCP server.

    Optional OAuth configuration for remote MCP servers.

    registryMetadata?: MCPRegistryMetadata

    If set, provenance metadata for a server installed from an AI registry. Written by @theia/ai-registry on install / link / fix / update; not user-editable.

    resolve?: (
        description: MCPServerDescription,
    ) => Promise<undefined | MCPServerDescription>

    Optional resolve function that gets called during server definition resolution.

    serverAuthToken?: string

    Optional static bearer token for remote MCP servers that do not use OAuth.

    serverAuthTokenHeader?: string

    Optional header name for the static server authentication token.

    serverUrl: string

    URL of the remote MCP server endpoint.

    The current status of the server. Optional because only set by the server.

    tools?: ToolInformation[]

    List of available tools for the server. Returns the name and description if available.