Claude
Code & Development
Trust: 55/100 (Fair)loogle-search Guide
Search Mathlib for lemmas by type signature pattern
3,789 starsby parcadei
When to use loogle-search
Search Mathlib for lemmas by type signature pattern
How to use loogle-search
loogle-search is a Claude skill in the SKILL.md format. Add it to your Claude environment from the source repository below, then it activates as a user-invocable skill when your task matches its description.
Details
PlatformClaude
CategoryCode & Development
Invocationuser-invocable
Modelany
Maintainerparcadei
LicenseMIT