Theia API Documentation v1.65.0
    Preparing search index...
    interface ToolRequest {
        description?: string;
        handler: (arg_string: string, ctx?: unknown) => Promise<ToolCallResult>;
        id: string;
        name: string;
        parameters: ToolRequestParameters;
        providerName?: string;
    }

    Hierarchy (View Summary)

    Index

    Properties

    description?: string
    handler: (arg_string: string, ctx?: unknown) => Promise<ToolCallResult>
    id: string
    name: string
    providerName?: string