Three-Lens (3lens)
A plugin for Antigravity CLI (agy) that does multi-stage security assurance and vulnerability verification. This site documents its design, threat model and defences as a whitepaper you can check against the code and tests, with terminal-recording demos.
How it is written: every security claim lists the asset protected, the defence, the evidence, the residual risk and what is not protected; sections not yet checked claim by claim are labelled.