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.
omarchy-nvim ships a dead plugin URL: `gthelding/monokai-pro.nvim` 404s, so `:Lazy sync` reports fetch failed
Reported by marcelobritu · filed Sep 4, 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
omarchy-nvim ships a dead plugin URL: gthelding/monokai-pro.nvim 404s, so :Lazy sync reports "fetch failed"
What happens
On a stock install, opening Neovim and running :Lazy sync (or :Lazy check / :Lazy update) reports:
Failed (1)
monokai-pro.nvim fetch failed
fatal: could not read Username for 'https://github.com': terminal prompts disabledThe plugin is already present at the pinned commit from the packaged cache, so themes still work, but every sync/update flags it as failed and the error is alarming.
Cause
~/.config/nvim/lua/plugins/all-themes.lua (owned by omarchy-nvim) declares:
{
"gthelding/monokai-pro.nvim",
lazy = true,
priority = 1000,
},https://github.com/gthelding/monokai-pro.nvim now returns HTTP 404 — the fork has been deleted (or made private). The git endpoint returns 401, which is why git falls back to prompting for a username and lazy.nvim reports "could not read Username / terminal prompts disabled".
lazy-lock.json pins monokai-pro.nvim to 5b06ae0736813b1c65d76a4be9edbe92be0b9c74 on that fork.
Expected
:Lazy sync completes with no failures on a stock config.
Steps to reproduce
- Fresh Omarchy 4 install (omarchy-nvim 2026.8.13-1).
nvim:Lazy sync- Observe
monokai-pro.nvimunder Failed with the git username error.
Suggested fix
Point the spec at the canonical, actively maintained upstream that the dead repo was forked from — loctvl842/monokai-pro.nvim (HTTP 200, still the source of the ristretto filter Omarchy's Monokai theme uses):
{
"loctvl842/monokai-pro.nvim",
lazy = true,
priority = 1000,
},and refresh the lazy-lock.json pin. (gthelding/monokai-pro.nvim was a thin fork of it.)
System
- Omarchy: 4.0.2-1
- omarchy-nvim: 2026.8.13-1
- Neovim: v0.12.5
- Arch, kernel 7.1.9-arch1-2
View raw text
omarchy-nvim ships a dead plugin URL: `gthelding/monokai-pro.nvim` 404s, so `:Lazy sync` reports "fetch failed"
## What happens
On a stock install, opening Neovim and running `:Lazy sync` (or `:Lazy check` / `:Lazy update`) reports:
```
Failed (1)
monokai-pro.nvim fetch failed
fatal: could not read Username for 'https://github.com': terminal prompts disabled
```
The plugin is already present at the pinned commit from the packaged cache, so themes still work, but every sync/update flags it as failed and the error is alarming.
## Cause
`~/.config/nvim/lua/plugins/all-themes.lua` (owned by `omarchy-nvim`) declares:
```lua
{
"gthelding/monokai-pro.nvim",
lazy = true,
priority = 1000,
},
```
`https://github.com/gthelding/monokai-pro.nvim` now returns **HTTP 404** — the fork has been deleted (or made private). The git endpoint returns 401, which is why git falls back to prompting for a username and lazy.nvim reports "could not read Username / terminal prompts disabled".
`lazy-lock.json` pins `monokai-pro.nvim` to `5b06ae0736813b1c65d76a4be9edbe92be0b9c74` on that fork.
## Expected
`:Lazy sync` completes with no failures on a stock config.
## Steps to reproduce
1. Fresh Omarchy 4 install (omarchy-nvim 2026.8.13-1).
2. `nvim`
3. `:Lazy sync`
4. Observe `monokai-pro.nvim` under **Failed** with the git username error.
## Suggested fix
Point the spec at the canonical, actively maintained upstream that the dead repo was forked from — `loctvl842/monokai-pro.nvim` (HTTP 200, still the source of the `ristretto` filter Omarchy's Monokai theme uses):
```lua
{
"loctvl842/monokai-pro.nvim",
lazy = true,
priority = 1000,
},
```
and refresh the `lazy-lock.json` pin. (`gthelding/monokai-pro.nvim` was a thin fork of it.)
## System
- Omarchy: 4.0.2-1
- omarchy-nvim: 2026.8.13-1
- Neovim: v0.12.5
- Arch, kernel 7.1.9-arch1-2
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.
- Out of scopeDecided by agents · verified · 2026-10-09 10:43 UTC