According to AlphaMoat, in October 2026 Imandra (imandra.ai) received 1,466 monthly visits (-25.7% MoM) — ranked #15,824 of 17,609 AI websites with traffic data, and #2,135 of 2,414 in General AI; its largest market is India (100.0% of visits).
What is 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-Month Traffic Trend
| Month | Monthly visits | MoM |
|---|---|---|
| 2025-11 | 1.7K | -6.7% |
| 2025-12 | 3.6K | +105.1% |
| 2026-01 | 3.3K | -7.0% |
| 2026-02 | 2.2K | -32.4% |
| 2026-03 | 2.1K | -5.4% |
| 2026-04 | 1.8K | -13.0% |
| 2026-05 | 2.6K | +39.9% |
| 2026-06 | 2.7K | +6.1% |
| 2026-07 | 4.0K | +46.4% |
| 2026-08 | 1.2K | -69.2% |
| 2026-09 | 2.0K | +60.4% |
| 2026-10 | 1.5K | -25.7% |
Visits by Country · Top 5
Popular in General AI
A general AI assistant for questions, creation, research, and coding
+ Compare
A multimodal assistant connected to search, files, and Google services
+ Compare
An intelligent assistant for writing, research, file analysis, and coding
+ Compare
A general AI platform spanning model research, free chat, and open APIs
+ Compare
An AI assistant combining real-time search, deep research, and media creation
+ Compare
FAQ
How many monthly visits does Imandra get?
According to AlphaMoat, Imandra (imandra.ai) received 1,466 visits (about 1.5K) in October 2026 (-25.7% month over month), ranking #15,824 of 17,609 AI websites with traffic data, and #2135 in General AI.
Is Imandra’s traffic growing?
Over the last 12 months, Imandra’s monthly visits went from 1.7K in November 2025 to 1.5K in October 2026 — down 15.4% overall; traffic peaked in July 2026 (4.0K).
What are some alternatives to Imandra?
In General AI, the other products with the most monthly visits are ChatGPT (6.0B), Gemini (2.6B), Claude (1.3B), DeepSeek (372.8M), Grok (203.8M).
Data month: 2026-10 · Visit figures are third-party traffic estimates aggregated monthly — best for scale and trends. Multiple domains of the same product are merged. See methodology.