开发者称 Lean 验证技术已集成至 Claude Agent SDK

OmniTools 9月23日消息，开发者 Boris Cherny 在社交平台发文表示，Lean 验证技术已应用于 Claude Agent SDK。该集成旨在提升智能体在逻辑推理与形式化验证方面的可靠性。目前官方尚未披露具体实现细节与发布计划。