loogle-search

Name: loogle-search
Author: parcadei

SKILLWorkflowcommunity

v0.0.0parcadeiMITUpdated 8mo agoSource →

Search Mathlib for lemmas by type signature pattern

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

4kRepo stars

1Clients

1Formats

8mo agoLast update

Skill

Authorparcadei

Version0.0.0

LicenseMIT

CategoryWorkflow

Formatsskill.md

PromptOpen (see Prompt tab)

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

Search Mathlib for lemmas by type signature pattern

Keywords

skillclaude

No dependency coverage

This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.

santifer/career-opsAI-powered job search system built on Claude Code. 14 skill modes, Go dashboard, PDF gener
@agent-infra/mcp-server-searchMCP server for web search operations
assafelovic/gpt-researcherAn autonomous agent that conducts deep research on any data using any LLM providers
firecrawl-mcpMCP server for Firecrawl — search, scrape, and interact with the web, and search scientifi
io.github.airweave-ai/searchMCP server for searching Airweave collections with natural language queries.
firecrawl/firecrawl-mcp-server🔥 Official Firecrawl MCP Server - Adds powerful web scraping and search to Cursor, Claude
io.github.pollinations/exaSearch the live web and fetch clean content from source pages.
MinishLab/sembleFast and Accurate Code Search for Agents. Uses ~98% fewer tokens than grep+read