benbrastmckie

Research lean-book authoring, certification and documentation tasks. Invoke for books research tasks.

Books convention performance review (--review, strictly read-only) and interactive research-and-revision task proposal (--revise). Invoke for /books command.

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

Create scoped git commits for task operations. Invoke after task status changes or artifact creation.

Interactive system builder. Invoke for /meta command to create tasks for .claude/ system changes.

Archive completed, abandoned, and expanded tasks with CHANGE_LOG.md updates and memory harvest suggestions

Owner-labeled, agent-assisted component approval. Invoke for /approve <component>.

Interactive critique loop for slide presentations. Delegates to slide-critic-agent, presents findings to user, collects accept/reject/modify decisions, produces filtered critique report.

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.