Develop from specifications with review loops
spec-driven-devworkflowsetup L4★5
maraxen/aminx ↗What it does
Generate code implementations from specifications
Best for
Driving code generation from formal specs ensuring spec-code correspondence.
Inputs
- · formal specification
- · acceptance criteria
Outputs
- · implementation code
- · test suite
Preconditions
Specification language parser available
Failure modes
- · Spec ambiguity
- · Test generation incompleteness