benbrastmckie

benbrastmckie/nvim

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

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

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

Research CSLib formalization patterns with hard-mode contracts (H2 anti-analysis, H3 reference grounding with BibKey verification,...

benbrastmckie/nvim

benbrastmckie/nvim

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

Research Lean 4 and Mathlib for theorem proving tasks with hard-mode behavioral contracts. Invoke for Lean-language research using...

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

PR description preparation for CSLib tasks. Analyzes task description and git diff to produce pr-description.md. Delegates to csli...

Compose PR review response files (pr-response.md, zulip-response.md) for pr-type review tasks. Delegates to pr-review-implementati...

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

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

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

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

benbrastmckie/nvim

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

benbrastmckie/nvim