productivity-toolstools
discover-formal
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
maintainer
rand
Mis à jour 11/25/2025
Étoiles
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.
Installation
$ install --globalskills.sh
Utilisation
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use discover-formal