{"name":"jmf-pobox-z-spec","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"jmf-pobox-z-spec","source":{"source":"github","repo":"punt-labs/z-spec"},"description":"Create, validate, and test formal Z specifications for stateful systems using fuzz and probcli","version":"0.16.0","strict":true,"keywords":[],"category":"testing"}]}