loogle-search
parcadei/continuous-claude-v3
Search Mathlib for lemmas by type signature pattern.
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search
Source description provided by the upstream skill listing. Community reviews and install context appear in the sections below.
Latest reviews
No community reviews yet. Be the first to review.
What does loogle-search do?
Search Mathlib for lemmas by type signature pattern.
Is loogle-search good?
loogle-search does not have approved reviews yet, so SkillJury cannot publish a community verdict.
What agent does loogle-search work with?
loogle-search currently lists compatibility with codex, gemini-cli, opencode, cursor, amp, github-copilot.
What are alternatives to loogle-search?
Skills in the same category include telegram-bot-builder, flutter-app-size, sharp-edges, iterative-retrieval.
How do I install loogle-search?
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search
More from parcadei/continuous-claude-v3
github-search
by parcadei/continuous-claude-v3
Requires github server in mcp_config.json with GITHUB_PERSONAL_ACCESS_TOKEN.
dead-code
by parcadei/continuous-claude-v3
Find unused functions and dead code using TLDR static analysis.
math
by parcadei/continuous-claude-v3
One entry point for all computation and explanation. I route to the right tool based on your request.
agent-orchestration
by parcadei/continuous-claude-v3
When the user asks to implement something, use implementation agents to preserve main context.
Alternatives in Software Engineering
telegram-bot-builder
by sickn33/antigravity-awesome-skills
Source details, install context, and public review data are available on the full page.
flutter-app-size
by flutter/skills
Analyzes and optimizes Flutter application size by measuring build artifacts, generating size analysis reports, utilizing Dart DevTools for component breakdown, and implementing specific size reduction strategies such as debug info splitting, resource compression, and platform-specific tree-shaking. Assumes a...
sharp-edges
by trailofbits/skills
Evaluates whether APIs, configurations, and interfaces are resistant to developer misuse. Identifies designs where the "easy path" leads to insecurity.
iterative-retrieval
by affaan-m/everything-claude-code
Solves the "context problem" in multi-agent workflows where subagents don't know what context they need until they start working.