An AI agent toolkit to autonomously find, reproduce, and patch vulnerabilities in codebases.
Modular, stack-agnostic toolkit for AI coding agents to find, reproduce, and patch code vulnerabilities.
Mantis is a portable toolkit providing skills and an ADK reference harness for AI coding agents to autonomously handle security reviews, threat modeling, and patching. It is designed for security professionals and developers working in isolated environments who want to orchestrate AI models for vulnerability research.
The toolkit loads skills on demand—from threat modeling and research to code review, patching, and reporting—using an ADK reference harness to run pipelines. It builds semantic code indices, creates research hypotheses, statically verifies production viability, attempts exploit reproduction, and uses an adversarial loop to verify patches.
It suits security engineers and developers comfortable running autonomous AI agents and sandboxed pipelines for deep code audits. It does not suit anyone looking for a turnkey, production-ready CI/CD blocking gate out of the box, as the pull request scan features remain untested against live projects.
Automatically generates threat models and builds semantic indexes for efficient code navigation.
Reproduces vulnerabilities through static guesses, unit tests, or spinning up mock servers.
Patches discovered vulnerabilities and runs an adversarial verification loop to ensure fixes hold.
Designs custom agent-graph topologies on the fly based on specific plain-language objectives.
Mantis is free under its open-source license, but running it incurs API costs for frontier language models like Gemini depending on your usage volume and token consumption.
880 open remote AI-training roles, updated November 15, 2026; most pay $20–$175 an hour. Zekai lists them free; the application goes to the employer’s platform.
These reviewed AI tools do the same job instantly — from our scored directory.
No. Mantis executes autonomously generated code that may be unstable or perform unexpected actions, and must only be run in isolated, restricted environments.
No. AI models are non-deterministic and can hallucinate findings or generate incorrect patches, meaning all results must be manually verified by a security expert.
You can set a hard token spend ceiling using flags like --max-tokens or run campaigns without a budget ceiling using --no-budget.
See Zekai first in Google