discover-formal
✓Descubra automáticamente métodos formales y habilidades de verificación cuando trabaje con métodos formales. Activa para tareas de desarrollo formal.
Instalación
SKILL.md
Next Steps: Run cat /.claude/skills/formal/INDEX.md to see full category details.
Descubra automáticamente métodos formales y habilidades de verificación cuando trabaje con métodos formales. Activa para tareas de desarrollo formal. Fuente: rand/cc-polymath.
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/rand/cc-polymath --skill discover-formal 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/rand/cc-polymath --skill discover-formal- Fuente
- rand/cc-polymath
- Categoría
- </>Desarrollo
- Verificado
- ✓
- Primera vez visto
- 2026-02-01
- Actualizado
- 2026-02-18
Respuestas rápidas
¿Qué es discover-formal?
Descubra automáticamente métodos formales y habilidades de verificación cuando trabaje con métodos formales. Activa para tareas de desarrollo formal. Fuente: rand/cc-polymath.
¿Cómo instalo discover-formal?
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/rand/cc-polymath --skill discover-formal 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/rand/cc-polymath
Detalles
- Categoría
- </>Desarrollo
- Fuente
- skills.sh
- Primera vez visto
- 2026-02-01