Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
Inherits all available tools
Additional assets for this skill
This skill inherits all available tools. When active, it can use any tool Claude has access to.