benbrastmckie/nvim

benbrastmckie/nvim

Skill Claude Code

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.

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

Implement CSLib proofs following Lean 4 and CSLib contribution standards. Invoke for cslib implementation tasks.

benbrastmckie/nvim

Skill Claude Code

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.

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

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.

benbrastmckie/nvim

Skill Claude Code

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.

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

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.

benbrastmckie/nvim

Skill Claude Code

Implement wrapper-only email triage/cleanup tasks from plans. Invoke for email implementation tasks.

benbrastmckie/nvim

Skill Claude Code

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.

benbrastmckie/nvim

Skill Claude Code

Single-book developer loop -- resolve, build, validate, and environment-check one book. Invoke for /book command.

benbrastmckie/nvim

Skill Claude Code

Thin passthrough over the certify driver for graph-wide book certification. Invoke for /certify command.

benbrastmckie/nvim

Skill Claude Code

Implement lean-book changes with hard-mode contracts (H2 anti-analysis, H7 territory, H9 wrap-up discipline). Invoke for --hard books implementation tasks.

benbrastmckie/nvim

Skill Claude Code

Implement lean-book authoring, certification and documentation changes. Invoke for books implementation tasks.

benbrastmckie/nvim

Skill Claude Code

Research lean-book tasks with hard-mode contracts (H2 anti-analysis, H3 reference grounding, H4 adversarial verification). Invoke for --hard books research tasks.

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

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

benbrastmckie/nvim

Skill Claude Code

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