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