nvim

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

Orchestrate multi-agent planning with parallel plan generation. Spawns 2-3 teammates for diverse planning approaches and synthesizes into final plan with trade-off analysis.

Orchestrate multi-agent research with wave-based parallel execution. Spawns 2-4 teammates for diverse investigation angles and synthesizes findings.

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.

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

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

Create hard-mode implementation plans with phase sizing, postmortem constraints, and preserved-assets accounting. Invoke for --hard planning tasks.

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

Conduct hard-mode research with adversarial verification, reference grounding, and anti-analysis contracts. Invoke for --hard research tasks.

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

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

Implement CSLib proofs following Lean 4 and CSLib contribution standards. Invoke for 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.

Research CSLib formalization patterns and Mathlib API for CSLib contributions. Invoke for cslib research tasks.

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

Atomically update task status across TODO.md and state.json. For standalone use only.

Vet completed CSLib tasks against library standards. Invoke for /vet command.

Fetch a Zulip thread via API and write formatted JSON to a file. Invoke for /zulip command.

Verify citation claims against Literature/ index and Zotero library. Invoke for /cite command.

Compose PR review response files (pr-response.md, zulip-response.md) for pr-type review tasks. Delegates to pr-review-implementation-agent when sources are present; falls back to cslib-implementation-agent for legacy PR prep tasks. Transitions task to [PR READY]. Invoke for pr implementation tasks.

Fetch GitHub PR and Zulip thread data for pr-type review tasks. Invoke for pr research tasks.

PR description preparation for CSLib tasks. Analyzes task description and git diff to produce pr-description.md. Delegates to cslib-implementation-agent and transitions task to [PR READY]. Branch creation and CI are handled by the /pr command. Invoke for pr implementation tasks.

Thin wrapper that delegates plan revision to reviser-agent subagent. Invoke for /revise command.

Scan codebase for FIX:/NOTE:/TODO:/QUESTION: tags and create structured tasks with interactive selection. Invoke for /fix-it command.

Interactive repository analysis and project-overview.md generation via task creation. Invoke for /project-overview command.

Implement Lean 4 proofs using hard-mode behavioral contracts with per-phase dispatch and sorry inventory tracking. Invoke for Lean-language implementation tasks when hard-mode is requested.

Research Lean 4 and Mathlib for theorem proving tasks with hard-mode behavioral contracts. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools when hard-mode is requested.

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

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

Implement Lean 4 proofs and definitions using lean-lsp tools. Invoke for Lean-language implementation tasks.

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 Neovim configuration changes from plans. Invoke for neovim implementation tasks.

Conduct Neovim configuration research using plugin docs and codebase exploration. Invoke for neovim research tasks.

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

Interactive repository analysis and project-overview.md generation via task creation. Invoke for /project-overview command.

Create and push semantic version tags for CI/CD deployment. User-only command - agents cannot invoke.

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