model-check
CommunityTurn natural descriptions into formal models.
Authormuloka
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Transforms conversational/system descriptions into formal verification models and prepares them for automated checking with tools like TLA+, Alloy, and Dafny.
Core Features & Use Cases
- Extracts states, transitions, and constraints from natural-language descriptions to produce ready-to-verify specifications.
- Determines the appropriate verification tool based on the described properties (temporal, relational, or code-like constraints) and generates corresponding templates.
- Validates tool availability, provides installation guidance, and presents verification results with clear explanations, including counterexamples if any.
Quick Start
Describe a small workflow with states and transitions so I can model and verify it.
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: model-check Download link: https://github.com/muloka/model-check-skills/archive/main.zip#model-check 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.