skill-z3-implementation
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
Informações da origem
- Repositório
- benbrastmckie/nvim
- Última atividade na origem
- 10 de março de 2026 às 20:19
- Idioma detectado do SKILL.md
- inglês
- Estrelas
- 445
- Forks
- 454
Opções de instalação
Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.
Revise os arquivos de origem
Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.
Exibindo SKILL.md
- name
- skill-z3-implementation
- description
- Implement Z3 constraints. Invoke for Z3-language implementation tasks.
- allowed-tools
- Task, Bash, Edit, Read, Write