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

[Plugin]: SSH Dock

Reported by moneytosms · filed Aug 25, 2026 · open at source

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

Repository URL

https://github.com/moneytosms/omarchy-ssh-dock

Category

Productivity

Tags

bar, quickshell, ssh, remote

Suggest a missing tag

No response

Maintainer notes

SSH launcher dock for the bar: connect to servers imported from ~/.ssh/config
with a click or a keybind, see which sessions are live (ControlMaster sockets
+ running ssh processes), and get a dock light when a server sends a
matching desktop notification. Connect modes: plain ssh, tmux attach-or-create,
herdr --remote, or a custom command template. No install step beyond
omarchy plugin add — no separate download, account, telemetry, or extra
runtime package required (uses jq, already an Omarchy dependency; herdr
only if that connect mode is used).

Install:

omarchy plugin add https://github.com/moneytosms/omarchy-ssh-dock.git

Screenshots:

!Server list
!Per-server edit form

Submission status

  • Version target: v0.2.0 (172cf4a)
  • 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/moneytosms/omarchy-ssh-dock

### Category

Productivity

### Tags

bar, quickshell, ssh, remote

### Suggest a missing tag

_No response_

### Maintainer notes

SSH launcher dock for the bar: connect to servers imported from `~/.ssh/config`
with a click or a keybind, see which sessions are live (ControlMaster sockets
+ running `ssh` processes), and get a dock light when a server sends a
matching desktop notification. Connect modes: plain ssh, tmux attach-or-create,
`herdr --remote`, or a custom command template. No install step beyond
`omarchy plugin add` — no separate download, account, telemetry, or extra
runtime package required (uses `jq`, already an Omarchy dependency; `herdr`
only if that connect mode is used).

Install:
```
omarchy plugin add https://github.com/moneytosms/omarchy-ssh-dock.git
```

Screenshots:

![Server list](https://raw.githubusercontent.com/moneytosms/omarchy-ssh-dock/main/docs/screenshot-list.png)
![Per-server edit form](https://raw.githubusercontent.com/moneytosms/omarchy-ssh-dock/main/docs/screenshot-edit.png)

### Submission status

- Version target: `v0.2.0` (`172cf4a`)
- 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 09:09 UTC