Run proof-driven development using Lean 4 for formal verification - comprehensive skill handling both design (planning) and execution (verification)
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.