Proof Portal

Omarchy

ProbeLabs73 findings · 87 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 errors73 open findings

as of 7e5410386a · Oct 3, 2026 · quattro-proof

Open this run 70 audits

FindingsSee what needs attention and act on it.

73open findings

2 High18 Medium53 Low

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.

Requirement10 requirements updated1 day ago
Known issueOpening a select menu walks its rows quadratically (omacom/omarchy#10601)2 days ago
Requirement26 requirements updated2 days ago
Requirement2 requirements added3 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