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-4781GitHub issuePublicFixed

Add support for Antigravity (agy) agent and note deprecated Gemini CLI

Reported by slawkor · filed Aug 31, 2026Closed upstream on 2026-08-31 by its own reporter slawkor, as a duplicate of #8477 (R-1401). GitHub close reason: not_planned.

Open at source
Received and recorded verbatim. Nothing has been checked 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?
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

Add support for Antigravity (agy) agent and note deprecated Gemini CLIrevision 1 · captured 2026-10-04 12:03 UTC via poll

Description

In Omarchy 4.0.2, omarchy-agent (invoked by the SUPER + SHIFT + CTRL + A shortcut) and omarchy-default-agent support a hardcoded list of agents (pi, omp, opencode, claude, codex, crush, grok, gemini, copilot).

  1. Lack of `agy` (Antigravity) Support: There is currently no support for Google's Antigravity CLI (agy), causing SUPER + SHIFT + CTRL + A to fail silently with Unsupported default agent: agy when ~/.config/omarchy/defaults/agent is set to agy.
  2. Deprecated Gemini CLI: The gemini option targets gemini-cli, which was discontinued in June 2026.

Steps to Reproduce

  1. Set ~/.config/omarchy/defaults/agent to agy.
  2. Press SUPER + SHIFT + CTRL + A (or run omarchy-agent --pick / omarchy agent).
  3. Notice that no terminal or agent window opens, and omarchy-agent exits with Unsupported default agent: agy.

Expected Behavior

  • omarchy default agent agy should be a recognized option.
  • omarchy-agent should dispatch to agy (with --prompt-interactive "$prompt" support).

Proposed Changes

In /usr/share/omarchy/bin/omarchy-default-agent:

case "$1" in
agy | antigravity) agent="agy"; name="Antigravity" ;;
...

In /usr/share/omarchy/bin/omarchy-agent:

case "$agent" in
agy | antigravity)
  command=(agy)
  [[ -n ${prompt:-} ]] && command+=(--prompt-interactive "$prompt")
  ;;
...

System Details

  • Omarchy Version: 4.0.2-1
  • Compositor: Hyprland
View raw text
### Description

In Omarchy 4.0.2, `omarchy-agent` (invoked by the `SUPER + SHIFT + CTRL + A` shortcut) and `omarchy-default-agent` support a hardcoded list of agents (`pi`, `omp`, `opencode`, `claude`, `codex`, `crush`, `grok`, `gemini`, `copilot`).

1. **Lack of `agy` (Antigravity) Support:** There is currently no support for Google's Antigravity CLI (`agy`), causing `SUPER + SHIFT + CTRL + A` to fail silently with `Unsupported default agent: agy` when `~/.config/omarchy/defaults/agent` is set to `agy`.
2. **Deprecated Gemini CLI:** The `gemini` option targets `gemini-cli`, which was discontinued in June 2026.

### Steps to Reproduce

1. Set `~/.config/omarchy/defaults/agent` to `agy`.
2. Press `SUPER + SHIFT + CTRL + A` (or run `omarchy-agent --pick` / `omarchy agent`).
3. Notice that no terminal or agent window opens, and `omarchy-agent` exits with `Unsupported default agent: agy`.

### Expected Behavior

- `omarchy default agent agy` should be a recognized option.
- `omarchy-agent` should dispatch to `agy` (with `--prompt-interactive "$prompt"` support).

### Proposed Changes

In `/usr/share/omarchy/bin/omarchy-default-agent`:
```bash
case "$1" in
agy | antigravity) agent="agy"; name="Antigravity" ;;
...
```

In `/usr/share/omarchy/bin/omarchy-agent`:
```bash
case "$agent" in
agy | antigravity)
  command=(agy)
  [[ -n ${prompt:-} ]] && command+=(--prompt-interactive "$prompt")
  ;;
...
```

### System Details

- **Omarchy Version:** 4.0.2-1
- **Compositor:** Hyprland

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.