The registry entry skill was installed from or linked to, or undefined for a skill the
registry does not manage - a workspace skill, a configured directory, or one contributed by an
Agent Plugin. Takes the whole skill rather than its name: a name alone cannot tell a managed
skill from one of the same name in a directory the user controls.
Reveals the entry in the registry UI. A no-op for a skill the registry does not manage.
Optional integration point implemented by
@theia/ai-registry, so that packages which must not depend on it can tell which skills it manages and reveal them in the registry. The counterpart of AgentPluginUiBridge for skills installed or linked directly, rather than contributed by a plugin.Nothing is bound by default. Consumers inject it
@optional()and, when it is absent, hide every registry affordance - a product without@theia/ai-registryhas no registry to install from.