Verifiable code intelligence for AI agents — every relationship comes with the evidence that proves it. Local-first, single Rust binary, MCP-native.