juxt avatar

Propagate

This generates tests from Allium specifications using a deterministic mapping where every spec construct becomes a test obligation. You run it when you have an Allium spec file and want comprehensive test coverage: boundary tests for surfaces, property-based tests for invariants, state machine tests for entities with status enums, and integration tests for cross-entity processes. It supports multiple test frameworks (fast-check, Hypothesis, proptest) and handles the full taxonomy from simple field presence checks to complex reachability and deadlock scenarios. The plant propagation metaphor is apt: the spec is the parent plant, tests are the cuttings. Works best when you can run allium plan and allium model to get structured test obligations, though it can derive them manually if needed.

skills.sh installs
2.7K
GitHub stars
529
last updated
Aug 21, 2026

Install

$ npx -y skills add juxt/allium --skill propagate --agent claude-code

Installs into .claude/skills of the current project.

Files

This generates tests from Allium specifications using a deterministic mapping where every spec construct becomes a test obligation. You run it when you have an Allium spec file and want comprehensive test coverage: boundary tests for surfaces, property-based tests for invariants, state machine tests for entities with status enums, and integration tests for cross-entity processes. It supports multiple test frameworks (fast-check, Hypothesis, proptest) and handles the full taxonomy from simple field presence checks to complex reachability and deadlock scenarios. The plant propagation metaphor is apt: the spec is the parent plant, tests are the cuttings. Works best when you can run allium plan and allium model to get structured test obligations, though it can derive them manually if needed.

Browse the repository on GitHub

Sponsors

Details

Repository
github.com/juxt/allium
Category
Testing & QA
First seen
May 16, 2026

More from juxt/allium

All 6
1eronred avatarscreenshot-optimizationeronred/aso-skillsWhen the user wants to design, optimize, or evaluate App Store screenshots and preview videos. Also use when the user mentions "screenshots", "app preview", "pr2.7Kskills.sh installs
2cursor avatarreview-and-shipcursor/pluginsReview the current branch for bugs, intent fit, and test coverage; run or write tests; commit focused work; open or update a PR.2.6Kskills.sh installs
3eronred avatarapp-analyticseronred/aso-skillsWhen the user wants to set up, interpret, or improve their app analytics and tracking. Also use when the user mentions "analytics", "tracking", "metrics", "KPIs2.6Kskills.sh installs
4alirezarezvani avatarengineering-skillsalirezarezvani/claude-skillsIndex of the engineering-team skills bundle for Claude Code, Codex, Gemini CLI, Cursor, OpenClaw, and 6 more tools. Architecture, frontend, backend, QA, DevOps,2.4Kskills.sh installs
5web-infra-dev avatarharmonyos-device-automationweb-infra-dev/midscene-skillsVision-driven HarmonyOS NEXT device automation using Midscene. Operates entirely from screenshots — no DOM or accessibility labels required. Can interact with a2.3Kskills.sh installs
6millionco avatarexpectmillionco/expectUse when editing .tsx/.jsx/.css/.html, React components, pages, routes, forms, styles, or layouts. Also when asked to test, verify, validate, QA, find bugs, che1.9Kskills.sh installs