indexo.dev

moogle.ai

.ai crawl

First seen 2026-04-25 · Last seen 2026-05-19 · ok HTTP/1.1 200 1196 ms crawled 2026-05-19

US · 76.76.21.21 · AS16509 Amazon.com, Inc.

Reputation 92/100 no dmarc policy

Classifying

HTML metadata

Title
Moogle: Semantic search over mathlib4
Description
Find theorems faster in mathlib4 with Moogle.

Open Graph

url
https://moogle.ai
title
Moogle: Semantic search over mathlib4
site name
Moogle.
description
Find theorems faster in mathlib4 with Moogle.

Technology

CDN
Vercel
CMS
Next.js
Analytics
  • Google Tag Manager

Third-party hosts loaded (1)

  • www.googletagmanager.com×1

Social

Registration

Registrar
NameCheap, Inc.
Created
2023-09-25
Expires
2027-09-25 494 days left
Updated
2025-11-09
Name servers
  • dns1.registrar-servers.com
  • dns2.registrar-servers.com

DNS records live

NS
  • dns1.registrar-servers.com
  • dns2.registrar-servers.com
MX
  • 10 eforward1.registrar-servers.com
  • 10 eforward2.registrar-servers.com
  • 10 eforward3.registrar-servers.com
  • 15 eforward4.registrar-servers.com
  • 20 eforward5.registrar-servers.com

Email authentication weak

SPF
v=spf1 include:spf.efwd.registrar-servers.com ~all
softfail (~all)
DMARC
not published
DKIM
no key found at common selectors

Certificate (current)

R12
from 2026-03-23 to 2026-06-21
Expires in 33 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 50/100 Checked live page: https://www.moogle.ai/

present
  • strict-transport-security
findings
  • missing Content Security Policy
  • missing frame protection
  • missing content type protection
  • missing Referrer Policy
  • missing Permissions Policy
Header values
strict-transport-security
max-age=63072000

Links to (2)

Linked from (1)