z-spec-dev
01Plugin Claude Code
Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli.
5 yesterday A
tokens not measured
original MIT
5Stars on the repository
56Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown