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

Bundles 42 commands, 1 hook · 400 tokens together

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