@earendil-works/pi-coding-agent 0.99.2 → 1.0.1

package/dist/modes/interactive/interactive-mode.js

@@ -25,6 +25,7 @@ import { createCompactionSummaryMessage, createCustomMessage } from "../../core/
 import { defaultModelPerProvider, findExactModelReferenceMatch, resolveModelScopeFromModels, } from "../../core/model-resolver.js";
 import { CredentialSynchronizationError } from "../../core/model-runtime.js";
 import { DefaultPackageManager } from "../../core/package-manager.js";
+import { RADIUS_MCP_URL, RADIUS_PROVIDER_ID } from "../../core/radius.js";
 import { formatMissingSessionCwdPrompt, MissingSessionCwdError } from "../../core/session-cwd.js";
 import { SessionManager, sessionEntryToContextMessages, } from "../../core/session-manager.js";
 import { BUILTIN_SLASH_COMMANDS } from "../../core/slash-commands.js";
@@ -32,10 +33,12 @@ import { isInstallTelemetryEnabled } from "../../core/telemetry.js";
 import { withBuiltInRenderers } from "../../core/tools/renderers/index.js";
 import { hasTrustRequiringProjectResources, ProjectTrustStore } from "../../core/trust-manager.js";
 import { getUsageCostBreakdown } from "../../core/usage-totals.js";
+import { addMcpServerConfig, loadMcpConfig } from "../../extensions/mcp/config.js";
 import { getChangelogPath, getNewEntries, normalizeChangelogLinks, parseChangelog } from "../../utils/changelog.js";
 import { copyToClipboard, readClipboardFilePaths, readClipboardText } from "../../utils/clipboard.js";
 import { extensionForImageMimeType, readClipboardImage } from "../../utils/clipboard-image.js";
 import { parseGitUrl } from "../../utils/git.js";
+import { ensurePngTranscoder } from "../../utils/image-convert.js";
 import { getCwdRelativePath } from "../../utils/paths.js";
 import { getPiUserAgent } from "../../utils/pi-user-agent.js";
 import { killTrackedDetachedChildren } from "../../utils/shell.js";
@@ -52,9 +55,9 @@ import { CompactionSummaryMessageComponent } from "./components/compaction-summa
 import { CustomEditor } from "./components/custom-editor.js";
 import { CustomEntryComponent } from "./components/custom-entry.js";
 import { CustomMessageComponent } from "./components/custom-message.js";
-import { DaxnutsComponent } from "./components/daxnuts.js";
 import { DynamicBorder } from "./components/dynamic-border.js";
 import { EarendilAnnouncementComponent } from "./components/earendil-announcement.js";
+import { playArmin3d, playPiLogo3d } from "./components/easter-egg-3d.lazy.js";
 import { ExtensionEditorComponent } from "./components/extension-editor.js";
 import { ExtensionInputComponent } from "./components/extension-input.js";
 import { ExtensionSelectorComponent } from "./components/extension-selector.js";
@@ -63,8 +66,9 @@ import { formatKeyText, keyDisplayText, keyHint, keyText, rawKeyHint } from "./c
 import { LoginDialogComponent } from "./components/login-dialog.js";
 import { createMermaidMarkdownTransformer } from "./components/mermaid.js";
 import { ModelSelectorComponent } from "./components/model-selector.js";
-import { formatAuthSelectorProviderType, OAuthSelectorComponent, } from "./components/oauth-selector.js";
-import { piLogoLines } from "./components/pi-logo.js";
+import { formatAuthSelectorProviderStatus, formatAuthSelectorProviderType, OAuthSelectorComponent, } from "./components/oauth-selector.js";
+import { piLogoLines, piWordmark, supportsPiLogo } from "./components/pi-logo.js";
+import { createLoginMenuSelector } from "./components/radius-login-selector.js";
 import { ScopedModelsSelectorComponent } from "./components/scoped-models-selector.js";
 import { SessionSelectorComponent } from "./components/session-selector.js";
 import { SettingsSelectorComponent } from "./components/settings-selector.js";
