235.8萬/月
會學習你編碼品味的 AI 編程代理
免費增值、需聯絡報價
載入中…
同類工具
最佳 Imandra 替代方案與競爭對手
依功能與用途，為你挑選 12 款 Imandra 的替代工具。
替代方案總數
12
免費／免費增值方案
11
造訪次數最多的替代方案
Command Code
最大流量變化
DeepSeek
全部 12 個 Imandra 替代方案
瀏覽所有 AI 開發者工具工具 →Imandra 與競爭對手比較
| 排名 | 工具與標語 | 官方網域 | 每月造訪次數 | 月增幅 |
|---|
依功能與用途，為你挑選 12 款 Imandra 的替代工具。
| 排名 | 工具與標語 | 官方網域 | 每月造訪次數 | 月增幅 |
|---|
| 定價模式 |
|---|
| 主要市場 |
|---|
| 評分 |
|---|
| 比較 |
|---|
| ● | Imandra | imandra.ai | 1466 | -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萬 | -6072 (-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 | 5079 | -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 編程代理
找出並自動修復漏洞的一體化應用安全平台
涵蓋整個軟體開發週期的代理編排平台
免費 / 開源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.
免費 / 開源由 DeepSeek-V4 與 R1 驅動的高效開源權重與託管推理 AI，token 成本極低。
