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

    Variable ANTHROPIC_TOOL_SEARCHConst

    ANTHROPIC_TOOL_SEARCH: "tool_search" = 'tool_search'

    Stable, user-facing name under which the deferred-tool search is surfaced as a server tool call.

    Settings

    Member Visibility