z notations plugins

1 tagged z notations, measured the same way as everything else here.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

z-spec-dev

01

punt-labs/z-spec

Plugin Claude Code

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

5 yesterday A tokens not measured original MIT