benbrastmckie/nvim

skill-git-workflow

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

skill-lean-implementation-hard

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.

skill-lean-implementation

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

skill-lean-research-hard

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.

skill-lean-research

Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.

skill-lake-repair

Run Lean build with automatic error repair for missing cases, unused variables, and unused imports

skill-orchestrate

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

skill-lean-version

Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support

skill-typst-implementation

Implement Typst documents. Invoke for Typst-language implementation tasks.

skill-refresh

Manage Claude Code resources - terminate orphaned processes and clean up ~/.claude/ directory

skill-tag

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

skill-email-implementation

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

skill-epi-implement

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

skill-epi-research

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

skill-analyze

Competitive landscape research with positioning maps

skill-finance

Financial analysis and verification for founders

skill-legal

Contract review and legal analysis for founders

skill-market

Market sizing research with TAM/SAM/SOM framework

skill-project

Project research with scope analysis and timeline estimation

skill-strategy

Go-to-market strategy research with positioning and channels

skill-latex-implementation

Implement LaTeX documents. Invoke for LaTeX-language implementation tasks.

skill-latex-research

Research LaTeX documentation tasks. Invoke for LaTeX-language research.

skill-nix-implementation

Implement Nix configuration changes from plans. Invoke for nix implementation tasks.

skill-nix-research

Conduct Nix/NixOS/Home Manager research using MCP-NixOS, web docs, and codebase exploration. Invoke for nix research tasks.

skill-neovim-implementation

Implement Neovim configuration changes from plans. Invoke for neovim implementation tasks.

skill-neovim-research

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

skill-timeline

Research timeline planning for medical research projects. Invoke for timeline tasks.

skill-python-implementation

Implement Python code. Invoke for Python-language implementation tasks.

skill-python-research

Research Python development tasks. Invoke for Python-language research.

skill-typst-research

Research Typst documentation tasks. Invoke for Typst-language research.

skill-web-implementation

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

skill-web-research

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

skill-z3-implementation

Implement Z3 constraints. Invoke for Z3-language implementation tasks.

skill-z3-research

Research Z3/SMT tasks. Invoke for Z3-language research.

skill-status-sync

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

skill-cslib-implementation-hard

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

skill-email-cleanup

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…

skill-literature

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

skill-spawn

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

skill-todo

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