Was macht hymme?
Führt formale Verifikation, Testdesign und Agenten-Loops durch, um wie ein Gesang zu programmieren.
Führt formale Verifikation, Testdesign und Agenten-Loops durch, um wie ein Gesang zu programmieren.
Hakkadaikon/hymme ist ein AI-Agenten-Skill, der entwickelt wurde, um formale Verifikation, Testdesign und iterative Agenten-Loops zu kombinieren. Das Ziel ist es, Code zu generieren, der nicht nur korrekt und robust ist, sondern auch durch den Entwicklungsprozess fließt, als ob er gesungen würde. Der Skill unterstützt Plattformen wie Claude Code, Cursor und Codex. Er arbeitet, indem er die Spezifikationen formal überprüft, dann Tests entwirft und schließlich in einem Loop Code generiert und verbessert, bis eine hohe Qualität erreicht ist. Dies reduziert Fehler und erhöht die Lesbarkeit und Wartbarkeit des Codes.
npx skills add Hakkadaikon/hymmeInstalled? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Führt formale Verifikation, Testdesign und Agenten-Loops durch, um wie ein Gesang zu programmieren.
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.