loogle-search
From the author
Search Mathlib for lemmas by type signature pattern using Loogle.
Install
npx skills add vibeeval/vibecosystem --skill loogle-search -a claude-code
Installs to .claude/skills/loogle-search/ · Each command fetches the skill straight from GitHub with the open skills CLI.
Download .zip
Byte-identical to the scanned commit, with the repository’s licence and a SOURCE.txt.
Want your agent to suggest skills while you type? See how to use skills from your IDE.
Safety checks on SKILL.md
No warnings.
Why 84
Security100
Provenance73
Maintenance85
Licence100
Adoption45
aiqbench computes the trust score from public signals. It is not a security audit, so read a skill before you install it.
Similar skills
Closest to this one by what they do and when they are used.
- knowledge-retrievalopen-gitagent/opengapSemantic search over ingested documents using RAG (LlamaIndex/ChromaDB or Foundational RAG)Other★ 3K
- leann-searchparcadei/Continuous-Claude-v3Semantic search across codebase using LEANN vector indexOther★ 3.9K
- matricesparcadei/Continuous-Claude-v3Problem-solving strategies for matrices in linear algebraOther★ 3.9K
- llm-tuning-patternsparcadei/Continuous-Claude-v3LLM Tuning PatternsOther★ 3.9K
- agentlas-searchagentlas-ai/Agentlas-OSUse when the user types /agentlas-search <query>, /agentlas search, or /hep-search to search across Local, Cloud, and Hub agent repositories.Other★ 1.6K
- sigma-algebrasparcadei/Continuous-Claude-v3Problem-solving strategies for sigma algebras in measure theoryOther★ 3.9K
Ratings & reviews
—
no reviews
Tried this skill? Rate it to help others. Sign in
Discussion
Join the discussion. Sign in