📄 中文摘要
Leanstral 是一个开源项目，旨在为可信编码和形式化证明工程提供支持。该工具集成了多种功能，帮助开发者在编写代码时确保其正确性与可靠性。Leanstral 通过提供形式化证明的框架，使得开发者能够验证程序的逻辑和行为，减少潜在的错误和漏洞。该项目不仅关注代码的质量，还强调了在开发过程中透明性和可验证性的重要性。Leanstral 的开源特性使得社区能够参与到其发展中，推动了可信软件开发的进程。
Leanstral：开源可信编码与形式化证明工程代理
📄 English Summary
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Leanstral is an open-source project designed to support trustworthy coding and formal proof engineering. This tool integrates various features to assist developers in ensuring the correctness and reliability of their code. By providing a framework for formal proofs, Leanstral enables developers to verify the logic and behavior of programs, thereby reducing potential errors and vulnerabilities. The project emphasizes the importance of transparency and verifiability during the development process, alongside a focus on code quality. Its open-source nature allows the community to contribute to its development, advancing the field of trustworthy software development.