punt-labs/z-spec

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

Compatible avec~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

Skills associés