loogle-search
✓Busque en Mathlib lemas por patrón de firma de tipo
Instalación
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 |
Busque en Mathlib lemas por patrón de firma de tipo Fuente: parcadei/continuous-claude-v3.
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code o Cursor
Certificado de seguridad para código seguro y confiable Instalación con un clic y configuración simplificada Compatible con Claude Code, Cursor y más
Datos (listos para citar)
Campos y comandos estables para citas de IA/búsqueda.
- Comando de instalación
npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search- Categoría
- </>Desarrollo
- Verificado
- ✓
- Primera vez visto
- 2026-02-01
- Actualizado
- 2026-02-18
Respuestas rápidas
¿Qué es loogle-search?
Busque en Mathlib lemas por patrón de firma de tipo Fuente: parcadei/continuous-claude-v3.
¿Cómo instalo loogle-search?
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill loogle-search Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code o Cursor
¿Dónde está el repositorio de origen?
https://github.com/parcadei/continuous-claude-v3
Detalles
- Categoría
- </>Desarrollo
- Fuente
- skills.sh
- Primera vez visto
- 2026-02-01