loogle-search

Name: loogle-search
Author: parcadei

SKILLFlujo de trabajocomunidad

v0.0.0parcadeiMITActualizado hace 8 mFuente →

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 →

4kEstrellas del repo

1Clientes

1Formatos

hace 8 mÚltima actualización

Skill

Autorparcadei

Versión0.0.0

LicenciaMIT

CategoríaFlujo de trabajo

Formatosskill.md

PromptAbrir (ver la pestaña Prompt)

Compatibilidad

Claude✓ Compatible

Cursor—

Copilot—

ChatGPT—

Gemini—

Acerca de

Search Mathlib for lemmas by type signature pattern

Palabras clave

skillclaude

Sin cobertura de dependencias

Esta entrada no publica ningún paquete de npm, así que Forge no tiene un árbol de dependencias para ella. Es una carencia de cobertura, no una afirmación de que no tenga dependencias.

Temas

Relacionados en search & retrieval

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