juxt/propagate

Gere testes a partir de especificações Allium. Use quando o usuário quiser propagar testes, gerar arquivos de teste a partir de uma especificação, escrever testes para uma especificação, criar testes baseados em propriedades, produzir testes de máquina de estado, verificar cobertura de teste em relação às obrigações da especificação ou entender quais testes uma especificação exige.

O que é propagate?

Esta skill permite gerar testes automaticamente a partir de especificações Allium, um formato de especificação formal. Ela é útil para desenvolvedores que desejam propagar testes, gerar arquivos de teste, criar testes baseados em propriedades (property-based tests) e testes de máquina de estado (state machine tests). A skill ajuda a verificar a cobertura de teste em relação às obrigações das especificações, garantindo que nenhum comportamento esperado fique sem teste. Ela funciona analisando a especificação Allium e gerando os testes correspondentes, suportando plataformas como Claude Code, Cursor, Codex e outras ferramentas de agente de IA. O principal benefício é automatizar a geração de testes, economizando tempo e garantindo consistência entre especificação e testes.

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

Installed? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Perguntar na sua IA favorita

Abre um novo chat com esta habilidade de agente já pré-carregada.

Documentação

O que propagate faz?

Gere testes a partir de especificações Allium. Use quando o usuário quiser propagar testes, gerar arquivos de teste a partir de uma especificação, escrever testes para uma especificação, criar testes baseados em propriedades, produzir testes de máquina de estado, verificar cobertura de teste em relação às obrigações da especificação ou entender quais testes uma especificação exige.

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.

Habilidades Relacionadas