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):
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).
Tool identifier used to scope which approvals apply. 'all' is the safe default
for any Theia-based product; rebind this in product code to filter the registry
down to a tool-specific approval set.
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):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).