skill-z3-implementation
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
Quellinformationen
- Repository
- benbrastmckie/nvim
- Letzte Quellaktivität
- 10. März 2026 um 20:19
- Erkannte Sprache von SKILL.md
- Englisch
- Sterne
- 444
- Forks
- 456
Installationsoptionen
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Quelldateien prüfen
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
SKILL.md wird angezeigt
- name
- skill-z3-implementation
- description
- Implement Z3 constraints. Invoke for Z3-language implementation tasks.
- allowed-tools
- Task, Bash, Edit, Read, Write