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.
Add cxa alias for 'claude agents' (agent view) in bypassPermissions mode
Reported by SamuelYancy · filed May 14, 2026Closed upstream on 2026-05-15. 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
Proposal
Add a companion to the existing cx alias for the new Claude Code agent view:
alias cxa='printf "\033[2J\033[3J\033[H" && claude --permission-mode bypassPermissions agents'Why
Anthropic recently shipped an "agent view" in Claude Code for managing parallel background sessions — opened from the terminal with claude agents. See: https://claude.com/blog/agent-view-in-claude-code
Since Omarchy already ships cx (default/bash/aliases:47) for launching Claude in bypassPermissions mode, a parallel cxa (cx + agents) would let users jump straight into the agent view with the same workflow. Naming follows the existing c / cx and i / ic / ix patterns.
Alternative names
cxa— mirrorscx, shortcxg— "cx agent view"cag— "claude agents"
Happy to send a PR if there's interest and a preferred name.
View raw text
## Proposal Add a companion to the existing `cx` alias for the new Claude Code **agent view**: ```bash alias cxa='printf "\033[2J\033[3J\033[H" && claude --permission-mode bypassPermissions agents' ``` ## Why Anthropic recently shipped an "agent view" in Claude Code for managing parallel background sessions — opened from the terminal with `claude agents`. See: https://claude.com/blog/agent-view-in-claude-code Since Omarchy already ships `cx` (`default/bash/aliases:47`) for launching Claude in `bypassPermissions` mode, a parallel `cxa` (cx + **a**gents) would let users jump straight into the agent view with the same workflow. Naming follows the existing `c` / `cx` and `i` / `ic` / `ix` patterns. ## Alternative names - `cxa` — mirrors `cx`, short - `cxg` — "cx agent view" - `cag` — "claude agents" Happy to send a PR if there's interest and a preferred name.
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
Not linked to any known issue, other report or change yet.
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.