数据月份 2026-08

imandra.ai

AI 安全模型基础设施

Imandraimandra.ai以自动推理与形式验证确保关键系统的正确性

访问官网 ↗

据 AlphaMoat 统计,2026-08 imandra.ai(imandra.ai)月访问量为 1,231,环比 -69.2%,在全部 17,413 个有流量数据的 AI 网站中排名第 16,141 位,在「通用 AI」分类(2,187 个)中排名第 2,011 位;最大访问来源为印度(占 56.5%)。

月访问量 · 2026-08

1,231-69.2%

全站排名(17,413 个)

#16,141

「通用 AI」排名(2,187 个)

#2,011

最大市场

印度56.5%

imandra.ai 是什么

产品介绍

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

主要功能5 项

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

近 12 个月流量趋势

悬停查看月度数值

最新 1,231环比-69.2%同比-80.0%

2025-09

2,450

-60.2%

2025-10

1,858

-24.2%

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%

访问来源 Top 5 分布

2026-08 · 占总访问量比例,倒序排列

印度

69556.5%

美国

53643.5%

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

点击查看详情,或「+ 对比」与 imandra.ai 并排对比

chatgpt.com

56.4亿

+3.5%

解答问题、写作、生成图像与编程的一站式 AI 助手

gemini.google.com

26.2亿

-2.6%

写作、规划与头脑风暴一体的 Google AI 助手

claude.ai

9.5亿

-2%

可分析文件、代码并协助写作的 Anthropic AI 助手

deepseek.com

3.5亿

+2.1%

专注通用人工智能底层模型与技术的大模型厂商

grok.com

2.1亿

-0.4%

可对话、生图、写代码并实时联网的 AI 助手

doubao.com

1.6亿

+4.6%

字节跳动旗下集成多模型的全能 AI 对话助手

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