alloy-more
OfficialModel, review, and validate Alloy specifications.
Software Engineering#specification#verification#modeling#formal-methods#alloy#predicates#bounded-model-checking
Authoradzerk
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill helps model, review, and validate formal specifications using Alloy to improve correctness and clarity across system designs.
Core Features & Use Cases
- Structural modeling with signatures, fields, and relations
- Behavioral modeling using mutable state and temporal aspects
- Review and debugging of existing .als files and Alloy code blocks
- Guided verification with Alloy Analyzer for bounded model checking
Quick Start
Draft a bounded Alloy model for your system and validate it with the Alloy Analyzer.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 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: alloy-more Download link: https://github.com/adzerk/spec-driven-workshop/archive/main.zip#alloy-more 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 471,000+ vetted skills library on demand.