RecodeX 重构消息,Lucid项目利用LLM幻觉生成可验证的软件规范,已在GitHub开源并引发Hacker News讨论。