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.
Updated 2026-04-23 16:59:15 +00:00
Variation on the claude-dev-container that also can be run from a terminal in API (-p) mode, for inclusion in scripts.
Updated 2025-11-29 15:50:35 +00:00