Moogle

4.77

Moogle is an AI tool for semantic search in mathlib4, offering accurate and contextually meaningful theorem results.

Visit website

Moogle Web Traffic statistics June, 2025

#4629 +846

Global Rank

Position of this tool among all analyzed AI tools based on total visits, with #1 being the most visited AI tool globally.

#5303 -1380

US Rank

Position of this tool among all analyzed AI tools based on visits from the United States.

#58 +15

Academic Research Tools Rank

Position of this tool within its specific category (Academic Research Tools), based on total visits.

94.88% MoM Growth

1.60K +779.00

Total Visits

Total number of visits this tool received during the selected month, with the absolute change from previous month.

was 821.00

627.00 +46.00

Unique Visits

Number of different users who visited this tool during the selected month, with the absolute change from previous month.

was 581.00

+0.00% Share Growth

0.00% +0.00%

Global Market Share

Percentage of all AI tool visits across our directory that went to this specific tool.

was 0.00%

0.00% +0.00%

Academic Research Tools Market Share

Percentage of all Academic Research Tools category visits that went to this specific tool.

was 0.00%

Gender Distribution

Breakdown of tool usage between male and female users during the selected period.

43%

Male Users

57%

Female Users

Device Distribution

Breakdown of visits to this tool by device type (mobile vs desktop).

Mobile users

100%

Desktop users

Duration & Bounce Rate

Average time users spend on the tool per session and the percentage of users who leave after viewing only one page.

16:46 min

Average duration

42%

Bounce Rate

Moogle Traffic Trends

Historical view of this tool's visit patterns over the past 12 months, showing both total visits and unique visitors over time.

Month	Page Visits
Jul	107.00
Aug	322.00
Sep	417.00
Oct	491.00
Nov	162.00
Dec	1.70K
Jan	931.00
Feb	114.00
Mar	0
Apr	0
May	821.00
Jun	1.60K

Moogle Competitor comparison

Comparative view of monthly visit trends among similar AI tools in the same category, helping understand how this tool performs against its main competitors over time.

Month	Page Visits
Jul	107.00
Aug	322.00
Sep	417.00
Oct	491.00
Nov	162.00
Dec	1.70K
Jan	931.00
Feb	114.00
Mar	0
Apr	0
May	821.00
Jun	1.60K

Moogle Web Traffic by Country

Overview of the top 5 countries visiting this AI tool, ranked by total visit volume.

Location

Country where the AI tool visits originated from.

Traffic

Total number of visits from this country during the selected month, with the change from previous month shown below.

Percentage of global AI tool visits that came from this country.

Saudi Arabia

663.00 +547.00

41.44%

Hong Kong

430.00 +430.00

26.88%

United States

139.00 -528.00

8.69%

South Korea

83.00 +83.00

5.19%

Canada

78.00 +78.00

4.88%

Moogle Visits by Traffic Source

Breakdown of how users are finding and accessing this AI tool, showing the distribution of traffic across different channels.

Source Channel or method through which users reached this tool (e.g., Direct, Organic Search, Referral).	Traffic Number of visits from each traffic source during the selected time period.	Share Percentage of total visits that came through each traffic source, showing which channels drive the most traffic to this tool.
Direct	781.00	49.00%

Organic search	680.00	43.00%

Referral	139.00	9.00%

Organic social	0	0.00%

Paid social	0	0.00%

Mail	0	0.00%

Paid search	0	0.00%

Display ads	0	0.00%

Our Methodology

Our AI industry web traffic analysis is based on estimated data from reliable sources such as SEMrush and Ahrefs. We track 10,500+ AI tools across 171 categories, updating data every month. We analyze total visits, unique visits, user demographics, and more across the categories to provide insights into the AI industry’s size, trends, and top performers.

Unique visits represent cumulative monthly counts, meaning returning users in different months are counted again. The total unique visits for all tools combined do not represent distinct individuals due to user overlap across multiple AI tools. For a closer estimate of the AI industry's audience size, refer to the latest month's unique visit count.

Read our complete data analysis methodology

Explore global AI statistics and trends