formal-specification-driven-development

Use this skill when the user wants to implement code with formal verification. This workflow discusses requirements, creates Idris2 specifications, reviews them, compiles for verification, then implements in the target language (Python, Rust, or TypeScript). Trigger when user mentions "formal spec", "idris2", or requests rigorous code implementation.

Key Features

• Comprehensive skill evaluation and performance tracking
• Community-driven ratings and reviews
• Easy integration with Claude Code
• Regular updates and maintenance

Quick Start

TopRank Skills install twoLoop-40/formal-spec-driven-dev