기능과 용도를 기준으로 고른 Imandra 대안 도구 12개입니다.
| 순위 | 도구 및 소개 문구 | 공식 도메인 | 월간 방문 수 | 전월 대비 성장률 |
|---|
| 가격 모델 |
|---|
| 주요 시장 |
|---|
| 평점 |
|---|
| 비교 |
|---|
| ● | Imandra | imandra.ai | 1.47천 | -508 (-25.7%) | 무료+유료 | 인도 | 4.4 | 프로필 |
| 1 | Command Code | commandcode.ai | 235.82만 | -32.57만 (-12.1%) | 무료+유료, 가격 문의 | 중국 | 4.3 | 비교 |
| 2 | Kiro | kiro.dev | 333.05만 | 14.52만 (+4.6%) | 무료+유료 | 미국 | 4.5 | 비교 |
| 3 | KaneAI | testmuai.com | 90.13만 | 10.5만 (+13.2%) | 무료+유료, 유료, 가격 문의 | 미국 | 4.5 | 비교 |
| 4 | Aikido Security | aikido.dev | 75.75만 | 6.63만 (+9.6%) | 무료+유료 | 미국 | 4.4 | 비교 |
| 5 | Cursor | cursor.sh | 479.01만 | 29.19만 (+6.5%) | 무료+유료 | 미국 | 4.8 | 비교 |
| 6 | Trae | trae.ai | 70.24만 | -5.98만 (-7.8%) | 무료+유료 | 중국 | 4.7 | 비교 |
| 7 | cubic | cubic.dev | 5.15만 | -6.07천 (-10.5%) | 무료+유료, 가격 문의 | 미국 | 4.2 | 비교 |
| 8 | Augment Code | augmentcode.com | 32.62만 | 6.34만 (+24.1%) | 무료+유료, 무료 체험, 가격 문의 | 미국 | 4.5 | 비교 |
| 9 | Open Interpreter | openinterpreter.com | 5.75만 | -2.35만 (-29%) | 무료 | 미국 | 4.7 | 비교 |
| 10 | Aide Dev | aide.dev | 5.08천 | -98 (-1.9%) | 유료 | 미국 | 4.5 | 비교 |
| 11 | DeepSeek | deepseek.com | 3.73억 | 1536.22만 (+4.3%) | 무료+유료 | 중국 | 4.8 | 비교 |
| 12 | Google Antigravity | antigravity.google | 1605.41만 | 120.94만 (+8.1%) | 무료+유료 | 인도 | 4.6 | 비교 |
당신의 코딩 취향을 학습하는 AI 코딩 에이전트
실제 엔지니어링 작업을 계획하고 구축하고 리뷰하고 검증하는 스펙 기반 AI IDE 겸 에이전트 플랫폼.
취약점을 찾아 자동으로 수정하는 올인원 AppSec 플랫폼
소프트웨어 개발 전 주기를 아우르는 에이전트 오케스트레이션 플랫폼
무료 / 오픈소스Open 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.
무료 / 오픈소스Open 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.
추론 시점에 확장되는 소프트웨어 엔지니어링용 AI 에이전트
무료 / 오픈소스DeepSeek-V4와 R1으로 구동되는, 극히 낮은 토큰 비용의 고효율 오픈웨이트·호스팅 추론 AI.
