Paste a public repository URL. We shallow-clone it and run the deterministic
guard-parity enumerator over its Rust sources — no build, no prover, no model,
and your code is never executed. It takes seconds.
What you get back
what the enumerator established over your source: files, functions, state types,
entry points (or an honest UNKNOWN)
with a stated property: every write site classified, and which are LIVE and
UNGUARDED — the shape that produced this project's confirmed findings
zero fabricated findings. A finding is reported only when a counterexample has
been reproduced on the compiled program, which this fast lane does not do