Show HN: Lucid – Use LLM hallucination to generate verified software specs

(github.com) by tywells | Feb 8, 2026 | 0 comments on HN