mantis

Google Mantis is an open-source (Apache-2.0) set of security-review skills, plus a reference harness built on Google's Agent Development Kit, that lets an AI coding agent threat-model a codebase, hunt for vulnerabilities, reproduce them in a sandbox, and write and re-attack patches. It suits securit