12 alternativas a Imandra, seleccionadas por sus funciones y usos.
| Posición | Herramienta y eslogan |
|---|
| Dominio oficial |
|---|
| Visitas mensuales |
|---|
| Crecimiento intermensual |
|---|
| Modelo de precios |
|---|
| Mercado principal |
|---|
| Valoración |
|---|
| Comparar |
|---|
| ● | Imandra | imandra.ai | 1,47 mil | -508 (-25,7 %) | Freemium | India | 4,4 | Perfil |
| 1 | Command Code | commandcode.ai | 2,36 M | -325,7 mil (-12,1 %) | Freemium, Precio a consultar | China | 4,3 | Comparar |
| 2 | Kiro | kiro.dev | 3,33 M | 145,23 mil (+4,6 %) | Freemium | Estados Unidos | 4,5 | Comparar |
| 3 | KaneAI | testmuai.com | 901,34 mil | 104,99 mil (+13,2 %) | Freemium, De pago, Precio a consultar | Estados Unidos | 4,5 | Comparar |
| 4 | Aikido Security | aikido.dev | 757,49 mil | 66,27 mil (+9,6 %) | Freemium | Estados Unidos | 4,4 | Comparar |
| 5 | Cursor | cursor.sh | 4,79 M | 291,91 mil (+6,5 %) | Freemium | Estados Unidos | 4,8 | Comparar |
| 6 | Trae | trae.ai | 702,37 mil | -59,77 mil (-7,8 %) | Freemium | China | 4,7 | Comparar |
| 7 | cubic | cubic.dev | 51,51 mil | -6,07 mil (-10,5 %) | Freemium, Precio a consultar | Estados Unidos | 4,2 | Comparar |
| 8 | Augment Code | augmentcode.com | 326,22 mil | 63,41 mil (+24,1 %) | Freemium, Prueba gratuita, Precio a consultar | Estados Unidos | 4,5 | Comparar |
| 9 | Open Interpreter | openinterpreter.com | 57,49 mil | -23,48 mil (-29 %) | Gratis | Estados Unidos | 4,7 | Comparar |
| 10 | Aide Dev | aide.dev | 5,08 mil | -98 (-1,9 %) | De pago | Estados Unidos | 4,5 | Comparar |
| 11 | DeepSeek | deepseek.com | 372,76 M | 15,36 M (+4,3 %) | Freemium | China | 4,8 | Comparar |
| 12 | Google Antigravity | antigravity.google | 16,05 M | 1,21 M (+8,1 %) | Freemium | India | 4,6 | Comparar |
El agente de programación que aprende tu estilo de código
El agente de programación que aprende tu estilo de código
Un IDE de IA guiado por especificaciones y plataforma de agentes que planifica, construye, revisa y verifica trabajo real de ingeniería.
Un IDE de IA guiado por especificaciones y plataforma de agentes que planifica, construye, revisa y verifica trabajo real de ingeniería.
Agente de QA E2E nativo de IA generativa que planifica, escribe y auto-repara pruebas en lenguaje natural
Plataforma AppSec todo en uno que detecta y corrige vulnerabilidades
Plataforma AppSec todo en uno que detecta y corrige vulnerabilidades
El agente de código con IA que convierte ideas en software entregado
EspecializadoUn IDE con IA y agente de programación que trabaja en tu proyecto, no solo en tu cursor
EspecializadoUn IDE con IA y agente de programación que trabaja en tu proyecto, no solo en tu cursor
Revisión de código con IA que entiende todo tu código base
Revisión de código con IA que entiende todo tu código base
Plataforma de orquestación de agentes para todo el ciclo de desarrollo
Plataforma de orquestación de agentes para todo el ciclo de desarrollo
Gratis / Código abiertoOpen Interpreter is an open-source coding agent that lets language models write and run code directly on your own machine, turning plain-English instructions into real files, charts, and automations.
Gratis / Código abiertoOpen Interpreter is an open-source coding agent that lets language models write and run code directly on your own machine, turning plain-English instructions into real files, charts, and automations.
Agentes de IA para ingeniería de software, escalados en inferencia
Agentes de IA para ingeniería de software, escalados en inferencia
Gratis / Código abiertoIA de razonamiento de código abierto y alojada de alta eficiencia, impulsada por DeepSeek-V4 y R1 con costes de token ultrabajos.
Gratis / Código abiertoIA de razonamiento de código abierto y alojada de alta eficiencia, impulsada por DeepSeek-V4 y R1 con costes de token ultrabajos.
La plataforma de desarrollo de Google para la era de los agentes
La plataforma de desarrollo de Google para la era de los agentes
