RecodeX 重构消息,法国AI公司Mistral推出基于开源Lean语言的代码验证代理Leanstral,旨在提升AI代码生成的可靠性。