Was macht z-spec?
Erstellt, validiert und animiert Z-Spezifikationen aus Quellcode und generiert Code aus Spezifikationen.
Erstellt, validiert und animiert Z-Spezifikationen aus Quellcode und generiert Code aus Spezifikationen.
Dieses Skill für AI-Agenten ermöglicht die Arbeit mit der formalen Spezifikationssprache Z, indem es aus vorhandenem Quellcode Z-Spezifikationen erstellt, diese validiert und animiert. Darüber hinaus kann es aus gegebenen Z-Spezifikationen automatisch Code generieren. Es ist primär für den Einsatz in Entwicklungsumgebungen wie z.B. Claude Code oder Cursor gedacht. Der Workflow unterstützt Entwickler dabei, formale Methoden in ihren Softwareentwicklungsprozess zu integrieren, um Korrektheit und Konsistenz von Systemen zu erhöhen. Das Tool analysiert den Quellcode, extrahiert relevante Informationen und formuliert sie als formale Z-Spezifikationen um. Die Validierung prüft die Spezifikationen auf syntaktische und semantische Fehler, während die Animation hilft, das Verhalten der spezifizierten Systeme zu simulieren und zu verstehen.
npx skills add punt-labs/z-specInstalled? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Erstellt, validiert und animiert Z-Spezifikationen aus Quellcode und generiert Code aus Spezifikationen.
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.