GitHub
skill-neovim-implementation
Implement Neovim configuration changes from plans. Invoke for neovim implementation tasks.
☆ 434Voir le skill
benbrastmckie AI Skills
GitHub ↗Explorez les skills IA publiés de benbrastmckie et consultez leurs instructions source.
Statistiques de l’auteur
Skills indexés
21Étoiles des dépôts des skills indexés
5,289Forks du dépôt
5,634Moyenne des étoiles par skill indexé
252Les étoiles d’un dépôt peuvent se répéter entre ses skills.
Catégories populaires
Indexation récente
Explorer
GitHub
skill-fix
Scan files for FIX:/NOTE:/TODO: tags and create tasks.
☆ 434Voir le skill
GitHub
skill-nix-implementation
Implement Nix configuration changes from plans. Invoke for nix implementation tasks.
☆ 434Voir le skill
GitHub
skill-neovim-implementation
Implement Neovim plugins and configurations with TDD. Invoke for lua-language implementation tasks.
☆ 431Voir le skill
GitHub
skill-git-workflow
Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
☆ 431Voir le skill
GitHub
skill-implementer
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
☆ 431Voir le skill
GitHub
skill-researcher
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
☆ 431Voir le 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...
☆ 431Voir le skill
GitHub
skill-orchestrator
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
☆ 431Voir le skill
GitHub
skill-neovim-research
Research Neovim APIs, plugin patterns, and Lua development. Invoke for lua-language research tasks.
☆ 431Voir le skill
GitHub
skill-planner
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
☆ 431Voir le skill
GitHub
skill-status-sync
Atomically update task status across TODO.md and state.json. Invoke when task status changes.
☆ 431Voir le skill
GitHub
skill-orchestrator
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
☆ 12Voir le skill
GitHub
skill-theory-implementation
Implement semantic theories and Python/Z3 code with TDD. Invoke for Python-language implementation tasks.
☆ 12Voir le 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...
☆ 12Voir le skill
GitHub
skill-researcher
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
☆ 12Voir le skill
GitHub
skill-python-research
Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.
☆ 12Voir le skill
GitHub
skill-status-sync
Atomically update task status across TODO.md and state.json. Invoke when task status changes.
☆ 12Voir le skill
GitHub
skill-planner
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
☆ 12Voir le skill
GitHub
skill-implementer
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
☆ 12Voir le skill
GitHub
skill-git-workflow
Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
☆ 12Voir le skill
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.