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

    Interface UserRequest

    The UserRequest extends the "pure" LanguageModelRequest for cancelling support as well as logging metadata. The additional metadata might also be used for other use cases, for example to query default request settings based on the agent id, merging with the request settings handed over.

    interface UserRequest {
        agentId?: string;
        cancellationToken?: CancellationToken;
        clientSettings?: { keepThinking: boolean; keepToolCalls: boolean };
        messages: LanguageModelMessage[];
        requestId: string;
        response_format?:
            | { type: "text" }
            | { type: "json_object" }
            | ResponseFormatJsonSchema;
        sessionId: string;
        settings?: { [key: string]: unknown };
        subRequestId?: string;
        tools?: ToolRequest[];
    }

    Hierarchy (View Summary)

    Index

    Properties

    agentId? cancellationToken? clientSettings? messages requestId response_format? sessionId settings? subRequestId? tools?

    Properties

    agentId?: string

    Optional agent identifier in case the request was sent by an agent

    cancellationToken?: CancellationToken

    Cancellation support

    clientSettings?: { keepThinking: boolean; keepToolCalls: boolean }
    messages: LanguageModelMessage[]
    requestId: string

    Identifier of the request or overall exchange. Corresponds to request id in Chat sessions

    response_format?:
        | { type: "text" }
        | { type: "json_object" }
        | ResponseFormatJsonSchema
    sessionId: string

    Identifier of the Ai/ChatSession

    settings?: { [key: string]: unknown }
    subRequestId?: string

    Id of a request in case a single exchange consists of multiple requests. In this case the requestId corresponds to the overall exchange.

    tools?: ToolRequest[]

    Settings

    Member Visibility

    On This Page

    Properties