benbrastmckie

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

Research blockers and spawn new tasks to overcome them, updating parent task dependencies

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

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

Research blockers and spawn new tasks to overcome them, updating parent task dependencies

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

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.

Implement LaTeX documents following a plan. Invoke for LaTeX-language implementation tasks.

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

Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.

Research and develop semantic theories using ModelChecker with Z3 SMT solver. Define operators, adjust frame constraints, create examples, run tests, and report findings. Invoke with /mc or when working with model-checker, semantic theories, or Z3 constraints.

Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.

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

Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.

Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.

Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.

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.

Document conversion routing with dual invocation support

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

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

Implement LaTeX documents following a plan. Invoke for LaTeX-language implementation tasks.

Scan codebase for FIX:/NOTE:/TODO: tags and create structured tasks with interactive selection. Invoke for /learn command.