数据月份 2026-10
Imandra
imandra.ai
Imandra
Imandraimandra.ai以自动推理与形式验证确保关键系统的正确性
访问官网 ↗

据 AlphaMoat 统计,2026年10月 Imandra(imandra.ai)月访问量为 1,466,环比 -25.7%,在全部 17,609 个有流量数据的 AI 网站中排名第 15,824 位,在「通用 AI」分类(2,414 个)中排名第 2,135 位;最大访问来源为印度(占 100.0%)。

月访问量 · 2026-10
1,466-25.7%
全站排名(17,609 个)
#15,824
「通用 AI」排名(2,414 个)
#2,135
最大市场
印度100.0%

Imandra 是什么

产品介绍

Imandra 提供基于自动推理与形式验证技术的 AI 工具套件,主打 Reasoning as a Service,为金融等对正确性要求严格的场景构建逻辑模型,并推出面向智能体编码的 CodeLogician 推理能力。

主要功能5 项
  • 01自动逻辑推理引擎
  • 02形式化验证建模
  • 03Python 库逻辑表达
  • 04智能体编码推理校验
  • 05合规与正确性保障

近 12 个月流量趋势

悬停查看月度数值
最新 1,466环比-25.7%同比-21.1%
-1,4402,8804,32025-1125-1226-0226-0426-0626-0826-10
月份月访问量环比
2025-111,733-6.7%
2025-123,555+105.1%
2026-013,305-7.0%
2026-022,235-32.4%
2026-032,115-5.4%
2026-041,840-13.0%
2026-052,575+39.9%
2026-062,732+6.1%
2026-074,000+46.4%
2026-081,231-69.2%
2026-091,974+60.4%
2026-101,466-25.7%

访问来源 Top 5 分布

2026-10 · 占总访问量比例,倒序排列
印度
1,466100.0%

「通用 AI」分类下的热门产品

点击查看详情,或「+ 对比」与 Imandra 并排对比
ChatGPT
ChatGPT
chatgpt.com
60.5亿
+2.2%

覆盖问答、创作、研究与编程的通用智能助手

+ 对比
Gemini
Gemini
gemini.google.com
26.4亿
-0.1%

连接搜索、文件与谷歌服务的多模态智能助手

+ 对比
Claude
Claude
claude.ai
12.5亿
+23.8%

擅长写作、研究、文件分析与编程的智能助手

+ 对比
DeepSeek
DeepSeek
deepseek.com
3.7亿
+4.3%

连接模型研究、免费对话与开放接口的通用AI平台

+ 对比
Grok
Grok
grok.com
2.0亿
-0.8%

融合实时搜索、深度研究与多媒体创作的AI助手

+ 对比
豆包
豆包
doubao.com
1.4亿
-11.8%

覆盖问答、搜索、创作与多媒体任务的智能助手

+ 对比

常见问题

Imandra 每月有多少访问量?

据 AlphaMoat 统计,2026年10月,Imandra(imandra.ai)月访问量为 1,466(约 1,466),环比 -25.7%;在 17,609 个有流量数据的 AI 网站中排名第 15,824 位,在「通用 AI」分类中排名第 2135 位。

Imandra 的流量在增长吗?

近 12 个月,Imandra 月访问量从 2025年11月 的 1,733 变为 2026年10月 的 1,466,整体下降 15.4%;这段时间的峰值出现在 2026年7月(4,000)。

和 Imandra 类似的 AI 产品有哪些?

在「通用 AI」分类中,月访问量最高的其他产品有 ChatGPT(60.5亿)、Gemini(26.4亿)、Claude(12.5亿)、DeepSeek(3.7亿)、Grok(2.0亿)。

数据月份:2026-10 · 访问量为第三方流量估算,按月聚合更新,适合看量级与趋势。同一产品的多个域名已合并统计。口径说明见数据方法。