GitHub
skill-neovim-implementation
Implement Neovim configuration changes from plans. Invoke for neovim implementation tasks.
☆ 434View skill
benbrastmckie AI Skills
GitHub ↗Browse published AI skills maintained by benbrastmckie. Compare skill descriptions and follow each source repository for setup instructions.
Author statistics
Indexed skills
21Repository stars across indexed skills
5,289Repository forks
5,634Average repository stars per indexed skill
252Repository stars may repeat across skills from the same repository.
Popular categories
Recent indexing activity
Browse skills
GitHub
skill-fix
Scan files for FIX:/NOTE:/TODO: tags and create tasks.
☆ 434View skill
GitHub
skill-nix-implementation
Implement Nix configuration changes from plans. Invoke for nix implementation tasks.
☆ 434View skill
GitHub
skill-neovim-implementation
Implement Neovim plugins and configurations with TDD. Invoke for lua-language implementation tasks.
☆ 431View skill
GitHub
skill-git-workflow
Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
☆ 431View skill
GitHub
skill-implementer
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
☆ 431View skill
GitHub
skill-researcher
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
☆ 431View skill
GitHub
document-converter
Convert between Markdown, DOCX, and PDF formats bidirectionally. Handles text extraction from PDF/DOCX, markdown to document conversion. Use when converting document formats or extracting structured content fro...
☆ 431View skill
GitHub
skill-orchestrator
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
☆ 431View skill
GitHub
skill-neovim-research
Research Neovim APIs, plugin patterns, and Lua development. Invoke for lua-language research tasks.
☆ 431View skill
GitHub
skill-planner
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
☆ 431View skill
GitHub
skill-status-sync
Atomically update task status across TODO.md and state.json. Invoke when task status changes.
☆ 431View skill
GitHub
skill-orchestrator
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
☆ 12View skill
GitHub
skill-theory-implementation
Implement semantic theories and Python/Z3 code with TDD. Invoke for Python-language implementation tasks.
☆ 12View skill
GitHub
skill-model-checker
Research and develop semantic theories using ModelChecker with Z3 SMT solver. Define operators, adjust frame constraints, create examples, run tests, and report findings. Invoke with /mc or when working with mo...
☆ 12View skill
GitHub
skill-researcher
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
☆ 12View skill
GitHub
skill-python-research
Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.
☆ 12View skill
GitHub
skill-status-sync
Atomically update task status across TODO.md and state.json. Invoke when task status changes.
☆ 12View skill
GitHub
skill-planner
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
☆ 12View skill
GitHub
skill-implementer
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
☆ 12View skill
GitHub
skill-git-workflow
Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
☆ 12View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.