export type ExtensionSource = { kind: "mcp" | "skill"; id: string }; export function extensionSettingsId(source: ExtensionSource) { return `extension-${source.kind}-${source.id}`; } export function extensionSettingsHref(source: ExtensionSource) { return `/extensions#${encodeURIComponent(extensionSettingsId(source))}`; }