incremental-spec-dev
CommunityIteratively build and verify formal specs.
Software Engineering#specification#verification#iterative development#formal methods#protocol testing#ivy language
AuthorElNiak
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill streamlines the process of developing formal specifications by guiding users through an iterative cycle of adding requirements, verifying them, and tracking progress, ensuring correctness and maintainability.
Core Features & Use Cases
- Incremental Development: Add one requirement at a time to Ivy specifications.
- Guided Verification Loop: Follows a structured 9-step cycle including linting, formal verification, and coverage tracking.
- Use Case: When developing a new protocol specification in Ivy, use this skill to systematically add each RFC requirement, verify its correctness against the existing model, and ensure it's properly covered before proceeding to the next.
Quick Start
Use the incremental-spec-dev skill to add the next uncovered MUST requirement for the 'quic' protocol.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: incremental-spec-dev Download link: https://github.com/ElNiak/panther-ivy-plugin/archive/main.zip#incremental-spec-dev Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.