Proof Portal

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-990GitHub issuePublicDecided· Out of scope

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

Decided: Out of scope — decided by agents · verified 3 days ago.

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 failedrevision 1 · captured 2026-09-28 21:24 UTC via poll

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:

{
    "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):

{
    "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