ivy-writing-guide
CommunityMaster Ivy protocol specification.
Software Engineering#testing#formal methods#protocol specification#model verification#ivy#rfc annotation
AuthorElNiak
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides comprehensive guidance for writing and annotating Ivy protocol specifications, ensuring clarity, correctness, and adherence to standards.
Core Features & Use Cases
- Ivy Language Reference: Covers syntax, types, relations, functions, actions, invariants, and modules.
- Test Specification Patterns: Details the structure and components of effective test specifications.
- RFC Annotation: Guides on using bracket-tag syntax for linking specifications to RFC requirements.
- Use Case: When developing a new network protocol model in Ivy, use this Skill to understand the correct syntax for defining state, actions, and invariants, and to properly tag assertions with RFC references.
Quick Start
Use the ivy-writing-guide skill to understand how to declare a relation in an Ivy file.
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: ivy-writing-guide Download link: https://github.com/ElNiak/panther-ivy-plugin/archive/main.zip#ivy-writing-guide 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.