loogle-search

Name: loogle-search
Author: parcadei

SKILLWorkflowCommunity

v0.0.0parcadeiMITAktualisiert vor 8 Mon.Quelle →

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-Sterne

1Clients

1Formate

vor 8 Mon.Letzte Aktualisierung

Skill

Autorparcadei

Version0.0.0

LizenzMIT

KategorieWorkflow

Formateskill.md

PromptÖffnen (siehe Tab „Prompt“)

Kompatibilität

Claude✓ Unterstützt

Cursor—

Copilot—

ChatGPT—

Gemini—

Über

Search Mathlib for lemmas by type signature pattern

Schlagwörter

skillclaude

Keine Abdeckung der Abhängigkeiten

Dieser Eintrag veröffentlicht kein npm-Paket, daher hat Forge keinen Abhängigkeitsbaum dafür. Das ist eine Lücke in der Abdeckung — keine Aussage, dass er keine Abhängigkeiten hat.

loogle-search

Keine Abdeckung der Abhängigkeiten

Themen

Verwandtes in search & retrieval