z-spec-dev
01Plugin Claude Code
Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli.
5 2d ago A
tokens not measured
original MIT
1 tagged z notation, measured the same way as everything else here.
Plugin Claude Code
Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli.