mantis
Un conjunto de herramientas de agentes de IA para encontrar, reproducir y parchear vulnerabilidades en bases de código de forma autónoma.
Kit de herramientas modular y agnóstico de pila para que los agentes de programación de IA encuentren, reproduzcan y parcheen vulnerabilidades de código.
Mantis es un conjunto de herramientas portátil que ofrece habilidades y un arnés de referencia ADK para que los agentes de programación de IA gestionen de forma autónoma revisiones de seguridad, modelado de amenazas y creación de parches. Está diseñado para profesionales de la seguridad y desarrolladores que trabajan en entornos aislados y desean orquestar modelos de IA para la investigación de vulnerabilidades.
Qué es
El kit de herramientas carga habilidades bajo demanda (desde modelado de amenazas e investigación hasta revisión de código, creación de parches e informes) utilizando un arnés de referencia ADK para ejecutar pipelines. Construye índices de código semántico, crea hipótesis de investigación, verifica estáticamente la viabilidad en producción, intenta reproducir exploits y utiliza un bucle adversarial para verificar los parches.
Para quién
Es ideal para ingenieros de seguridad y desarrolladores que se sienten cómodos ejecutando agentes de IA autónomos y pipelines en sandbox para auditorías de código profundas. No es adecuado para quienes buscan una puerta de bloqueo de CI/CD lista para producción y llave en mano desde el primer momento, ya que las funciones de análisis de pull request aún no se han probado en proyectos reales.
Funciones clave
Modelado de amenazas autónomo
Genera automáticamente modelos de amenazas y construye índices semánticos para una navegación eficiente por el código.
Reproducción de exploits
Reproduce vulnerabilidades mediante conjeturas estáticas, pruebas unitarias o levantando servidores simulados.
Bucle de parcheo adversarial
Parches para vulnerabilidades descubiertas y ejecución de un bucle de verificación adversarial para garantizar que las correcciones se mantengan.
Síntesis de grafos de investigación
Diseña topologías personalizadas de grafos de agentes sobre la marcha en función de objetivos específicos en lenguaje sencillo.
Listo en 3 pasos
Nuestro veredicto honesto
Lo mejor
- Incluye habilidades modulares para todo el ciclo de vida, desde el modelado de amenazas hasta la aplicación de parches
- Compatible con persistencia de conocimientos respaldada por SQLite en múltiples ejecuciones paralelas
- Permite la síntesis dinámica de grafos de investigación para objetivos de revisión de seguridad personalizados
- Cuenta con rúbricas de calibración de riesgos para combatir la inflación de gravedad de los LLM
Sus límites
- Requiere un aislamiento estricto en un sandbox para evitar acciones destructivas inesperadas por parte de agentes autónomos
- Los análisis de pull request y las GitHub actions asociadas no están probados de extremo a extremo
- Exige una cuidadosa verificación manual de todos los hallazgos generados por IA por parte de un experto en seguridad humano
- El gasto de tokens y los costes de API pueden acumularse rápidamente durante campañas de análisis paralelas desatendidas
Precios y licencia
Mantis es gratuito bajo su licencia open source, pero su ejecución conlleva costes de API para modelos de lenguaje de vanguardia como Gemini, dependiendo de tu volumen de uso y consumo de tokens.
Empleos para hispanohablantes
879 puestos remotos abiertos de entrenamiento de IA, actualizados el 15 de noviembre de 2026; la mayoría paga $20–$175 por hora. 22 de ellos piden hispanohablantes. Zekai los lista gratis; la solicitud va a la plataforma del empleador.
Alternativas
Estas herramientas de IA evaluadas hacen el mismo trabajo al instante — de nuestro directorio puntuado.
Úsalo, o deja que lo configuremos
FAQ
¿Puedo ejecutar Mantis en sistemas de producción?
No. Mantis ejecuta código generado de forma autónoma que puede ser inestable o realizar acciones inesperadas, por lo que solo debe ejecutarse en entornos aislados y restringidos.
¿Los hallazgos de la IA están garantizados como correctos?
No. Los modelos de IA no son deterministas y pueden alucinar hallazgos o generar parches incorrectos, lo que significa que todos los resultados deben ser verificados manualmente por un experto en seguridad.
¿Cómo gestiona Mantis los límites de presupuesto durante análisis largos?
Puedes establecer un límite estricto de gasto de tokens usando flags como --max-tokens o ejecutar campañas sin límite de presupuesto usando --no-budget.
