Cursor は月間 23,297,751 訪問、前月比成長率 +8.4%、料金体系フリーミアムを記録しています。Imandra は月間 1,466 訪問、成長率 -25.7%、料金体系フリーミアムを記録しています。
野心的なソフトウェアをつくるAIコーディングエージェント
Imandra is a neurosymbolic reasoning platform that turns source code and system logic into precise mathematical models, so AI agents and engineers can prove properties, find edge-case bugs, and verify behavior before it ships. Its flagship CodeLogician tool plugs into AI coding assistants such as Codex, Cursor, and Gemini, while ImandraX powers automated reasoning for financial markets, autonomous systems, and regulated industries.
| 項目 / 指標 | | |
|---|---|---|
| 公式ドメイン | cursor.com | imandra.ai |
| 料金モデル | フリーミアム | フリーミアム |
| 月間訪問数 | 2329.78万 (23,297,751) | 1466 (1,466) |
| 前月比トラフィック増減 | +180.03万 (+8.4%) |
| -508 (-25.7%) |
| 主要市場とシェア | 🇺🇸 アメリカ合衆国 (24.1%) | 🇮🇳 インド (100%) |
|---|
| 月間ダイレクト訪問数 | 1468.38万 | 567 |
|---|
| ユーザー評価 | 4.7 | 4.4 |
|---|
| 対応プラットフォーム | ウェブサイト | ウェブサイト |
|---|
野心的なソフトウェアをつくるAIコーディングエージェント
変更を計画し、複数ファイルを同時に編集し、テストを実行して完了まで反復するエージェントモード。
バックグラウンドのエージェントが専用環境を立ち上げ、機能の構築・テスト・デモを並行して行い、レビュー用に結果を返します。
高速なインライン補完に加え、コードベース全体の意味検索と索引化により、実際のリポジトリに基づいた回答を得られます。
複数プロバイダーの最先端モデルを切り替えたり、タスクごとにCursorに自動選択させたりできます。
Imandra is a neurosymbolic reasoning platform that turns source code and system logic into precise mathematical models, so AI agents and engineers can prove properties, find edge-case bugs, and verify behavior before it ships. Its flagship CodeLogician tool plugs into AI coding assistants such as Codex, Cursor, and Gemini, while ImandraX powers automated reasoning for financial markets, autonomous systems, and regulated industries.
Imandra's reasoning engine builds formal models of programs and autonomous systems, then exhaustively analyzes behavior to surface edge cases that testing and statistical models miss.
CodeLogician translates a codebase into mathematical logic and assembles a MetaModel spanning every file and dependency, giving AI assistants a complete structural context with no learning phase.
Instead of sampling inputs, Imandra decomposes state space into behavioral regions so decisions and boundary conditions are examined exhaustively and reproducibly.
Benchmarks published by Imandra show that augmenting LLMs with formal reasoning through CodeLogician closed a 41-47 percentage point accuracy gap on software-analysis reasoning tasks compared with LLM-only approaches.
無料・オープンソースDeepSeek-V4 と R1 を中核とし、極めて低いトークンコストで提供される高効率なオープンウェイト／ホスト型推論 AI。
#1
特化型Enables instant cloud-based full-stack app building from natural language, but is less suited for local offline repositories.
#3
無料・オープンソース圧倒的な拡張機能のサポートと公式のCopilot連携を提供しますが、Cursorのような初期状態での深いコードベースインデックスやエージェント型編集機能はありません。
高度な複数ファイルのプランニングとコードベースの読み込み機能を備えていますが、Cursorのようなスムーズなチャット・トゥ・エディットのインライン作業はありません。
特化型Operates as a fully autonomous software engineer for complex tasks, but lacks the snappy interactive inline editing of Cursor.
あなたのコーディングの「好み」を学習する AI コーディングエージェント
自然言語でE2Eテストを計画・作成・自己修復する生成AIネイティブなQAエージェント
特化型Enables instant cloud-based full-stack app building from natural language, but is less suited for local offline repositories.
無料・オープンソース圧倒的な拡張機能のサポートと公式のCopilot連携を提供しますが、Cursorのような初期状態での深いコードベースインデックスやエージェント型編集機能はありません。
高度な複数ファイルのプランニングとコードベースの読み込み機能を備えていますが、Cursorのようなスムーズなチャット・トゥ・エディットのインライン作業はありません。
特化型Operates as a fully autonomous software engineer for complex tasks, but lacks the snappy interactive inline editing of Cursor.
あなたのコーディングの「好み」を学習する AI コーディングエージェント
脆弱性を検出し自動修正するオールインワンAppSecプラットフォーム
