Skills
.Work. You
Rest

formal-verify

Community

Formal verification for robust system designs.

Software Engineering#z3#formal-verification#state-machine#model-checking#tla+#counterexample#apalache
Authorphrazzld
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Formal verification of system designs using rigorous methods to prove correctness before implementation, reducing bugs and costly rewrites.

Core Features & Use Cases

  • Formal spec generation from requirements (TLA+/PlusCal, Z3Py)
  • Model checking with TLC, Apalache, or Z3; counterexample-driven design fixes
  • Multi-agent and concurrent workflow validation for protocols and payment flows

Quick Start

To start, write a formal specification for your state machine and run a model checker to validate invariants.

Dependency Matrix

Required Modules

None required

Components

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: formal-verify
Download link: https://github.com/phrazzld/spellbook/archive/main.zip#formal-verify

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.