skills.rest
editor-code-assistant
editor-code-assistantOFFICIAL
Explore all skills by this author →
WebsiteGitHub

propagate

Generate unit and integration tests from Allium specifications.

5|4|Updated Mar 10, 2026
Search Tags:#testing#spec#generate#transitions#tests#property-based#allium
One-click install
npx skills add https://github.com/editor-code-assistant/eca-plugins --skill propagate-editor-code-assistant
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: propagate
Source: https://github.com/editor-code-assistant/eca-plugins/tree/main/plugins/allium/skills/propagate
Command: npx skills add https://github.com/editor-code-assistant/eca-plugins --skill propagate-editor-code-assistant

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Propagate tests from Allium specifications to ensure full coverage of the specification's obligations. This skill translates a spec into a comprehensive suite of tests, preserving the intent of the original design while enabling repeatable validation across implementations.

Core Features & Use Cases

  • Deterministic test generation: derive tests from every spec construct to guarantee coverage.
  • Mode-based testing: supports Surface mode and Spec mode to target both interfaces and entire specifications.
  • Obligation-driven validation: uses test obligations, plan output, and domain model to drive test creation and ensure alignment with the spec.
  • Real-world guidance: provides a taxonomy of tests for invariants, transitions, data flow, and cross-module scenarios.

Quick Start

Run Allium plan and Allium model for your spec to generate a complete test suite.

Frequently Asked Questions about propagate

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I generate tests from an Allium specification?▼

Generate tests from an Allium specification by identifying spec entities and rules, mapping them to implementation points, and deriving unit or integration tests that satisfy the defined obligations. This ensures repeatable validation across implementations.

What is obligation-driven test generation for specifications?▼

Obligation-driven test generation translates a specification's constructs into a comprehensive suite of tests, ensuring every rule and invariant is validated. It preserves the original design intent while enabling deterministic, repeatable coverage.

Can I generate tests if the Allium plan or model artefacts are unavailable?▼

Yes, you can generate tests without plan or model artefacts by manually deriving test obligations from the spec using the provided taxonomy. The system maps spec entities and rules directly to implementation points to drive test creation.

What types of tests can I generate from a spec using this approach?▼

You can generate unit and integration tests aligned with project conventions, covering invariants, state transitions, data flow, and cross-module scenarios. It supports Surface mode for interfaces and Spec mode for entire specifications.

How do I ensure generated tests match my project's existing conventions?▼

Tests are generated by mapping specification entities and rules to implementation points within the target codebase, aligning the resulting unit and integration tests with the project's established conventions and structure.

Related Skills

Explore More Software Engineering Skills→
scottopellscottopell
1

propagate

Generate tests from Allium specifications for surface and spec-driven scopes.

Community
Advanced
TbK0ngTbK0ng

improve-ut

Analyze changed files and unit-test specs to update and validate tests.

Community
Intermediate
chadanandachadananda

property-based-testing

Guide property-based testing with Hypothesis, fast-check, and proptest.

Community
Advanced
GratefulJinx77GratefulJinx77

speckit-plan

Generate a compliant implementation plan from a software spec template.

Community
Advanced