Open source repositories tagged with #vsdd, ranked by health score.
Specs first. Code second. Proof always. You define the what. LLMs generate the how. hlv validates the proof.
