Last updated 07-03-2026
Category:
Reviews:
Join thousands of AI enthusiasts in the World of AI!
Moogle
Moogle is a semantic search engine for mathlib4, the Lean 4 mathematical library. Type a natural-language or mathematical query on the homepage and Moogle surfaces relevant theorems, lemmas, and definitions from the library so you spend less time hunting through Mathlib docs.
The product is built by Morph Labs and positions itself around one clear job: find theorems faster. The public site is minimal, with a search field up front and account flows for Google or email sign-in.
It fits Mathlib users, formal methods researchers, and students working through Lean proofs who need quick references while reading or writing formal mathematics.
Semantic search across mathlib4 theorems, lemmas, and definitions
Homepage tagline centers on finding theorems faster
Sign in with Google or email before using the app
Footer links to Morph Labs, GitHub, Discord, and Twitter
Built as a Next.js site with Tailwind CSS styling
Purpose-built for mathlib4 theorem discovery instead of generic web search.
Google sign-in is available alongside email registration.
Community links to GitHub and Discord are surfaced on the homepage.
No pricing or plan details are published on the public website.
Marketing pages are sparse beyond search and authentication flows.
An account is required; there is no documented anonymous search option.
What does Moogle search?
Moogle searches mathlib4, the Lean 4 mathematical library. The site describes it as semantic search over mathlib4 so you can find theorems and related results faster.
Who makes Moogle?
Moogle is built by Morph Labs. The Moogle footer credits Morph Labs and links to morph.so.
Do I need an account to use Moogle?
Yes. Moogle's login and signup pages offer Continue with Google or email sign-in. There is no guest search flow shown on the public pages.
Does Moogle publish pricing on its website?
No. Moogle's public site includes search, login, and signup pages but no pricing page or plan list was found during research.
Where can I follow Moogle community updates?
Moogle links to Morph Labs on GitHub, a Discord server, and the Morph Labs Twitter account from its homepage footer.