O que z-spec faz?
Cria, valida e anima especificações Z a partir de código-fonte e gera código a partir de especificações
Cria, valida e anima especificações Z a partir de código-fonte e gera código a partir de especificações
Esta skill permite que agentes de IA, como Claude Code, Cursor ou Codex, criem, validem e animem especificações formais Z a partir de código-fonte existente, além de gerar código a partir de especificações Z. A especificação Z é uma linguagem de especificação formal baseada em lógica de primeira ordem e teoria dos conjuntos, amplamente utilizada para descrever sistemas de software de forma precisa e sem ambiguidades. A skill suporta a extração de invariantes, pré-condições e pós-condições de código, a verificação de consistência de especificações e a animação (simulação) de modelos Z para testar seu comportamento. Com essa ferramenta, desenvolvedores podem documentar formalmente o comportamento de sistemas, detectar inconsistências e ambiguidades em estágios iniciais do desenvolvimento, e gerar implementações esqueleto a partir de modelos formais, promovendo maior confiabilidade e rastreabilidade entre especificação e código.
npx skills add punt-labs/z-specInstalled? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Cria, valida e anima especificações Z a partir de código-fonte e gera código a partir de especificações
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.