Agent skill · parcadei

loogle-search

Search Mathlib for lemmas by type signature pattern

Reference it in any coding agent with:

@skills parcadei/loogle-search

Browse the @skills marketplace