据 AlphaMoat 统计,2026年10月 Imandra(imandra.ai)月访问量为 1,466,环比 -25.7%,在全部 17,609 个有流量数据的 AI 网站中排名第 15,824 位,在「通用 AI」分类(2,414 个)中排名第 2,135 位;最大访问来源为印度(占 100.0%)。
Imandra 提供基于自动推理与形式验证技术的 AI 工具套件,主打 Reasoning as a Service,为金融等对正确性要求严格的场景构建逻辑模型,并推出面向智能体编码的 CodeLogician 推理能力。
| 月份 | 月访问量 | 环比 |
|---|---|---|
| 2025-11 | 1,733 | -6.7% |
| 2025-12 | 3,555 | +105.1% |
| 2026-01 | 3,305 | -7.0% |
| 2026-02 | 2,235 | -32.4% |
| 2026-03 | 2,115 | -5.4% |
| 2026-04 | 1,840 | -13.0% |
| 2026-05 | 2,575 | +39.9% |
| 2026-06 | 2,732 | +6.1% |
| 2026-07 | 4,000 | +46.4% |
| 2026-08 | 1,231 | -69.2% |
| 2026-09 | 1,974 | +60.4% |
| 2026-10 | 1,466 | -25.7% |
据 AlphaMoat 统计,2026年10月,Imandra(imandra.ai)月访问量为 1,466(约 1,466),环比 -25.7%;在 17,609 个有流量数据的 AI 网站中排名第 15,824 位,在「通用 AI」分类中排名第 2135 位。
近 12 个月,Imandra 月访问量从 2025年11月 的 1,733 变为 2026年10月 的 1,466,整体下降 15.4%;这段时间的峰值出现在 2026年7月(4,000)。
在「通用 AI」分类中,月访问量最高的其他产品有 ChatGPT(60.5亿)、Gemini(26.4亿)、Claude(12.5亿)、DeepSeek(3.7亿)、Grok(2.0亿)。
数据月份:2026-10 · 访问量为第三方流量估算,按月聚合更新,适合看量级与趋势。同一产品的多个域名已合并统计。口径说明见数据方法。