Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.
Gemini CLI consumer auth shut down 2026-06-18 — mise install fails with node-pty build error
Reported by thebigdave · filed Aug 26, 2026Closed upstream on 2026-09-06 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- Not yet mapped to any requirement or component.
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
Problem
Google shut down Gemini CLI consumer auth on 2026-06-18. The gemini agent entry in Omarchy's default menu still installs via mise use -g gemini, which pulls @google/gemini-cli from npm. The install fails because [email protected] can't build:
mise ERROR no tasks defined in ~/.local/share/mise/installs/gemini/0.56.0/node_modules/.mise/[email protected]/node_modules/node-pty. Are you in a project directory?
mise ERROR Failed to install npm:@google/gemini-cli@latest: aube install failed: lifecycle script install failed for [email protected]: script `install` exited with code Some(1)
Could not install Gemini with miseImpact
Three things trigger this error:
- `omarchy refresh applications` — runs
omarchy-mise-install gemini(ininstall/user/mise.sh) which overwrites the user's shim with a broken mise wrapper. - Clicking the Gemini agent in Setup > Default > Agent — runs
omarchy-default-agent geminiwhich callsmise use -g gemini, triggering the npm install. - `Super+Ctrl+Shift+A` keybinding — launches
omarchy-agentwhich reads the gemini default and calls the mise wrapper.
Workaround
Replace the gemini entry with Antigravity CLI (agy) using user-space interceptors. Script: https://github.com/thebigdave/omarchy-agy
Suggested fix
- Remove
geminifrominstall/user/mise.sh - Update the
setup.default.agent.geminimenu entry or remove it - Update
omarchy-agentto handle the gemini case
View raw text
## Problem Google shut down Gemini CLI consumer auth on 2026-06-18. The `gemini` agent entry in Omarchy's default menu still installs via `mise use -g gemini`, which pulls `@google/gemini-cli` from npm. The install fails because `[email protected]` can't build: ``` mise ERROR no tasks defined in ~/.local/share/mise/installs/gemini/0.56.0/node_modules/.mise/[email protected]/node_modules/node-pty. Are you in a project directory? mise ERROR Failed to install npm:@google/gemini-cli@latest: aube install failed: lifecycle script install failed for [email protected]: script `install` exited with code Some(1) Could not install Gemini with mise ``` ## Impact Three things trigger this error: 1. **`omarchy refresh applications`** — runs `omarchy-mise-install gemini` (in `install/user/mise.sh`) which overwrites the user's shim with a broken mise wrapper. 2. **Clicking the Gemini agent in Setup > Default > Agent** — runs `omarchy-default-agent gemini` which calls `mise use -g gemini`, triggering the npm install. 3. **`Super+Ctrl+Shift+A` keybinding** — launches `omarchy-agent` which reads the gemini default and calls the mise wrapper. ## Workaround Replace the gemini entry with [Antigravity CLI (agy)](https://antigravity.google/cli) using user-space interceptors. Script: https://github.com/thebigdave/omarchy-agy ## Suggested fix - Remove `gemini` from `install/user/mise.sh` - Update the `setup.default.agent.gemini` menu entry or remove it - Update `omarchy-agent` to handle the gemini case
Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
- Fixed bypr/8952· confirmed
- Fixed bypr/13848· confirmed
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
No decision has been recorded yet.