Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-1401GitHub issuePublicReceived

Migrate default Google agent integration from deprecated Gemini CLI to Antigravity (agy)

Reported by theMindDeveloper · filed Aug 26, 2026 · open at source

Open at source
Partly in the audited area (menu) — decided by agents · verified. Not validated yet.

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?
AreaPartly in the audited areamenu· Decided by agents · verified
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. So far: partly in the audited area (menu) — decided by agents · verified; matches no known issue — decided by agents · verified. The outcome (valid, duplicate, not a bug, …) is not decided yet. See the decision.

Original report

Migrate default Google agent integration from deprecated Gemini CLI to Antigravity (agy)revision 1 · captured 2026-09-28 21:24 UTC via poll

Summary

The current Gemini agent integration in Omarchy attempts to install and invoke the legacy @google/gemini-cli npm package via mise. This CLI and its consumer auth have been sunsetted and replaced by the Antigravity CLI (agy). As a result, selecting Gemini in Setup > Default > Agent fails during installation or fails to authenticate.

Current Behavior

  1. install/user/mise.sh runs omarchy-mise-install gemini, pulling the deprecated @google/gemini-cli package from npm.
  2. omarchy-default-agent gemini checks mise where gemini and fails when trying to install the deprecated package.
  3. omarchy-agent attempts to launch gemini --yolo with --prompt-interactive "$prompt".

Proposed Changes

To modernize the integration and restore native support:

  1. Agent Binary & Package Definition (`omarchy-default-agent` & `install/user/mise.sh`):
  • Replace the legacy gemini npm package target with the standalone Antigravity CLI (agy).
  • Allow binary discovery in ~/.local/bin/agy or update package stubs accordingly.
  1. Flag Updates (`omarchy-agent`):
  • agy uses --dangerously-skip-permissions instead of --yolo for unattended / auto-approval execution.
  • Interactive prompt passing via --prompt-interactive "$prompt" is supported by agy.
  1. Menu & Shell Defaults:
  • Update omarchy-menu.jsonc and omarchy-default-agent so agy / gemini points to Antigravity CLI.
  1. *Agent Usage Collector (`omarchy-agent-usage-`):**
  • Provide an agy collector reading from ~/.gemini/antigravity-cli/history.jsonl and session state so the omarchy.agents bar widget populates metrics properly.
View raw text
### Summary
The current Gemini agent integration in Omarchy attempts to install and invoke the legacy `@google/gemini-cli` npm package via `mise`. This CLI and its consumer auth have been sunsetted and replaced by the Antigravity CLI (`agy`). As a result, selecting Gemini in `Setup > Default > Agent` fails during installation or fails to authenticate.

### Current Behavior
1. `install/user/mise.sh` runs `omarchy-mise-install gemini`, pulling the deprecated `@google/gemini-cli` package from npm.
2. `omarchy-default-agent gemini` checks `mise where gemini` and fails when trying to install the deprecated package.
3. `omarchy-agent` attempts to launch `gemini --yolo` with `--prompt-interactive "$prompt"`.

### Proposed Changes
To modernize the integration and restore native support:

1. **Agent Binary & Package Definition (`omarchy-default-agent` & `install/user/mise.sh`):**
   - Replace the legacy `gemini` npm package target with the standalone Antigravity CLI (`agy`).
   - Allow binary discovery in `~/.local/bin/agy` or update package stubs accordingly.

2. **Flag Updates (`omarchy-agent`):**
   - `agy` uses `--dangerously-skip-permissions` instead of `--yolo` for unattended / auto-approval execution.
   - Interactive prompt passing via `--prompt-interactive "$prompt"` is supported by `agy`.

3. **Menu & Shell Defaults:**
   - Update `omarchy-menu.jsonc` and `omarchy-default-agent` so `agy` / `gemini` points to Antigravity CLI.

4. **Agent Usage Collector (`omarchy-agent-usage-*`):**
   - Provide an `agy` collector reading from `~/.gemini/antigravity-cli/history.jsonl` and session state so the `omarchy.agents` bar widget populates metrics properly.

Also reported as

R-1401 is the earliest report of this defect, filed Aug 26, 2026. 1 later report describes the same defect.

  1. Aug 26, 2026R-1401 · this report— the original
  2. Oct 5, 2026feat(agent): add Google Antigravity (agy) to default coding agents and status bar panel R-5160
    ·Decided by agents · verified

    Open upstream.

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

  • Related PRpr/8952· confirmed
  • Related PRpr/13848· confirmed
  • Related PRpr/14884· 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.

  • Decided by agents · verified: partly in the audited area (menu)
  • Decided by agents · verified: matches no known issue

The outcome (valid, duplicate, not a bug, …) is not decided yet.