Theia API Documentation v1.73.0
    Preparing search index...
    ANTHROPIC_SERVER_TOOLS: ServerToolDescriptor[] = ...

    Server tools offered by the Anthropic provider. These are executed by Anthropic's infrastructure (not by Theia) and are attached to each model's metadata so the chat UI can offer them.