CommunityProgramación y desarrollogithub.com

juxt/propagate

Genera pruebas a partir de especificaciones Allium. Úsalo cuando el usuario quiera propagar pruebas, generar archivos de prueba desde una especificación, escribir pruebas para una especificación, crear pruebas basadas en propiedades, producir pruebas de máquina de estados, verificar la cobertura de pruebas contra obligaciones de especificaciones o comprender qué pruebas requiere una especificación.

¿Qué es propagate?

juxt/propagate es una habilidad experta para generar automáticamente conjuntos de pruebas a partir de especificaciones Allium. Está diseñada para desarrolladores y agentes de IA que trabajan con sistemas basados en especificaciones, facilitando la creación de pruebas basadas en propiedades y pruebas de máquina de estados directamente desde los requisitos formales. Esta habilidad es útil para asegurar una alta cobertura de pruebas y garantizar que todas las obligaciones de la especificación estén cubiertas, lo que reduce el trabajo manual y los posibles errores. Compatible con entornos como Claude Code, la habilidad analiza la especificación Allium y produce archivos de prueba listos para usar, integrando sin problemas con flujos de trabajo de desarrollo existentes. Al automatizar la propagación de pruebas, juxt/propagate acelera significativamente el ciclo de desarrollo y mejora la calidad del software.

Compatible con~Claude Code~Codex CLI~Cursor
npx skills add https://github.com/juxt/allium/tree/main/skills/propagate

Installed? Explore more Programación y desarrollo skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Preguntar en tu IA favorita

Abre un nuevo chat con esta habilidad de agente ya precargada.

Documentación

¿Qué hace propagate?

Genera pruebas a partir de especificaciones Allium. Úsalo cuando el usuario quiera propagar pruebas, generar archivos de prueba desde una especificación, escribir pruebas para una especificación, crear pruebas basadas en propiedades, producir pruebas de máquina de estados, verificar la cobertura de pruebas contra obligaciones de especificaciones o comprender qué pruebas requiere una especificación.

Individual skills in this repo

This repo contains 5 individual skills — each has its own dedicated page.

juxt/allium

Give your AI agents something more useful than a prompt. Velocity through clarity.

juxt/distill

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.

juxt/elicit

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.

juxt/tend

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.

juxt/weed

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.

Skills relacionados