benbrastmckie

Ad-hoc wrapper-only email triage - census, classify, review, confirmed archive/delete/unsubscribe-extract. Default 50-step mode, --all whole-mailbox mode, --archive scope to the account's archive folder. Gmail and Logos accounts supported. Invoke for /email command.

Memory vault management - create, search, classify, and index memories. Invoke for /learn command memory operations.

Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.

Manage specs/literature/ — scan, convert PDFs/DJVUs, maintain index.json. Invoke for /literature command.

Reconcile local maildir mutations to the account's server via mbsync - the deliberate post-cleanup sync step. Defaults the mbsync channel from the account (gmail or logos). Invoke for /email --sync.

Execute general implementation tasks following a plan. Invoke for general implementation work.

Full structural hard-mode orchestration state machine with per-phase dispatch (H1), adversarial verification (H4), convergence policing (H6), territory contracts (H7), and churn detection (H5). Invoke for /orchestrate --hard.

Autonomous state machine that drives a task through its full lifecycle (research -> plan -> implement -> complete) without user confirmation between phases. Invoke for /orchestrate command.

Research skill for formal methods and logic verification

Implementation skill for Lean 4 proofs and definitions

Research skill for Lean 4 theorem prover and Mathlib

Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.

Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

Implement Nix configuration changes from plans. Invoke for nix implementation tasks.

Conduct Nix/NixOS/Home Manager research using MCP-NixOS, web docs, and codebase exploration. Invoke for nix research tasks.

Research physics formalization tasks using domain context and codebase exploration. Invoke for physics-language research involving dynamical systems, chaos theory, and related formalization.