formal-verify

Use this skill when architectural intent matters more than "it compiles."

This skill runs a three-layer verification loop:

1. Layer 1: structural verification over extracted AST facts and declarative rules
2. Layer 2: behavioral verification over Z3Py protocol specs and TLA+/Apalache state-machine specs
3. Layer 3: elegance auditing over complexity, consistency, and craft heuristics

The layers are intentionally tiered:

• every edit: Layer 1 only, fast enough for continuous feedback
• slice checkpoint: Layers 1 and 2
• pre-commit and manual /verify: all three layers

Quick Start

Bootstrap a target project with: