Proof Portal

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.

Verification

Audit passing· 0 errors63 open findings

as of 1e43373287 · Oct 4, 2026 · quattro-proof

Open this run 188 audits

FindingsSee what needs attention and act on it.

63open findings

17 Medium46 Low

2 resolved

Open findings

RequirementsExplore what the software must do — and how each is proven.

MapSee how the system fits together.

2components

Open map

TimelineFollow how it changed over time.

Requirement1 requirement updated2 days ago
Known issueLock keyboard-off saves brightness 0 when the light is already off, so unlock restores darkness2 days ago
Requirement1 requirement added2 days ago
Requirement7 requirements updated7 days ago

Open timeline

DocumentsGenerate specs, traceability, and verification reports.

6 documents ready to generateRequirements summary · Requirements specification (SRS) · Traceability matrix & more

Open documents

Connect & share

Plug an AI agent into this project's proof data, or drop a live proof badge in your README.

Connect an AI agent

Point Claude, Cursor, or any MCP client at this project's read-only proof data — its requirements, findings, coverage, and evidence — so your agent can answer questions and cite the audit directly.

MCP endpoint (streamable HTTP)

https://portal.reqproof.com/projects/omarchy/mcp

Show how to connect — Claude Code & .mcp.json

Add it to Claude Code

claude mcp add --transport http proof-omarchy \
  https://portal.reqproof.com/projects/omarchy/mcp

Or add it to your .mcp.json

{
  "mcpServers": {
    "proof-omarchy": {
      "type": "http",
      "url": "https://portal.reqproof.com/projects/omarchy/mcp"
    }
  }
}

This project is public — no token needed.

Add a proof badge

Drop a live proof status into your README — a rich status card, or a compact badge — linking back to this dashboard so anyone reading your repo can open the evidence.

Copy the README Markdown — card & compact badge

Status card (shown above)

[![Proof status](https://portal.reqproof.com/projects/omarchy/card.svg)](https://portal.reqproof.com/projects/omarchy)

Compact badge

[![Proof status](https://portal.reqproof.com/projects/omarchy/badge.svg)](https://portal.reqproof.com/projects/omarchy)

Proof