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.

Inbox

ReportR-1646GitHub issuePublicDecided· Out of scope

Plugin: Context Engine - Work state detection with automatic actions

Reported by markbus-ai · filed Aug 19, 2026 · open at source

Open at source

Decided: Out of scope — decided by agents · verified 5 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: Context Engine - Work state detection with automatic actionsrevision 1 · captured 2026-09-28 21:29 UTC via poll

Context Engine

A plugin that detects your work state from multiple signals and acts automatically.

What it does

Instead of tracking individual apps, Context Engine detects work states:

State	Signals	Auto-action
🟢 Deep Work	Editor + 15min + no audio	Silence notifications
🔴 Meeting	Zoom/Meet + audio active	Enable DND
🟡 Break	Spotify/YouTube	None (respect)
🔵 Distracted	Browser 30min+	Suggest focus mode
⚪ Idle	No activity 20min+	Suggest lock

Features

Multi-signal fusion: Hyprland windows + Pipewire audio + time + workspace
Domain tracking: Knows WHAT you're doing in the browser (YouTube = break, GitHub = work)
Auto-actions: DND in meetings, silent notifications in deep work
Fully configurable: Thresholds, apps, actions, schedule, AI
Optional AI: Ollama, OpenAI, or Anthropic for deeper analysis
SQLite history: Daily state summaries
Zero config: Works out of the box with smart defaults

Install

omarchy plugin add https://github.com/markbus-ai/omarchy-context-engine

Configuration

All settings in shell.json:

{
  "id": "markbusking.context-engine",
  "deepWorkThresholdMinutes": 15,
  "distractedThresholdMinutes": 30,
  "autoDndOnMeeting": true,
  "aiEnabled": false
}

Links

View raw text

## Context Engine

A plugin that detects your work state from multiple signals and acts automatically.

### What it does

Instead of tracking individual apps, Context Engine detects **work states**:

| State | Signals | Auto-action |
|-------|---------|-------------|
| 🟢 Deep Work | Editor + 15min + no audio | Silence notifications |
| 🔴 Meeting | Zoom/Meet + audio active | Enable DND |
| 🟡 Break | Spotify/YouTube | None (respect) |
| 🔵 Distracted | Browser 30min+ | Suggest focus mode |
| ⚪ Idle | No activity 20min+ | Suggest lock |

### Features

- **Multi-signal fusion**: Hyprland windows + Pipewire audio + time + workspace
- **Domain tracking**: Knows WHAT you're doing in the browser (YouTube = break, GitHub = work)
- **Auto-actions**: DND in meetings, silent notifications in deep work
- **Fully configurable**: Thresholds, apps, actions, schedule, AI
- **Optional AI**: Ollama, OpenAI, or Anthropic for deeper analysis
- **SQLite history**: Daily state summaries
- **Zero config**: Works out of the box with smart defaults

### Install

```bash
omarchy plugin add https://github.com/markbus-ai/omarchy-context-engine
```

### Configuration

All settings in `shell.json`:

```json
{
  "id": "markbusking.context-engine",
  "deepWorkThresholdMinutes": 15,
  "distractedThresholdMinutes": 30,
  "autoDndOnMeeting": true,
  "aiEnabled": false
}
```

### Links

- [GitHub Repo](https://github.com/markbus-ai/omarchy-context-engine)
- [README](https://github.com/markbus-ai/omarchy-context-engine/blob/main/README.md)

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 04:49 UTC

Proof

History & reports

Reference