allium
01Skill Claude CodeCodex
Give your AI agents something more useful than a prompt. Velocity through clarity.
7 tagged behaviour driven development, measured the same way as everything else here.
Browse within: ai-agent-tools 7formal-methods 7spec-driven-development 7
Skill Claude CodeCodex
Give your AI agents something more useful than a prompt. Velocity through clarity.
Skill Claude CodeCodex
Run a structured discovery session to build an Allium specification through conversation. Use when the user wants to create a new spec from scratch, elicit or gather requirements, capture domain behaviour, specify a feature or system, define what a system should do, or is describing functionality and needs help…
Skill Claude CodeCodex
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.