Menu
Research Neovim plugins, Lua configuration, and vimscript. Invoke for neovim-language research.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Research skill for formal methods and logic verification
Implementation skill for Lean 4 proofs and definitions
Research skill for Lean 4 theorem prover and Mathlib
Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.
Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.
Implement Nix configuration changes from plans. Invoke for nix implementation tasks.
| name | skill-neovim-research |
| description | Research Neovim plugins, Lua configuration, and vimscript. Invoke for neovim-language research. |
| allowed-tools | Task, Bash, Edit, Read, Write |
| context | fork |
| agent | neovim-research-agent |
Thin wrapper that delegates Neovim research to neovim-research-agent.
Delegation skill for Neovim research workflows.
Validate inputs, delegate Neovim research, and update status/artifacts.
See Execution Flow for preflight/delegation/postflight steps.
Validate metadata file, report artifact, and state updates.
<return_format>Brief text summary; metadata file in specs/{N}_{SLUG}/.return-meta.json.</return_format>
Reference (do not load eagerly):
.opencode/context/core/formats/return-metadata-file.md - Metadata file schema.opencode/context/core/patterns/postflight-control.md - Marker file protocol.opencode/context/core/patterns/file-metadata-exchange.md - Metadata handling.opencode/context/core/patterns/jq-escaping-workarounds.md - jq workaround patterns.opencode/context/index.md - Context discovery indexneovim-research-agent via Task tool.