98e458022d26e63f946c59b2626670c5f92ece39
- Add 'Verification' section instructing model to run 'allium check <file>' after writing .allium files - Applies to elicit and distill (tend/weed already had it from phase 5)
Description
Porting of juxt/allium to Pi.dev. For those who want to be in the intersection of short cycle iterative development (XP) and grounding in formal verification.
365 KiB
Languages
Shell
100%