According to AlphaMoat, in September 2026 Moogle (moogle.ai) received 0 monthly visits (-100% MoM) — ranked #0 of 17,609 AI websites with traffic data, and #0 of 2,414 in General AI.
What is Moogle
Moogle is a semantic search engine for mathlib4 that uses semantic matching to help users find the mathematical theorems they need faster.
- 01Semantic theorem search
- 02search within mathlib4
- 03locate theorems quickly
- 04show theorem descriptions
- 05support mathematics study and research
12-Month Traffic Trend
| Month | Monthly visits | MoM |
|---|---|---|
| 2025-10 | 3.2K | -26.7% |
| 2025-11 | 5.2K | +61.7% |
| 2025-12 | 4.7K | -9.9% |
| 2026-01 | 7.4K | +56.9% |
| 2026-02 | 3.5K | -52.7% |
| 2026-03 | 3.7K | +5.6% |
| 2026-04 | 4.3K | +15.5% |
| 2026-05 | 5.1K | +20.9% |
| 2026-06 | 6.9K | +34.9% |
| 2026-07 | 4.9K | -29.9% |
| 2026-08 | 2.5K | -48.4% |
| 2026-09 | 2.6K | +3.9% |
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
Data month: 2026-09 · Visit figures are third-party traffic estimates aggregated monthly — best for scale and trends. Multiple domains of the same product are merged. See methodology.