productivity-toolstools
discover-formal
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
maintainer
rand
Atualizado 11/25/2025
Estrelas
55
Forks
7
quick start
Installation and usage
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
Instalação
$ install --globalskills.sh
Uso
Depois de instalar, você pode usar esta skill executando o seguinte comando no terminal:
skills use discover-formal