An approach to provably safe AI engineering for legacy codebases

Thoughts? Claim is 100% visibility within the confines of your repo, where that visibility unlocks deterministic coding so the AI can't hurt your codebase.

From the site:

--- Evōk is an understanding engine built for logic.

It efficiently ingests your repo, generating a lossless mathematical digital twin of your codebase, instantly surfacing structural issues, dead code, circular dependencies, unused packages, and much more backed by the fidelity of pure deterministic math.

Zero heuristics. Zero LLMs. Absolute understanding. ----

The first time you ingest a codebase into Evōk, dead code, broken functions, circular dependencies, external API calls, and unused packages all become visible. Not heuristics. Known mathematical truths, surfaced without a single query.

----