What happened to Moogle?

discontinued The URL on file (https://www.moogle.ai/) did not respond across three consecutive checks; the streak completed on 2026-09-19.

The address on file matched Moogle's own domain with high confidence, so this observation is reported about Moogle directly. See the methodology for how the match is made.

The vendor's own description, unedited:
Moogle is an AI tool designed for semantic search in the mathlib4 repository. Its primary function is to enhance the process of finding theorems within the mathlib4 repository, allowing users to locate relevant content in an efficient manner. By leveraging semantic search techniques, Moogle is able ...

Live alternatives

No active same-category alternatives in the registry yet. The tools index carries everything else that is live.

How this was decided

Not an editorial call. The URL on file failed three consecutive checks, with a confirmation re-probe before the streak counted (a bot-wall response never counts as one), and the 3-miss rule marks the listing discontinued automatically. If the URL responds again, the registry restores it on its own: warn first, then active. Both directions are recorded as events.

Spot an error? Tell us. Corrections to the record append, they never rewrite.