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

    A tool declared to the runtime. parameters also accepts a Zod schema upstream.

    interface Tool {
        description?: string;
        handler?: ToolHandler;
        name: string;
        parameters?: Record<string, unknown>;
        skipPermission?: boolean;
    }
    Index

    Properties

    description?: string
    handler?: ToolHandler
    name: string
    parameters?: Record<string, unknown>
    skipPermission?: boolean

    When true, the tool runs without a permission prompt of the runtime.