lee-to/hlv

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

语言：Rust · GitHub 星标：82 · Fork：6

话题：ai · aiworkflow · sdd · spec-driven-development · vsdd

在 GitHub 上查看原仓库