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

    Replay message for a tool the provider executed on its own infrastructure (a server tool). Unlike ToolUseMessage/ToolResultMessage, the invocation and its result are carried together because the client never executes the tool. Providers reconstruct their native request blocks from this message on subsequent turns.

    interface ServerToolUseMessage {
        actor: "ai";
        data?: Record<string, string>;
        id: string;
        input: unknown;
        name: string;
        result?: ToolCallResult;
        type: "server_tool_use";
    }
    Index

    Properties

    actor: "ai"
    data?: Record<string, string>

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

    id: string
    input: unknown
    name: string
    type: "server_tool_use"