产品
Tracey
基于Rust的高性能规格覆盖与验证引擎，使用Tree-sitter解析多种编程语言的代码注释，机械验证需求实现与测试覆盖，支持MCP协议
时间轴 (近 90 天)
10月16日
Tracey是一个基于Rust的高性能规格覆盖与验证引擎，用Tree-sitter解析30多种语言的代码注释，机械验证需求是否被实现（// r[impl]）并被测试证明（// r[verify]），并通过MCP把意图图谱暴露给AI智能体。
待验证50%
10月16日
实现双向引用完整性的技术前提是持久机器标识符（StrictDoc中的UID）和显式追踪注解（Tracey的// r[impl]与// r[verify]）。
待验证50%