Theia API Documentation v1.76.0
    Preparing search index...
    AI_DEFAULT_AGENT_CONTEXT_KEY: "ai.chat.hasDefaultAgent" = 'ai.chat.hasDefaultAgent'

    True while a default chat agent is configured.