@@ -106,6 +110,16 @@ class ExpandableText extends ThemedText {
         this.invalidate();
     }
 }
+/** The built-in header. Clicking its logo (the first two lines, after one column of padding) plays an easter egg. */
+class BuiltInHeader extends ExpandableText {
+    onLogoClick;
+    handleMouse(event) {
+        if (event.type !== "click" || event.y > 1 || event.x < 1 || event.x > 4 || !this.onLogoClick)
+            return undefined;
+        this.onLogoClick(event.screenX - event.x + 1, event.screenY - event.y);
+        return { handled: true };
+    }
+}
 function isCustomSessionEntry(item) {
     return "type" in item && item.type === "custom";
 }
@@ -175,6 +189,7 @@ function llamaCppPostLoginGuidance(actionLabel, loadedModelCount) {
         ? `${actionLabel}. No llama.cpp models are loaded. Use /llama to load a model, then /model to select it.`
         : `${actionLabel}. Use /model to select a loaded llama.cpp model, or /llama to manage models.`;
 }
+const RADIUS_LOGIN_INTRO = "Radius is a service crafted for Pi by the builders of Pi, Earendil Works";
 const AUTH_TYPE_ORDER = { oauth: 0, api_key: 1 };
 function createFuzzyAutocompleteItems(items, prefix, getSearchText, toAutocompleteItem) {
     const filtered = fuzzyFilter(items, prefix, getSearchText);
@@ -197,18 +212,21 @@ function getLoginProviderCompletionOptions(providerOptions) {
             id: provider.id,
             name: provider.name,
             authTypes: [provider.authType],
+            subscription: provider.subscription,
         });
     }
     return Array.from(byId.values()).sort((a, b) => a.name.localeCompare(b.name));
 }
 function getLoginProviderSearchText(provider) {
     const authTypes = provider.authTypes
-        .map((authType) => `${authType} ${formatAuthSelectorProviderType(authType)}`)
+        .map((authType) => `${authType} ${formatAuthSelectorProviderType(authType, provider.subscription)}`)
         .join(" ");
     return `${provider.id} ${provider.name} ${authTypes}`;
 }
 function formatLoginProviderCompletionDescription(provider) {
-    const authTypes = provider.authTypes.map(formatAuthSelectorProviderType).join("/");
+    const authTypes = provider.authTypes
+        .map((authType) => formatAuthSelectorProviderType(authType, provider.subscription))
+        .join("/");
     return provider.name === provider.id ? authTypes : `${provider.name} · ${authTypes}`;
 }
 export class InteractiveMode {
@@ -635,7 +653,7 @@ export class InteractiveMode {
         this.registerSignalHandlers();
         // Load changelog (only show new entries, skip for resumed sessions)
         this.changelogMarkdown = this.getChangelogForDisplay();
-        if (this.session.scopedModels.length > 0 && (this.options.verbose || !this.settingsManager.getQuietStartup())) {
+        if (this.session.scopedModels.length > 0 && this.shouldShowStartupDetails()) {
             const modelList = this.session.scopedModels
                 .map((sm) => {
                 const thinkingStr = sm.thinkingLevel ? `:${sm.thinkingLevel}` : "";
@@ -681,15 +699,21 @@ export class InteractiveMode {
         // Start the UI before initializing extensions so session_start handlers can use interactive dialogs
         this.ui.start();
         this.isInitialized = true;
+        this.ensurePngTranscoder();
         this.themeController.applyFromSettings();
         // The header and startup notices bake theme colors into their text, so build them once the terminal
         // reported its colors. This ends at the terminal's DA1 reply, or after 100 ms if it answers nothing.
         await this.themeController.waitForTerminalColors();
         // Add header with keybindings from config (unless silenced)
-        if (this.options.verbose || !this.settingsManager.getQuietStartup()) {
+        if (this.shouldShowStartupHeader()) {
+            const showDetails = this.shouldShowStartupDetails();
             // Built on demand so the header follows theme changes. The logo's first line carries the version,
-            // its second line the first line of key hints.
+            // its second line the first line of key hints. Terminals that cannot render the logo get a
+            // "Pi vX" line instead, with the key hints below it.
+            const showLogo = supportsPiLogo();
             const withLogo = (hints) => {
+                if (!showLogo)
+                    return `${piWordmark()} ${theme.fg("dim", `v${this.version}`)}\n${hints}`;
                 const [top, bottom] = piLogoLines();
                 return `${top} ${theme.fg("dim", `v${this.version}`)}\n${bottom} ${hints}`;
             };
@@ -723,9 +747,12 @@ export class InteractiveMode {
                 rawKeyHint("!", "bash"),
                 hint("app.tools.expand", "more"),
             ].join(theme.fg("muted", " · "));
-            const compactOnboarding = () => theme.fg("dim", `Press ${keyText("app.tools.expand")} to show full startup help and loaded resources.`);
+            const compactOnboarding = () => theme.fg("dim", `Press ${keyText("app.tools.expand")} to show full startup help${showDetails ? " and loaded resources" : ""}.`);
             const onboarding = () => theme.fg("dim", `Pi can explain its own features and look up its docs. Ask it how to use or extend Pi.`);
-            this.builtInHeader = new ExpandableText(() => `${withLogo(compactInstructions())}\n${compactOnboarding()}\n\n${onboarding()}`, () => `${withLogo(expandedInstructions())}\n\n${onboarding()}`, this.getStartupExpansionState(), 1, 0);
+            const header = new BuiltInHeader(() => `${withLogo(compactInstructions())}\n${compactOnboarding()}\n\n${onboarding()}`, () => `${withLogo(expandedInstructions())}\n\n${onboarding()}`, this.getStartupExpansionState(), 1, 0);
+            if (showLogo)
+                header.onLogoClick = (column, row) => playPiLogo3d(this.renderer, column, row);
+            this.builtInHeader = header;
             // Setup UI layout
             this.headerContainer.addChild(new Spacer(1));
             this.headerContainer.addChild(this.builtInHeader);
@@ -1024,6 +1051,14 @@ export class InteractiveMode {
     getStartupExpansionState() {
         return this.options.verbose || this.toolOutputExpanded;
     }
+    /** Startup header (logo, version, key hints). Hidden only by quietStartup: true. */
+    shouldShowStartupHeader() {
+        return this.options.verbose === true || this.settingsManager.getQuietStartup() !== true;
+    }
+    /** Startup details (model scope, loaded resources). Hidden by quietStartup: true or "header". */
+    shouldShowStartupDetails() {
+        return this.options.verbose === true || this.settingsManager.getQuietStartup() === false;
+    }
     /**
      * Get a short path relative to the package root for display.
      */
@@ -1285,7 +1320,7 @@ export class InteractiveMode {
     showLoadedResources(options) {
         // Resource rendering is idempotent; chat clears no longer clear this separate container.
         this.loadedResourcesContainer.clear();
-        const showListing = options?.force || this.options.verbose || !this.settingsManager.getQuietStartup();
+        const showListing = options?.force || this.shouldShowStartupDetails();
         const showDiagnostics = showListing || options?.showDiagnosticsWhenQuiet === true;
         if (!showListing && !showDiagnostics) {
             return;
@@ -1507,8 +1542,16 @@ export class InteractiveMode {
     applyFullscreenScrollbarSetting() {
         this.transcriptScrollView?.setScrollbar(this.settingsManager.getFullscreenScrollbar());
     }
+    /** Lets extension images use the PNG transcoder; tool results register it themselves. */
+    ensurePngTranscoder() {
+        ensurePngTranscoder(() => {
+            this.ui.invalidate();
+            this.ui.requestRender();
+        });
+    }
     applyRuntimeSettings() {
         setCapabilityOverrides(this.settingsManager.getTerminalCapabilityOverrides());
+        this.ensurePngTranscoder();
         configureHttpDispatcher(this.settingsManager.getHttpIdleTimeoutMs());
         this.applyFullscreenScrollbarSetting();
         if (this.renderer instanceof TuiAltScreen) {
@@ -1628,7 +1671,7 @@ export class InteractiveMode {
      * whatever this returns, so they never reach into the tool registry themselves.
      */
     getRegisteredToolDefinition(toolName) {
-        return withBuiltInRenderers(toolName, this.session.getToolDefinition(toolName));
+        return this.session.extensionRunner.resolveToolRenderers(toolName, () => withBuiltInRenderers(toolName, this.session.getToolDefinition(toolName)));
     }
     getMarkdownTransformers() {
         return [this.mermaidMarkdownTransformer, ...this.session.extensionRunner.getMarkdownTransformers()];
@@ -4075,8 +4118,8 @@ export class InteractiveMode {
                 onEnableInstallTelemetryChange: (enabled) => {
                     this.settingsManager.setEnableInstallTelemetry(enabled);
                 },
-                onQuietStartupChange: (enabled) => {
-                    this.settingsManager.setQuietStartup(enabled);
+                onQuietStartupChange: (quiet) => {
+                    this.settingsManager.setQuietStartup(quiet);
                 },
                 onDefaultProjectTrustChange: (defaultProjectTrust) => {
                     this.settingsManager.setDefaultProjectTrust(defaultProjectTrust);
@@ -4224,7 +4267,6 @@ export class InteractiveMode {
                 this.updateEditorBorderColor();
                 this.showStatus(`Model: ${model.id}`);
                 void this.maybeWarnAboutAnthropicSubscriptionAuth(model);
-                this.checkDaxnutsEasterEgg(model);
             }
             catch (error) {
                 this.showError(error instanceof Error ? error.message : String(error));
@@ -4357,7 +4399,6 @@ export class InteractiveMode {
                     done();
                     this.showStatus(persist ? `Default model: ${model.provider}/${model.id}` : `Model: ${model.id}`);
                     void this.maybeWarnAboutAnthropicSubscriptionAuth(model);
-                    this.checkDaxnutsEasterEgg(model);
                 }
                 catch (error) {
                     done();
@@ -4728,6 +4769,7 @@ export class InteractiveMode {
                     source: authStatus.label ?? authStatus.source,
                 }
                 : undefined;
+            const subscription = provider.auth.oauth?.isSubscription === true;
             if ((!authType || authType === "oauth") && provider.auth.oauth) {
                 options.push({
                     id: provider.id,
@@ -4735,6 +4777,7 @@ export class InteractiveMode {
                     authType: "oauth",
                     method: provider.auth.oauth,
                     status,
+                    subscription,
                 });
             }
             if ((!authType || authType === "api_key") && provider.auth.apiKey) {
@@ -4744,6 +4787,7 @@ export class InteractiveMode {
                     authType: "api_key",
                     method: provider.auth.apiKey,
                     status,
+                    subscription,
                 });
             }
         }
@@ -4751,12 +4795,16 @@ export class InteractiveMode {
     }
     async getLogoutProviderOptions() {
         return (await this.session.modelRuntime.listCredentials({ signal: AbortSignal.timeout(15_000) }))
-            .map(({ providerId, type }) => ({
-            id: providerId,
-            name: this.session.modelRuntime.getProvider(providerId)?.name ?? providerId,
-            authType: type,
-            status: { type, source: "stored credential" },
-        }))
+            .map(({ providerId, type }) => {
+            const provider = this.session.modelRuntime.getProvider(providerId);
+            return {
+                id: providerId,
+                name: provider?.name ?? providerId,
+                authType: type,
+                status: { type, source: "stored credential" },
+                subscription: provider?.auth.oauth?.isSubscription === true,
+            };
+        })
             .sort((a, b) => a.name.localeCompare(b.name));
     }
     findLoginProviderOptions(providerRef) {
@@ -4786,18 +4834,25 @@ export class InteractiveMode {
         }
         this.showLoginProviderSelector(undefined, providerRef);
     }
-    async startProviderLogin(providerOption) {
+    /** `onBack` reopens the selector the login was started from when the user cancels it. */
+    async startProviderLogin(providerOption, onBack) {
         if (providerOption.authType === "oauth") {
-            await this.showLoginDialog(providerOption.id, providerOption.name);
+            await this.showLoginDialog(providerOption.id, providerOption.name, onBack);
         }
         else if (providerOption.method?.login) {
-            await this.showApiKeyLoginDialog(providerOption.id, providerOption.name);
+            await this.showApiKeyLoginDialog(providerOption.id, providerOption.name, onBack);
         }
         else {
-            this.showAmbientAuthDialog(providerOption);
+            this.showAmbientAuthDialog(providerOption, onBack);
         }
     }
     showLoginAuthTypeSelector(providerOptions) {
+        // The top-level selector offers Radius directly, as its last option.
+        const radiusOption = providerOptions
+            ? undefined
+            : this.getLoginProviderOptions("oauth").find((provider) => provider.id === RADIUS_PROVIDER_ID);
+        const radiusText = radiusOption ? `Sign in with ${radiusOption.name}` : undefined;
+        const radiusLabel = radiusOption ? `${radiusText}${formatAuthSelectorProviderStatus(radiusOption)}` : undefined;
         const oauthProvider = providerOptions?.find((provider) => provider.authType === "oauth");
         const oauthLoginLabel = oauthProvider?.method && "loginLabel" in oauthProvider.method ? oauthProvider.method.loginLabel : undefined;
         const subscriptionLabel = oauthLoginLabel ?? "Sign in with an account";
@@ -4812,6 +4867,8 @@ export class InteractiveMode {
         if (availableAuthTypes.has("api_key")) {
             options.push(apiKeyLabel);
         }
+        if (radiusLabel)
+            options.push(radiusLabel);
         if (options.length === 0) {
             this.showStatus("No login methods available.");
             return;
@@ -4827,29 +4884,37 @@ export class InteractiveMode {
             ? `Select authentication method for ${providerOptions[0].name}:`
             : "Select authentication method:";
         this.showSelector((done) => {
-            const selector = new ExtensionSelectorComponent(title, options, (option) => {
+            const onSelect = (option) => {
                 done();
+                if (radiusOption && option === radiusLabel) {
+                    void this.startProviderLogin(radiusOption, () => this.showLoginAuthTypeSelector());
+                    return;
+                }
                 const authType = option === subscriptionLabel ? "oauth" : "api_key";
                 if (providerOptions) {
                     const providerOption = providerOptions.find((provider) => provider.authType === authType);
                     if (providerOption) {
-                        void this.startProviderLogin(providerOption);
+                        void this.startProviderLogin(providerOption, () => this.showLoginAuthTypeSelector(providerOptions));
                     }
                     return;
                 }
                 this.showLoginProviderSelector(authType);
-            }, () => {
+            };
+            const onCancel = () => {
                 done();
                 this.ui.requestRender();
-            });
-            return { component: selector, focus: selector };
+            };
+            const selector = radiusLabel && radiusText
+                ? createLoginMenuSelector(this.ui, title, options, { label: radiusLabel, text: radiusText }, onSelect, onCancel)
+                : new ExtensionSelectorComponent(title, options, onSelect, onCancel);
+            return { component: selector, focus: selector, dispose: () => selector.dispose() };
         });
     }
     showLoginProviderSelector(authType, initialSearchInput) {
         const providerOptions = this.getLoginProviderOptions(authType);
         if (providerOptions.length === 0) {
             const message = authType === "oauth"
-                ? "No subscription providers available."
+                ? "No account providers available."
                 : authType === "api_key"
                     ? "No API key providers available."
                     : "No login providers available.";
@@ -4863,7 +4928,7 @@ export class InteractiveMode {
                 if (!providerOption) {
                     return;
                 }
-                await this.startProviderLogin(providerOption);
+                await this.startProviderLogin(providerOption, () => this.showLoginProviderSelector(authType, initialSearchInput));
             }, () => {
                 done();
                 if (authType) {
@@ -4975,7 +5040,6 @@ export class InteractiveMode {
             if (selectedModel) {
                 this.showStatus(`${actionLabel}. Selected ${selectedModel.id}. Credentials saved to ${getAuthPath()}`);
                 void this.maybeWarnAboutAnthropicSubscriptionAuth(selectedModel);
-                this.checkDaxnutsEasterEgg(selectedModel);
             }
             else {
                 this.showStatus(`${actionLabel}. Credentials saved to ${getAuthPath()}`);
@@ -5017,21 +5081,24 @@ export class InteractiveMode {
         })
             .finally(() => clearTimeout(timeout));
     }
-    showAmbientAuthDialog(providerOption) {
+    showAmbientAuthDialog(providerOption, onBack) {
         const restoreEditor = () => {
             this.editorContainer.clear();
             this.editorContainer.addChild(this.editor);
             this.ui.setFocus(this.editor);
             this.ui.requestRender();
         };
-        const dialog = new LoginDialogComponent(this.ui, providerOption.id, () => restoreEditor(), providerOption.name, `${providerOption.name} setup`);
+        const dialog = new LoginDialogComponent(this.ui, providerOption.id, () => {
+            restoreEditor();
+            onBack?.();
+        }, providerOption.name, `${providerOption.name} setup`);
         dialog.showInfo(`${providerOption.method?.name ?? "Authentication"} is configured outside ${APP_NAME}.`, [], true);
         this.editorContainer.clear();
         this.editorContainer.addChild(dialog);
         this.ui.setFocus(dialog);
         this.ui.requestRender();
     }
-    async showApiKeyLoginDialog(providerId, providerName) {
+    async showApiKeyLoginDialog(providerId, providerName, onBack) {
         const previousModel = this.session.model;
         const dialog = new LoginDialogComponent(this.ui, providerId, (_success, _message) => {
             // Completion handled below
@@ -5064,12 +5131,15 @@ export class InteractiveMode {
             if (error instanceof CredentialSynchronizationError) {
                 this.showError(`Saved API key for ${providerName}, but local model state could not be synchronized: ${errorMsg}`);
             }
-            else if (errorMsg !== "Login cancelled") {
+            else if (errorMsg === "Login cancelled") {
+                onBack?.();
+            }
+            else {
                 this.showError(`Failed to save API key for ${providerName}: ${errorMsg}`);
             }
         }
     }
-    showAuthSelect(dialog, prompt) {
+    showAuthSelect(dialog, prompt, providerId) {
         return new Promise((resolve, reject) => {
             const restoreDialog = () => {
                 this.editorContainer.clear();
@@ -5088,17 +5158,17 @@ export class InteractiveMode {
             }, () => {
                 restoreDialog();
                 reject(new Error("Login cancelled"));
-            });
+            }, { description: providerId === RADIUS_PROVIDER_ID ? RADIUS_LOGIN_INTRO : undefined });
             this.editorContainer.clear();
             this.editorContainer.addChild(selector);
             this.ui.setFocus(selector);
             this.ui.requestRender();
         });
     }
-    async showAuthPrompt(dialog, prompt) {
+    async showAuthPrompt(dialog, prompt, providerId) {
         let response;
         if (prompt.type === "select") {
-            response = this.showAuthSelect(dialog, prompt);
+            response = this.showAuthSelect(dialog, prompt, providerId);
         }
         else if (prompt.type === "manual_code") {
             response = dialog.showManualInput(prompt.message);
@@ -5142,11 +5212,11 @@ export class InteractiveMode {
     async loginProvider(dialog, providerId, method) {
         await this.session.modelRuntime.login(providerId, method, {
             signal: dialog.signal,
-            prompt: (prompt) => this.showAuthPrompt(dialog, prompt),
+            prompt: (prompt) => this.showAuthPrompt(dialog, prompt, providerId),
             notify: (event) => this.notifyAuthDialog(dialog, event),
         }, { getDeviceId: () => this.settingsManager.getOrCreateDeviceId() });
     }
-    async showLoginDialog(providerId, providerName) {
+    async showLoginDialog(providerId, providerName, onBack) {
         const previousModel = this.session.model;
         const dialog = new LoginDialogComponent(this.ui, providerId, (_success, _message) => { }, providerName);
         this.editorContainer.clear();
@@ -5163,6 +5233,8 @@ export class InteractiveMode {
             await this.loginProvider(dialog, providerId, "oauth");
             restoreEditor();
             await this.completeProviderAuthentication(providerId, providerName, "oauth", previousModel);
+            if (providerId === RADIUS_PROVIDER_ID)
+                this.offerRadiusMcpServer(providerId, providerName);
         }
         catch (error) {
             restoreEditor();
@@ -5170,11 +5242,58 @@ export class InteractiveMode {
             if (error instanceof CredentialSynchronizationError) {
                 this.showError(`Logged in to ${providerName}, but local model state could not be synchronized: ${errorMsg}`);
             }
-            else if (errorMsg !== "Login cancelled") {
+            else if (errorMsg === "Login cancelled") {
+                onBack?.();
+            }
+            else {
                 this.showError(`Failed to login to ${providerName}: ${errorMsg}`);
             }
         }
     }
+    /**
+     * Offer to point the Radius MCP server in the global mcp.json at the Radius login, adding the server
+     * when missing. Nothing is asked when a global server already uses this login.
+     */
+    offerRadiusMcpServer(providerId, providerName) {
+        const mcpPath = path.join(getAgentDir(), "mcp.json");
+        const normalizeUrl = (url) => url.replace(/\/+$/u, "");
+        const { servers } = loadMcpConfig({
+            agentDir: getAgentDir(),
+            cwd: this.sessionManager.getCwd(),
+            projectTrusted: false,
+        });
+        const existing = servers.find((server) => "url" in server.config && normalizeUrl(server.config.url) === normalizeUrl(RADIUS_MCP_URL));
+        if (existing && "url" in existing.config && existing.config.auth?.provider === providerId)
+            return;
+        let name = existing?.name ?? "radius";
+        if (!existing && servers.some((server) => server.name === name))
+            name = "radius-mcp";
+        const config = existing && "url" in existing.config
+            ? { ...existing.config, auth: { provider: providerId } }
+            : { url: RADIUS_MCP_URL, auth: { provider: providerId } };
+        // `auth` replaces the MCP OAuth sign-in.
+        delete config.oauth;
+        this.showSelector((done) => {
+            const selector = new ExtensionSelectorComponent(`Configure ${providerName} MCP in ${mcpPath}?`, ["Yes", "No"], (option) => {
+                done();
+                if (option !== "Yes")
+                    return;
+                try {
+                    addMcpServerConfig(mcpPath, name, config);
+                }
+                catch (error) {
+                    this.showError(`Could not update ${mcpPath}: ${error instanceof Error ? error.message : String(error)}`);
+                    return;
+                }
+                // The MCP extension reads mcp.json when the session starts.
+                void this.handleReloadCommand();
+            }, () => {
+                done();
+                this.ui.requestRender();
+            });
+            return { component: selector, focus: selector };
+        });
+    }
     // =========================================================================
     // Command handlers
     // =========================================================================
@@ -5667,6 +5786,8 @@ export class InteractiveMode {
         this.ui.requestRender();
     }
     handleArminSaysHi() {
+        if (playArmin3d(this.renderer))
+            return;
         this.chatContainer.addChild(new Spacer(1));
         this.chatContainer.addChild(new ArminComponent(this.ui));
         this.ui.requestRender();
@@ -5676,16 +5797,6 @@ export class InteractiveMode {
         this.chatContainer.addChild(new EarendilAnnouncementComponent());
         this.ui.requestRender();
     }
-    handleDaxnuts() {
-        this.chatContainer.addChild(new Spacer(1));
-        this.chatContainer.addChild(new DaxnutsComponent(this.ui));
-        this.ui.requestRender();
-    }
-    checkDaxnutsEasterEgg(model) {
-        if (model.provider === "opencode" && model.id.toLowerCase().includes("kimi-k2.5")) {
-            this.handleDaxnuts();
-        }
-    }
     async handleBashCommand(command, excludeFromContext = false) {
         const extensionRunner = this.session.extensionRunner;
         // Emit user_bash event to let extensions intercept