March 17, 2026 March 17, 2026 March 17, 2026 March 17, 2026 Leanstral：Mistral AI 推出的可信编码与形式化证明导向的开源 Agent 框架深度解读 Leanstral Mistral AI 的可信编码 Agent 核心解读 Leanstral 是 Mistral AI 发布的一个 开源的 Agent 框架 ，专注于 可信编码（trustworthy coding）和形式化证明工程 。它提供了规划工具、文件系统后端，以及 生成子 Agent 的能力 ，能够很好地处理 LeanstralMistral AI可信AIAgent框架形式化验证