Agent Skills: loogle-search

Search Mathlib for lemmas by type signature pattern

UncategorizedID: parcadei/continuous-claude-v3/loogle-search

Author

Repository

parcadeiLicense: MIT

3,942300

pnpm dlx add-skill https://github.com/parcadei/continuous-claude-v3/loogle-search

Skill Files

Browse the full folder contents for loogle-search.

Loading file tree…

Select a file to preview its contents.