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