Theia API Documentation v1.75.0
    Preparing search index...

    Endpoint and tool identity for the AI registry integration.

    Defaults to the public Eclipse-hosted AI registry with tool name 'all'. Products that want a different registry or a tool-specific filter rebind this class in their frontend and backend modules (the backend binding is used to derive the allowed URL pattern for the request whitelist):

    rebind(AIRegistryConfiguration).toConstantValue(new (class extends AIRegistryConfiguration {
    override getToolName(): string { return 'my-product'; }
    override getBaseUrl(): string { return 'https://internal.example/registry/'; }
    })());

    Values are intentionally not exposed as user preferences - a user must not be able to redirect the IDE to a different registry URL or change the tool identity (both are trust-relevant decisions).

    Index

    Constructors

    Methods

    Constructors

    Methods