Capture domain-level software behavior in a formal specification language.
npx skills add https://github.com/ravenoak/oh-my-stigmergy --skill allium-ravenoak
Please help me install this Agent Skill. Skill: allium Source: https://github.com/ravenoak/oh-my-stigmergy/tree/main/.agents/skills/allium Command: npx skills add https://github.com/ravenoak/oh-my-stigmergy --skill allium-ravenoak
Allium provides a formal language for capturing software behavior at the domain level, bridging vague requirements and concrete implementations with precise, testable specifications.
Create a minimal Allium file declaring a single entity and a rule; then run the Allium CLI to validate and generate tests.
High-intent search queries and answers about installing and using this skill.
Formal specifications for software behavior are written using the Allium language, which captures domain-level entities, relations, and rules to bridge requirements with precise, testable definitions. You define structured sections for surfaces and contracts.
A behavior specification language captures domain-level software behavior for precise, testable specifications. You need one to bridge vague requirements and concrete implementations, enabling automated test generation and formal verification.
Yes, formal specs can define cross-cutting invariants, transitions graphs, and derived values across modules. This allows modeling complex contract-driven surfaces and lifecycle graphs from simple to complex scales.
Automated test generation from a formal specification is done by running the Allium CLI to validate the spec file. Tooling generates tests against the defined rules, surfaces, and contracts.
Formal verification scaling supports complex contract-driven surfaces by enabling cross-cutting invariants and transitions across modules. It scales from simple lifecycle graphs to complex boundary surfaces for integration points.
Limitations of formal methods include the strict requirement to declare a name and description in frontmatter and structure sections for rules and surfaces precisely. Incorrect structuring prevents validation and test generation.
khoi1009Classify documentation queries and construct context7 URLs for agent distribution.
ayehiaaGenerate Mermaid diagrams from Trailmark code graphs.
velcraftingEncapsulate domain rules into a testable module boundary with preconditions and postconditions.
scottopellExtract domain entities, states, transitions, and boundaries into an Allium-style spec.
