https://github.com/lee-to/hlv

Specs first. Code second. Proof always. You define the what. LLMs generate the how. hlv validates the proof.

ai aiworkflow sdd spec-driven-development vsdd

Last synced: 27 Jun 2026