loogle-search
✓Rechercher dans Mathlib des lemmes par modèle de signature de type
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 |
Rechercher dans Mathlib des lemmes par modèle de signature de type Source : parcadei/continuous-claude-v3.
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor
Certifié sécurisé pour un code sûr et fiable Installation en un clic et configuration simplifiée Compatible avec Claude Code, Cursor et plus
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search- Catégorie
- </>Développement
- Vérifié
- ✓
- Première apparition
- 2026-02-01
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que loogle-search ?
Rechercher dans Mathlib des lemmes par modèle de signature de type Source : parcadei/continuous-claude-v3.
Comment installer loogle-search ?
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor
Où se trouve le dépôt source ?
https://github.com/parcadei/continuous-claude-v3
Détails
- Catégorie
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-01