Formal Z specifications for stateful systems — generate, type-check, animate, and derive test cases with fuzz and ProB
Add the marketplace
/plugin marketplace add punt-labs/z-spec
Install plugins
/plugin
Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.
Plugin Source
View Plugin Code
GitHub Repository
punt-labs/z-spec
From Marketplace
punt-labs
View Marketplace
Author
@punt-labs
View GitHub Profile