mantis
Um kit de ferramentas de agente de IA para encontrar, reproduzir e corrigir vulnerabilidades em bases de código de forma autônoma.
Kit de ferramentas modular e agnóstico de pilha para agentes de programação de IA encontrarem, reproduzirem e corrigirem vulnerabilidades de código.
Mantis é um kit de ferramentas portátil que fornece habilidades e um chicote de referência ADK para agentes de programação de IA lidarem autonomamente com revisões de segurança, modelagem de ameaças e criação de patches. Ele foi projetado para profissionais de segurança e desenvolvedores que trabalham em ambientes isolados e desejam orquestrar modelos de IA para pesquisa de vulnerabilidades.
O que é
O kit de ferramentas carrega habilidades sob demanda — desde modelagem de ameaças e pesquisa até revisão de código, criação de patches e relatórios — usando um chicote de referência ADK para executar pipelines. Ele constrói índices de código semânticos, cria hipóteses de pesquisa, verifica estaticamente a viabilidade em produção, tenta a reprodução de explorações e usa um loop adversarial para verificar patches.
Para quem
Ele atende a engenheiros de segurança e desenvolvedores confortáveis com a execução de agentes de IA autônomos e pipelines em sandbox para auditorias profundas de código. Ele não é adequado para quem busca um bloqueio de CI/CD pronto para produção sem configuração prévia, pois os recursos de escaneamento de pull request ainda não foram testados em projetos reais.
Recursos principais
Modelagem de Ameaças Autônoma
Gera automaticamente modelos de ameaças e constrói índices semânticos para navegação eficiente no código.
Reprodução de Exploit
Reproduz vulnerabilidades por meio de palpites estáticos, testes unitários ou inicialização de servidores simulados.
Loop de Patch Adversarial
Corrige vulnerabilidades descobertas e executa um loop de verificação adversarial para garantir que as correções se sustentem.
Síntese de Grafo de Pesquisa
Cria topologias personalizadas de grafos de agentes dinamicamente com base em objetivos específicos em linguagem simples.
Pronto em 3 passos
Nosso veredito honesto
Pontos fortes
- Inclui habilidades modulares para todo o ciclo de vida, desde a modelagem de ameaças até a aplicação de patches
- Suporta persistência de conhecimento baseada em SQLite em múltiplas execuções paralelas
- Permite a síntese dinâmica de grafos de pesquisa para objetivos personalizados de revisão de segurança
- Possui rubricas de calibração de risco para combater a inflação de severidade de LLM
Onde deixa a desejar
- Exige isolamento estrito em um sandbox para evitar ações destrutivas inesperadas por agentes autônomos
- Escaneamentos de pull request e as ações do GitHub associadas são completamente não testados de ponta a ponta
- Exige verificação manual cuidadosa de todas as descobertas geradas por IA por um especialista em segurança humano
- Gastos com tokens e custos de API podem acumular rapidamente durante campanhas de escaneamento paralelo autônomas
Preços & licença
Mantis é gratuito sob sua licença open source, mas executá-lo gera custos de API para modelos de linguagem de fronteira como o Gemini, dependendo do seu volume de uso e consumo de tokens.
Vagas para quem fala português
879 vagas remotas abertas de treinamento de IA, atualizadas em 15 de novembro de 2026; a maioria paga $20–$175 por hora. 8 delas pedem falantes de português. O Zekai lista de graça; a candidatura vai para a plataforma do empregador.
Alternativas
Estas ferramentas de IA avaliadas fazem o mesmo trabalho na hora — do nosso diretório avaliado.
Use, ou deixe que a gente configure
FAQ
Posso executar o Mantis em sistemas de produção?
Não. O Mantis executa código gerado autonomamente que pode ser instável ou realizar ações inesperadas, devendo ser executado apenas em ambientes isolados e restritos.
As descobertas da IA têm garantia de correção?
Não. Modelos de IA são não determinísticos e podem alucinar descobertas ou gerar patches incorretos, o que significa que todos os resultados devem ser verificados manualmente por um especialista em segurança.
Como o Mantis lida com limites de orçamento durante escaneamentos longos?
Você pode definir um teto rígido de gastos de tokens usando flags como --max-tokens ou executar campanhas sem teto de orçamento usando --no-budget.
