Skills
.Work. You
Rest

propagate

Community

Automatically generate tests from Allium specs.

Software Engineering#test-generation#invariants#test-coverage#state-machine#propagation#allium#spec-testing
Authorscottopell
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Generate tests from Allium specifications to ensure test obligations align with spec intent, reducing manual effort and increasing confidence in test coverage.

Core Features & Use Cases

  • Surface mode: generates boundary and contract tests from surface declarations to verify APIs, UI contracts, and integration points.
  • Spec mode: walks the full test obligations derived from the Allium spec to produce comprehensive test suites including invariants, state transitions, and config tests.
  • Lifecycle guidance: supports deterministic propagation by mapping spec constructs to implementation bridges, outlining test requirements and recovery steps.
  • Prerequisites and workflow: requires an Allium spec file, a target codebase, and outputs from allium plan and allium model to guide test generation into the project's conventions.

Quick Start

Provide an Allium spec and a target codebase, then run the propagate tool to generate tests.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: propagate
Download link: https://github.com/scottopell/dotfiles/archive/main.zip#propagate

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.