Allium: formal domain-level specification language for software behavior
Spécifie le comportement observable (entités, règles, surfaces, contrats) en Allium, puis pilote la boucle — spec, tests, code — jusqu'à convergence
- Quoi
- Spécifie le comportement observable (entités, règles, surfaces, contrats) en Allium, puis pilote la boucle — spec, tests, code — jusqu'à convergence
- Coût
- Gratuit
- Prérequis
- rien à installer — le skill enseigne le langage de spécification Allium ; la CLI allium est optionnelle (active la validation automatique des fichiers .allium via hook)
- Installation
- Copiez le prompt d’installation ci-dessous dans votre Muse — votre agent fait le reste.
Sélectionné par Skill Harbor — Allium de @juxt, un langage formel pour capturer le comportement logiciel au niveau du domaine, à mi-chemin entre la description informelle d'une fonctionnalité et son implémentation. Décrit ce que le logiciel fait sans prescrire comment le construire : entités avec champs, enums et présence dépendante de l'état ; règles avec déclencheurs (transitions d'état, temporels, création d'entités, chaînés) ; surfaces définissant les contrats aux frontières (facing, exposes, provides, garanties) ; contrats et invariants ; specs modulaires référencées par coordonnées immuables. Le skill apprend à l'agent la boucle de convergence complète — collecter le contexte, agir, vérifier, répéter — pour faire converger les trois artefacts (spec, tests, code) avec des règles strictes : ne jamais affaiblir un test généré pour le faire passer, escalader l'ambiguïté réelle à l'humain. Une table de routage mappe les tâches vers les skills compagnons (elicit, distill, tend, weed, propagate, witness) non inclus ici ; `/allium` est le point d'entrée pour piloter un objectif de bout en bout. Bémols honnêtes : ce n'est que le skill de langage — les skills compagnons (elicit, distill, weed, propagate, witness) et la CLI `allium` ne sont pas inclus, et il faut apprendre un langage de spécification sur mesure ; un hook optionnel valide les fichiers `.allium` quand la CLI est installée. Licence MIT. Skill Harbor ne vérifie jamais le code, examinez-le vous-même avant usage. Découvert via skills.sh.
Version :
Installation
Prérequis : rien à installer — le skill enseigne le langage de spécification Allium ; la CLI allium est optionnelle (active la validation automatique des fichiers .allium via hook) Installe-moi « Allium : langage formel de spécification comportementale au niveau du domaine ». Il enseigne à mon agent le langage Allium de @juxt : entités, règles avec déclencheurs, surfaces avec contrats aux frontières, contrats et invariants, specs modulaires à coordonnées immuables — plus la boucle de convergence (collecter le contexte → agir → vérifier → répéter) qui fait converger spec, tests et code, avec une table de routage pour les skills compagnons (elicit, distill, tend, weed, propagate, witness) et des règles strictes (ne jamais affaiblir un test généré, escalader l'ambiguïté réelle à l'humain). Licence MIT. Dépôt : https://github.com/juxt/allium/blob/main/skills/allium/SKILL.md 1. Récupère le fichier SKILL.md (et les fichiers d'aide éventuels) depuis le chemin du dépôt dans un dossier temporaire et résume en une ou deux phrases ce qu'il fait. 2. Vérification de sécurité : examine le SKILL.md et les scripts pour tout contenu suspect (appels réseau inattendus, commandes shell, collecte d'identifiants). Ce dépôt ne devrait contenir aucun secret en dur, les identifiants uniquement via le coffre sécurisé, les hôtes autorisés déclarés dans le SKILL.md. Vérifie que c'est bien le cas ici ; STOP sur tout signal d'alerte et dis-le-moi. 3. Installe-le comme skill : copie le SKILL.md et ses fichiers d'aide dans le répertoire des skills de l'agent, dans un dossier nommé « allium ». 4. Vérifie sans appels réseau : frontmatter valide, fichiers en place. 5. Indique ce qui a été installé, où, et ce qu'il me reste à faire moi-même (p. ex. donner à l'agent un objectif à spécifier en Allium ; installer la CLI allium séparément pour la validation). GitHub est optionnel : si j'ai un compte GitHub ou la CLI gh, tu peux l'utiliser ; sinon l'accès public suffit. Ne jamais l'exiger sauf s'il figure dans les prérequis ci-dessus. Règles : ne touche à rien en dehors du dossier temporaire et de la cible d'installation. Si quelque chose semble anormal, arrête-toi et demande-moi.
Questions
Comment installer une création ?
Chaque fiche produit contient un prompt d’installation à copier-coller. Collez-le dans votre Muse et il installe la création pour vous — sans configuration manuelle.
Où va mon argent ?
Directement au vendeur. Skill Harbor ne traite jamais les paiements : le paiement se fait sur la page du vendeur, généralement via Stripe.
Que signifie le ✓ à côté du nom d’un créateur ?
Il signifie que nous avons confirmé l’identité de la personne derrière la fiche. Il ne dit rien sur le code lui-même — vérifiez toujours une création avant de l’installer.