machine-learningdata-ai
prove
Formal theorem proving with research, testing, and verification phases
maintainer
vibeeval
更新日 3/14/2026
スター
456
フォーク
38
quick start
Installation and usage
Formal theorem proving with research, testing, and verification phases
インストール
$ install --globalskills.sh
使い方
インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます：
skills use prove