productivity-toolstools
discover-formal
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
maintainer
rand
更新日 11/25/2025
スター
55
フォーク
7
quick start
Installation and usage
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
インストール
$ install --globalskills.sh
使い方
インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます：
skills use discover-formal