機能と用途で選んだ、Imandra の代替ツール 12 件。
| 順位 | ツールとキャッチコピー | 公式ドメイン | 月間訪問数 | 前月比成長率 |
|---|
| 料金モデル |
|---|
| 主要市場 |
|---|
| 評価 |
|---|
| 比較 |
|---|
| ● | 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 コーディングエージェント
あなたのコーディングの「好み」を学習する AI コーディングエージェント
自然言語でE2Eテストを計画・作成・自己修復する生成AIネイティブなQAエージェント
脆弱性を検出し自動修正するオールインワン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。
