**简短介绍** rust-lang/a-mir-formality 是一个模拟 Rust 类型和 trait 系统的 MIR 模型的开源项目。它可以帮助开发者在不从零开始的基础上添加 AI 能力。 **价值** 该项目的价值在于可以加速开发 AI 功能的 prototyping 和 RAG (关系图) 或 agent