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

    A server tool invocation (and its result) that the provider executed on its own infrastructure. The shape mirrors ToolCall but flattens name/arguments since there is no client handler.

    interface ServerToolCall {
        arguments?: string;
        data?: Record<string, string>;
        finished?: boolean;
        id: string;
        name: string;
        result?: ToolCallResult;
    }
    Index

    Properties

    arguments?: string
    data?: Record<string, string>

    Provider-specific metadata needed to faithfully reconstruct the server tool blocks on replay.

    finished?: boolean
    id: string
    name: string