Veredito: the AI code reviewer that has to prove its verdict

Why it surfaced

Veredito reruns the same test against the code before and after a change, then separates findings into proven, discarded, and inconclusive—rather than quietly turning “I couldn’t prove it” into a clean bill of health. Its unusually courtroom-shaped workflow gives the tool a clear editorial hook, and the page includes a concrete access-control failure with a reproducible request sequence.

An autonomous code reviewer that treats suspected vulnerabilities as accusations and only issues a finding when it can attach reproducible evidence.