Génère des tests à partir de spécifications Allium. Utilisez-le lorsque l'utilisateur souhaite propager des tests, générer des fichiers de test à partir d'une spécification, écrire des tests pour une spécification, créer des tests basés sur les propriétés, produire des tests de machine d'état, vérifier la couverture des tests par rapport aux obligations de la spécification ou comprendre quels tests une spécification requiert.
juxt/propagate est un outil permettant de générer automatiquement des tests à partir de spécifications Allium. Il transforme une spécification formelle en une suite de tests complète, incluant des tests unitaires, des tests basés sur les propriétés et des tests de machine d'état. Cet outil est particulièrement utile pour les développeurs travaillant avec Allium, car il assure que tous les cas spécifiés sont couverts par des tests, réduisant ainsi les risques de bugs non détectés. Il est conçu pour être utilisé avec des assistants de codage IA comme Claude Code, Cursor ou Codex, et fonctionne en analysant une spécification Allium pour en déduire les obligations de test, puis en générant du code de test correspondant. Son avantage principal est de garantir une couverture de test systématique et exhaustive, alignée sur les spécifications formelles, ce qui est crucial pour les systèmes critiques ou complexes.
npx skills add https://github.com/juxt/allium/tree/main/skills/propagateInstalled? Explore more Développement et programmation skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Génère des tests à partir de spécifications Allium. Utilisez-le lorsque l'utilisateur souhaite propager des tests, générer des fichiers de test à partir d'une spécification, écrire des tests pour une spécification, créer des tests basés sur les propriétés, produire des tests de machine d'état, vérifier la couverture des tests par rapport aux obligations de la spécification ou comprendre quels tests une spécification requiert.
This repo contains 5 individual skills — each has its own dedicated page.
Give your AI agents something more useful than a prompt. Velocity through clarity.
Extract an Allium specification from an existing codebase. Use when the user has existing code and wants to distil behaviour into a spec, reverse engineer a specification from implementation, generate a spec from code, turn implementation into a behavioural specification, or document what a codebase does in Allium terms.
Run a structured discovery session to build an Allium specification through conversation. Use when the user wants to create a new spec from scratch, elicit or gather requirements, capture domain behaviour, specify a feature or system, define what a system should do, or is describing functionality and needs help shaping it into a specification.
Tend the Allium garden. Use when the user wants to write, edit, update, add to, improve, clarify, refine, restructure, fix or migrate Allium specs. Covers adding entities, rules, triggers, surfaces and contracts, fixing syntax or validation errors, renaming or refactoring within specs, migrating specs to a new language version, and translating requirements into well-formed specifications. Pushes back on vague requirements.
Weed the Allium garden. Find where Allium specifications and implementation code have diverged, and help resolve the divergences. Use when the user wants to check spec-code alignment, compare specs against implementation, audit for spec drift or violations, sync specs with code or code with specs, or verify whether the implementation matches what the spec says.
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.