@parcadei/loogle-search
Search Mathlib for lemmas by type signature pattern
No skills found in this collection.
SKILL.md
Loading...
Select a file to preview
Analyzing security...
Checking scan reports and verification data.
Bill of Materials
Everything this skill can do — files, network, commands, and more.
No demos yet. To add one, ask your AI agent: "Submit a demo for @parcadei/loogle-search" — or upload via the API.
To add a demo, ask your AI agent: "Submit a demo for @parcadei/loogle-search"
No eval data yet. Eval results are published via the SkillSafe API.