Theia API Documentation v1.74.0
    Preparing search index...
    ANTHROPIC_TOOL_SEARCH_NATIVE: "tool_search_tool_bm25" = 'tool_search_tool_bm25'

    Native Anthropic name for the deferred-tool search server tool (used when converting tools for the API).