benbrastmckie

Orchestrate multi-agent implementation with parallel phase execution. Spawns teammates for independent phases and coordinates dependent phases. Includes debugger teammate for error recovery.

Implement CSLib proofs with hard-mode contracts (H2 anti-analysis, H7 territory, H9 wrap-up with sorry_inventory). Invoke for --hard cslib implementation tasks.

Research CSLib formalization patterns with hard-mode contracts (H2 anti-analysis, H3 reference grounding with BibKey verification, H4 adversarial verification). Invoke for --hard cslib research tasks.

Implementation skill for R-based epidemiology analysis. Invoke for epi/epi:study implementation tasks.

Research skill for epidemiology study design and analysis planning. Invoke for epi/epi:study research tasks.

Implement web (Astro/Tailwind/TypeScript) changes following a plan. Invoke for web-language implementation tasks.

Conduct web development research using framework docs and codebase exploration. Invoke for web research tasks.

Execute hard-mode implementation with anti-analysis contracts, per-phase dispatch, and territory-aware execution. Invoke for --hard implementation tasks.

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.