formal-specification-driven-development

Features and purpose

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.

Quick start

Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.