loogle-search
✓Search Mathlib for lemmas by type signature pattern
Installation
SKILL.md
| | Any single type | | ?a, ?b | Type variables (same variable = same type) | | Foo, Bar | Must mention both Foo and Bar | | Foo.bar | Exact name match |
Search Mathlib for lemmas by type signature pattern Source: parcadei/continuous-claude-v3.
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code or Cursor
Security certified for safe and reliable code One-click installation with simplified configuration Compatible with Claude Code, Cursor, and more
Facts (cite-ready)
Stable fields and commands for AI/search citations.
- Install command
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search- Category
- </>Dev Tools
- Verified
- ✓
- First Seen
- 2026-02-01
- Updated
- 2026-02-18
Quick answers
What is loogle-search?
Search Mathlib for lemmas by type signature pattern Source: parcadei/continuous-claude-v3.
How do I install loogle-search?
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code or Cursor
Where is the source repository?
https://github.com/parcadei/continuous-claude-v3
Details
- Category
- </>Dev Tools
- Source
- skills.sh
- First Seen
- 2026-02-01