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 February, 2025

Declined in all categories

#7360 -1866

Global Rank

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

#5542 -89

US Rank

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

#91 -15

Academic Research Tools Rank

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

-87.76% MoM Decline

114.00 -817.00

Total Visits

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

was 931.00

93.00 +20.00

Unique Visits

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

was 73.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.

42.98%

Male Users

57.02%

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.

00:08 min

Average duration

19%

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
Mar	577.00
Apr	142.00
May	142.00
Jun	1.70K
Jul	107.00
Aug	322.00
Sep	417.00
Oct	491.00
Nov	162.00
Dec	1.70K
Jan	931.00
Feb	114.00

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
Mar	577.00
Apr	142.00
May	142.00
Jun	1.70K
Jul	107.00
Aug	322.00
Sep	417.00
Oct	491.00
Nov	162.00
Dec	1.70K
Jan	931.00
Feb	114.00

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.

India

92.00 +92.00

80.70%

United States

22.00 -2.00

19.30%

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.
Organic search	92.00	81.00%

Direct	22.00	19.00%

Organic social	0	0.00%

Paid social	0	0.00%

Referral	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