Theia API Documentation v1.73.0
    Preparing search index...
    ANTHROPIC_WEB_FETCH: "web_fetch" = 'web_fetch'

    Native Anthropic server tool ids, used both as descriptor ids and as the API tool name.