Skip to content
Metatext Decide — typed decisions for your agents, with a probability on every answer
Get early access
Metatext
LLMs
Best LLMs
Benchmarks
Datasets
Models
MCP Servers
Agent Skills
Jobs
Sign In
Sign Up
AI assets
/
Agent 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
More skills by vibeeval
continuity-ledger
entropy
harvest-adaptive
harvest-structured
hook-developer
migrate
FAQ
What is the loogle-search skill?
What tools does loogle-search use?