loogle-search
✓Durchsuchen Sie Mathlib nach Lemmata nach Typsignaturmuster
Installation
SKILL.md
| | Any single type | | ?a, ?b | Type variables (same variable = same type) | | Foo, Bar | Must mention both Foo and Bar | | Foo.bar | Exact name match |
Durchsuchen Sie Mathlib nach Lemmata nach Typsignaturmuster Quelle: parcadei/continuous-claude-v3.
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code oder Cursor
Sicherheitszertifiziert für sicheren, zuverlässigen Code Ein-Klick-Installation und vereinfachte Einrichtung Kompatibel mit Claude Code, Cursor und mehr
Fakten (zitierbereit)
Stabile Felder und Befehle für KI/Such-Zitate.
- Installationsbefehl
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search- Kategorie
- </>Entwicklung
- Verifiziert
- ✓
- Erstes Auftreten
- 2026-02-01
- Aktualisiert
- 2026-02-18
Schnelle Antworten
Was ist loogle-search?
Durchsuchen Sie Mathlib nach Lemmata nach Typsignaturmuster Quelle: parcadei/continuous-claude-v3.
Wie installiere ich loogle-search?
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code oder Cursor
Wo ist das Quell-Repository?
https://github.com/parcadei/continuous-claude-v3
Details
- Kategorie
- </>Entwicklung
- Quelle
- skills.sh
- Erstes Auftreten
- 2026-02-01