RecodeX 重构消息，Solvi 1.0 在 Hacker News 的 Show HN 板块发布。该项目采用“LLM 提出、检查器裁决”的机制，即由大语言模型生成候选方案，再由检查环节做出最终决定，并且每一次决策都可回放。