Theia API Documentation v1.74.0
    Preparing search index...
    NAME_PATTERN: RegExp = ...

    Pattern accepted as a tool name by most LLM providers (e.g. OpenAI, Anthropic). The name is also used as the id under which the tool is registered, so it must be unique.