60 skills: create-formal-verification-skill, in-your-own-words, poteto-mode +57 more
9 skills: op55-verify, op55-compose, op55-mode +6 more
GitHub