Four labs' code-security agents share a find-then-disprove design
Claude Security, Codex Security, Cloudflare's skill and Google Mantis differ in runtime, access and how much proof they require.
32
Product
Mantis
- Mentions · 7d1
- Mentions · 30d1
- All mentions2
- First seenSep 9, 2026
- Last mentioned14h ago
Timeline
2 articles · newest firstGoogle Open-Sources Mantis: A Modular Skills Toolkit That Lets Coding Agents Find, Reproduce and Patch Vulnerabilities
Google open-sourced Mantis, an Apache-2.0 modular skills toolkit that lets AI coding agents find, reproduce, and patch vulnerabilities with sandboxed verification.
55
Appears with
- Googlevendor · 2
- Claude Mythos 5ai model · 1
- Claude Securityproduct · 1
- Codex Securityproduct · 1
- Claude Opus 4.7ai model · 1
- Googleorganization · 1
- Cloudflarevendor · 1
- Claude Codeproduct · 1
- OpenAIvendor · 1
- Google ADKproduct · 1
- Anthropicvendor · 1
- Antigravity CLIproduct · 1
- gVisorproduct · 1
- Gemini CLIproduct · 1
Entities are extracted by the model from each article. First seen , last mentioned . Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.