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

    Protocol interfaces for MCP server definition providers.

    interface McpStdioServerDefinitionDto {
        args?: string[];
        command: string;
        cwd?: UriComponents;
        env?: Record<string, null | string | number>;
        label: string;
        version?: string;
    }
    Index

    Properties

    args?: string[]

    Additional command-line arguments passed to the server.

    command: string

    The command used to start the server. Node.js-based servers may use process.execPath to use the editor's version of Node.js to run the script.

    The working directory used to start the server.

    env?: Record<string, null | string | number>

    Optional additional environment information for the server. Variables in this environment will overwrite or remove (if null) the default environment variables of the editor's extension host.

    label: string

    The human-readable name of the server.

    version?: string

    Optional version identification for the server. If this changes, the editor will indicate that tools have changed and prompt to refresh them.