Verified record · from the answer index
loogle-search
skilltested · static-verifiedscore 47/100signed passport ✓485 uses
Search Mathlib for lemmas by type signature pattern
Declared tools (1)
loogle-search
skill:parcadei/continuous-claude-v3/loogle-search · published by parcadei · source repository