According to AlphaMoat, in 2026-08 Moogle (moogle.ai) received 2,511 monthly visits (-48.4% MoM) — ranked #14,603 of 17,407 AI websites with traffic data, and #1,814 of 2,182 in General AI; its largest market is United States (100.0% of visits).
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
Visits by Country · Top 5
Popular in General AI
An all-in-one AI assistant for answering questions, writing, generating images, and coding.
+ Compare
A Google AI assistant combining writing, planning, and brainstorming.
+ Compare
An Anthropic AI assistant that analyzes files, code, and helps with writing.
+ Compare
A large-model vendor focused on AGI foundation models and technology.
+ Compare
An AI assistant that chats, generates images, writes code and connects to the web in real time
+ Compare
Data month: 2026-08 · Visit figures are third-party traffic estimates aggregated monthly — best for scale and trends. Multiple domains of the same product are merged. See methodology.