skill-z3-implementation
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
Source facts
- Repository
- benbrastmckie/nvim
- Last source activity
- March 10, 2026 at 20:19
- Detected SKILL.md language
- English
- Stars
- 444
- Forks
- 456
Install options
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Review the source files
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Showing SKILL.md
- name
- skill-z3-implementation
- description
- Implement Z3 constraints. Invoke for Z3-language implementation tasks.
- allowed-tools
- Task, Bash, Edit, Read, Write