skill-neovim-implementation
Implement Neovim configuration changes from plans. Invoke for neovim implementation tasks.
浏览 benbrastmckie 维护的已发布 AI 技能,比较用途与说明,并通过来源仓库了解安装方式。
已收录技能
21收录技能的仓库 Stars 合计
5,289仓库 Forks
5,634平均每个技能的仓库 Stars
252同一仓库中的多个技能可能共享 Stars,合计包含重复仓库数据。
Implement Neovim configuration changes from plans. Invoke for neovim implementation tasks.
Scan files for FIX:/NOTE:/TODO: tags and create tasks.
Implement Nix configuration changes from plans. Invoke for nix implementation tasks.
Implement Neovim plugins and configurations with TDD. Invoke for lua-language implementation tasks.
Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
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...
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
Research Neovim APIs, plugin patterns, and Lua development. Invoke for lua-language research tasks.
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
Atomically update task status across TODO.md and state.json. Invoke when task status changes.
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
Implement semantic theories and Python/Z3 code with TDD. Invoke for Python-language implementation tasks.
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...
Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.
Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.
Atomically update task status across TODO.md and state.json. Invoke when task status changes.
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。