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 Cursor logo glyph to omarchy.ttf icon font
Reported by GimpyHand · filed Aug 20, 2026 · open at source
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?
- AreaOutside the audited area· 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?
- Decided by agents and verified by a second, independent agent — see the decision.
Original report
Problem
The Omarchy icon font (omarchy.ttf) has custom glyphs for several AI agents:
| Glyph | Name |
|---|---|
| U+E900 | omarchy |
| U+E901 | pi |
| U+E902 | opencode |
| U+E903 | omp |
| U+E904 | grok |
| U+E905 | codex |
| U+E906 | lmstudio |
| U+E907 | ollama |
If Cursor CLI is added as a default agent option (see #7632), there's no Cursor logo glyph to display in the menu.
Solution
Add the official Cursor logo as a new glyph to omarchy.ttf (e.g., U+E908).
Context
- Cursor CLI is supported via
omarchy default agent cursor - The Cursor editor is already in the install menu but uses an empty icon string
- Nerd Fonts don't have the Cursor IDE logo — only generic cursor/pointer icons
- This issue is a prerequisite for #7632 to have a proper icon
View raw text
## Problem The Omarchy icon font (`omarchy.ttf`) has custom glyphs for several AI agents: | Glyph | Name | |-------|------| | U+E900 | omarchy | | U+E901 | pi | | U+E902 | opencode | | U+E903 | omp | | U+E904 | grok | | U+E905 | codex | | U+E906 | lmstudio | | U+E907 | ollama | If Cursor CLI is added as a default agent option (see #7632), there's no Cursor logo glyph to display in the menu. ## Solution Add the official Cursor logo as a new glyph to `omarchy.ttf` (e.g., U+E908). ## Context - Cursor CLI is supported via `omarchy default agent cursor` - The Cursor editor is already in the install menu but uses an empty icon string - Nerd Fonts don't have the Cursor IDE logo — only generic cursor/pointer icons - This issue is a prerequisite for #7632 to have a proper icon
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/8450· 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.
- Out of scopeDecided by agents · verified · 2026-10-09 08:16 UTC