Skip to content
Metatext
LLMs
Best LLMs
Benchmarks
Datasets
Models
Tools
Jobs
Sign In
Sign Up
Tools
/
Skills
/
loogle-search
loogle-search
Skill
by vibeeval
Search Mathlib for lemmas by type signature pattern using Loogle.
Repository
Source folder
Details
Path
skills/loogle-search/SKILL.md
FAQ
What is the loogle-search skill?
What tools does loogle-search use?