specification-patterns

What problem does it solve?

This Skill helps developers structure new formal protocol specifications by providing a standardized 14-layer template and a library of reusable formal model patterns, streamlining the development of robust and verifiable protocol models.

Core Features & Use Cases

• 14-Layer Template: Offers a modular structure for decomposing network protocols into manageable Ivy specifications.
• Formal Model Patterns: Provides reusable patterns for variants, modules, entities, monitors, shims, serdes, and include chains, applicable across various protocols.
• Scaffolding Assistance: Guides users on choosing layers and patterns, and provides commands for scaffolding new protocols or adding patterns to existing ones.
• Use Case: When starting a new formal specification for a custom network protocol, use this Skill to scaffold the basic file structure based on the 14-layer template and then incorporate common patterns like entity definitions and message variants.

Quick Start

Use the specification-patterns skill to scaffold a new protocol specification using the 14-layer template.