資料月份 2026-08
Imandra
imandra.ai
Imandra
Imandraimandra.ai以自動推理與形式驗證確保關鍵系統的正確性
訪問官網 ↗

據 AlphaMoat 統計,2026年8月 Imandra(imandra.ai)月訪問量為 1,231,環比 -69.2%,在全部 17,424 個有流量資料的 AI 網站中排名第 16,154 位,在「通用 AI」分類(2,225 個)中排名第 2,051 位;最大訪問來源為印度(佔 56.5%)。

月訪問量 · 2026-08
1231-69.2%
全站排名(17,424 個)
#16,154
「通用 AI」排名(2,225 個)
#2,051
最大市場
印度56.5%

Imandra 是什麼

產品介紹

Imandra 提供基於自動推理與形式驗證技術的 AI 工具套件,主打 Reasoning as a Service,為金融等對正確性要求嚴格的場景構建邏輯模型,並推出面向智慧體編碼的 CodeLogician 推理能力。

主要功能5 項
  • 01自動邏輯推理引擎
  • 02形式化驗證建模
  • 03Python 庫邏輯表達
  • 04智慧體編碼推理校驗
  • 05合規與正確性保障

近 12 個月流量趨勢

懸停檢視月度數值
最新 1231環比-69.2%同比-80.0%
-14402880432025-0925-1025-1226-0226-0426-0626-08
月份月訪問量環比
2025-092450-60.2%
2025-101858-24.2%
2025-111733-6.7%
2025-123555+105.1%
2026-013305-7.0%
2026-022235-32.4%
2026-032115-5.4%
2026-041840-13.0%
2026-052575+39.9%
2026-062732+6.1%
2026-074000+46.4%
2026-081231-69.2%

訪問來源 Top 5 分佈

2026-08 · 佔總訪問量比例,倒序排列
印度
69556.5%
美國
53643.5%

「通用 AI」分類下的熱門產品

點選檢視詳情,或「+ 對比」與 Imandra 並排對比
ChatGPT
ChatGPT
chatgpt.com
56.4億
+3.5%

解答問題、寫作、生成圖像與程式設計的一站式 AI 助手

+ 對比
Gemini
Gemini
gemini.google.com
26.2億
-2.6%

寫作、規劃與頭腦風暴一體的 Google AI 助手

+ 對比
Claude
Claude
claude.ai
9.5億
-2%

可分析檔案、程式碼並協助寫作的 Anthropic AI 助手

+ 對比
DeepSeek
DeepSeek
deepseek.com
3.5億
+2.1%

專注通用人工智慧底層模型與技術的大模型廠商

+ 對比
Grok
Grok
grok.com
2.1億
-0.4%

可對話、生圖、寫程式碼並即時聯網的 AI 助手

+ 對比
豆包
豆包
doubao.com
1.6億
+4.6%

位元組跳動旗下整合多模型的全能 AI 對話助手

+ 對比

常見問題

Imandra 每月有多少訪問量?

據 AlphaMoat 統計,2026年8月,Imandra(imandra.ai)月訪問量為 1,231(約 1231),環比 -69.2%;在 17,424 個有流量資料的 AI 網站中排名第 16,154 位,在「通用 AI」分類中排名第 2051 位。

Imandra 的流量在增長嗎?

近 12 個月,Imandra 月訪問量從 2025年9月 的 2450 變為 2026年8月 的 1231,整體下降 49.8%;這段時間的峰值出現在 2026年7月(4000)。

Imandra 的使用者主要來自哪些國家?

2026年8月,Imandra 訪問量佔比最高的國家依次是 印度 56.5%、美國 43.5%。

和 Imandra 類似的 AI 產品有哪些?

在「通用 AI」分類中,月訪問量最高的其他產品有 ChatGPT(56.4億)、Gemini(26.2億)、Claude(9.5億)、DeepSeek(3.5億)、Grok(2.1億)。

資料月份:2026-08 · 訪問量為第三方流量估算,按月聚合更新,適合看量級與趨勢。同一產品的多個域名已合併統計。口徑說明見資料方法。