AlphaMoatによると、2026年8月のImandra(imandra.ai)の月間訪問数は1,231(前月比 -69.2%)で、トラフィックデータのある17,424件のAIサイト中16,154位、汎用AIでは2,225件中2,051位です。最大の市場はインド(訪問数の56.5%)。
Imandraとは
Imandra provides an AI tool suite based on automated reasoning and formal verification, marketed as Reasoning as a Service, building logical models for correctness-critical scenarios such as finance, and introducing CodeLogician reasoning capability for agentic coding.
- 01Automated logical reasoning engine
- 02formal verification modeling
- 03Python library for logical expression
- 04agentic coding reasoning checks
- 05compliance and correctness assurance
12か月のトラフィック推移
| 月 | 月間訪問数 | 前月比 |
|---|---|---|
| 2025-09 | 2450 | -60.2% |
| 2025-10 | 1858 | -24.2% |
| 2025-11 | 1733 | -6.7% |
| 2025-12 | 3555 | +105.1% |
| 2026-01 | 3305 | -7.0% |
| 2026-02 | 2235 | -32.4% |
| 2026-03 | 2115 | -5.4% |
| 2026-04 | 1840 | -13.0% |
| 2026-05 | 2575 | +39.9% |
| 2026-06 | 2732 | +6.1% |
| 2026-07 | 4000 | +46.4% |
| 2026-08 | 1231 | -69.2% |
国別の訪問数 · 上位5か国
汎用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 · 訪問数は第三者によるトラフィック推計値を月単位で集計したもので、規模と傾向の把握に適しています。同一プロダクトの複数ドメインは統合しています。詳しくはデータの方法論をご覧ください。