Tracey
A high-performance specification coverage and verification engine based on Rust. It uses Tree-sitter to parse code comments in multiple programming languages, mechanically verifies requirement implementation and test coverage, and supports the MCP protocol.
Timeline (last 90 days)
Tracey is a Rust-based high-performance spec coverage and verification engine that uses Tree-sitter to parse code comments in more than 30 languages, mechanically verifying that requirements are implemented (// r[impl]) and proven by tests (// r[verify]), and exposes the intent graph to AI agents through MCP.
The technical prerequisites for achieving bidirectional reference integrity are persistent machine identifiers (UIDs in StrictDoc) and explicit traceability annotations (Tracey's // r[impl] and // r[verify]).
All Facts (2)
Tracey is a Rust-based high-performance spec coverage and verification engine that uses Tree-sitter to parse code comments in more than 30 languages, mechanically verifying that requirements are implemented (// r[impl]) and proven by tests (// r[verify]), and exposes the intent graph to AI agents through MCP.
50%UnverifiedThe technical prerequisites for achieving bidirectional reference integrity are persistent machine identifiers (UIDs in StrictDoc) and explicit traceability annotations (Tracey's // r[impl] and // r[verify]).
50%