项目核验档案
baml 是一种专为 AI 智能体设计的静态类型编程语言，通过类型化错误、运行时类型持久化和多语言互操作来减少智能体执行中的错误。它类似 Rust 的类型系统和 Go 的并发特性，支持从 Python、TypeScript、Go 等语言调用。
内容核验时间：
把需求说清楚，让项目选择更有依据
告诉我们你要解决什么、运行在哪里、哪些条件不能妥协。雷达会从已核验项目中给出主推荐、备选和采用前检查。