Proof Portal

Sign in
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-280GitHub issuePublicDecided· Out of scope

[Plugin]: CLIamp Radio

Reported by CallMeBakugo · filed Sep 20, 2026Closed upstream on 2026-10-13 by its own reporter CallMeBakugo. GitHub close reason: completed. Closed by its own reporter — not by itself evidence of a fix.

Open at source
Decided: Out of scope — decided by agents · verified 4 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

[Plugin]: CLIamp Radiorevision 1 · captured 2026-09-28 21:23 UTC via poll

Repository URL

https://github.com/CallMeBakugo/omarchy-cliamp

Category

Media

Tags

bar, quickshell, cliamp, music, radio

Suggest a missing tag

No response

Maintainer notes

cliamp playback in the Omarchy bar: a play/pause chip (▶/⏸) that stays visible in both states, hover tooltip showing track — artist • station, and a click to toggle. Built around Omarchy Radio but works with anything cliamp plays.

The widget polls cliamp status --json every 2 s and needs no extra runtime of its own — cliamp's CLI is the interface. A bundled systemd user service (cliamp-daemon.service) runs cliamp headless at login (cliamp --daemon), so playback and the widget survive without a terminal open; the widget works equally against the interactive TUI.

Install:

omarchy plugin add https://github.com/CallMeBakugo/omarchy-cliamp

Screenshots:

!Playing
!Paused

Submission status

  • Version target: v0.1.0 (0d661fe)
  • Repository visibility: public, MIT licensed
  • Base approval issue/decision requested: listing in the plugin directory

Submission checklist

  • The repository is public and contains installation and removal instructions.
  • I have documented the plugin license and any external dependencies.
  • I confirm that I own or have permission to submit this plugin and its preview assets.
  • The plugin has completed the full live single-display and multi-display acceptance matrix.
  • The plugin does not overwrite user configuration without explicit consent.
  • I understand that approval is for listing and is not a security review.
View raw text
### Repository URL

https://github.com/CallMeBakugo/omarchy-cliamp

### Category

Media

### Tags

bar, quickshell, cliamp, music, radio

### Suggest a missing tag

_No response_

### Maintainer notes

cliamp playback in the Omarchy bar: a play/pause chip (▶/⏸) that stays visible in both states, hover tooltip showing track — artist • station, and a click to toggle. Built around Omarchy Radio but works with anything cliamp plays.

The widget polls `cliamp status --json` every 2 s and needs no extra runtime of its own — cliamp's CLI is the interface. A bundled systemd user service (`cliamp-daemon.service`) runs cliamp headless at login (`cliamp --daemon`), so playback and the widget survive without a terminal open; the widget works equally against the interactive TUI.

Install:
```
omarchy plugin add https://github.com/CallMeBakugo/omarchy-cliamp
```

Screenshots:

![Playing](https://raw.githubusercontent.com/CallMeBakugo/omarchy-cliamp/master/docs/bar-playing.png)
![Paused](https://raw.githubusercontent.com/CallMeBakugo/omarchy-cliamp/master/docs/bar-paused.png)

### Submission status

- Version target: `v0.1.0` (`0d661fe`)
- Repository visibility: `public`, MIT licensed
- Base approval issue/decision requested: listing in the plugin directory

### Submission checklist

- [x] The repository is public and contains installation and removal instructions.
- [x] I have documented the plugin license and any external dependencies.
- [x] I confirm that I own or have permission to submit this plugin and its preview assets.
- [ ] The plugin has completed the full live single-display and multi-display acceptance matrix.
- [x] The plugin does not overwrite user configuration without explicit consent.
- [x] I understand that approval is for listing and is not a security review.

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 16:32 UTC