SkillSKL-41DAAAE6
propagate
Generate tests from Allium specifications. Use when the user wants to propagate tests, generate test files from a spec, write tests for a specification, create property-based tests, produce state machine tests, check test coverage against spec obligations, or understand what tests a specification requires.
Ecosystem Scores - What Happened to it
73
34
Powered by inVerus
Verification Signals
Updated Today
Stars
443Community popularityContributors
~4Approx. contributorsLast Push
15d agoActive maintenanceForks
23Community reuseRepository Age
6mSince 2026Issue Health
6Normal activityPROTOCOL WARRANT
This score reflects origin + ecosystem signals. It is not a code audit.
Skill Lineage Map
Spatial graph · creator origin → derivative skills
Tap to expand · Click creator to view profile
