CommunityCoding & Developmentgithub.com

punt-labs/z-spec

Creates, validates, and animates Z specifications from source code and generates code from specifications

Works with~Claude Code~Codex CLI~Cursor
npx add-skill punt-labs/z-spec

punt-labs/z-spec

Creates, validates, and animates Z specifications from source code and generates code from specifications

Related Skills