Aide Dev は月間 5,079 訪問、前月比成長率 -1.9%、料金体系有料を記録しています。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.
| 項目 / 指標 | | |
|---|---|---|
| 公式ドメイン | aide.dev | imandra.ai |
| 料金モデル | 有料 | フリーミアム |
| 月間訪問数 | 5079 (5,079) | 1466 (1,466) |
| 前月比トラフィック増減 | -98 (-1.9%) | -508 (-25.7%) |
| 主要市場とシェア | 🇺🇸 アメリカ合衆国 (79.7%) | 🇮🇳 インド (100%) |
| 月間ダイレクト訪問数 | 2017 | 567 |
| ユーザー評価 | 4.5 | 4.4 |
| 対応プラットフォーム | ウェブサイト | ウェブサイト |
推論時にスケールするソフトウェアエンジニアリング向けAIエージェント
エージェントはテスト時に追加の計算量を投じて推論・探索・検証を行い、単一の推論だけで修正を出すのではなく、より確実な変更を目指します。
実際のリポジトリ作業を対象とし、関連コードの特定、意図の理解、Issueを解決する変更の生成を行います。
SWE-bench Verifiedでの62.2%解決率を含む、実測された成果を公開しています。
エージェント設計、評価手法、コーディングシステム構築で得た知見を継続的に発信します。
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。
無料・オープンソース野心的なソフトウェアをつくるAIコーディングエージェント
あなたのコーディングの「好み」を学習する AI コーディングエージェント
あなたのコーディングの「好み」を学習する AI コーディングエージェント
自然言語でE2Eテストを計画・作成・自己修復する生成AIネイティブなQAエージェント
脆弱性を検出し自動修正するオールインワンAppSecプラットフォーム
ソフトウェア開発ライフサイクル全体を担うエージェント基盤
