punt-labs/z-spec

Creates, validates, and animates Z (and B) specifications from source and generates code from specifications

This repository also configures its own agents. See what z-spec tells them →

5Stars on the repository

56Mods indexed here, across every type

8d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Plugin Claude Code

Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli.

not rated 5 changed 1mo ago A tokens not measured original MIT