loogle-search
@parcadei/loogle-search
Loogle Search - Mathlib Type Signature Search: Search Mathlib for lemmas by type signature pattern.
Installation
$skills install @parcadei/loogle-search
Claude Code
Cursor
Copilot
Codex
Antigravity
Details
Repositoryparcadei/Continuous-Claude-v3
Path.claude/skills/loogle-search/SKILL.md
Branchmain
Scoped Name@parcadei/loogle-search
Usage
After installing, this skill will be available to your AI coding assistant.
Verify installation:
skills list