design-by-contract
Verificación, detección y corrección automatizadas de contratos en varios idiomas utilizando condiciones previas, condiciones posteriores e invariantes formales. Esta habilidad proporciona documentación de referencia Y capacidades de ejecución para el flujo de trabajo completo PLANIFICAR -> CREAR -> VERIFICAR -> REMEDIAR.
Instalación
SKILL.md
Design-by-Contract (DbC) is a programming methodology that uses formal specifications (contracts) to define component behavior. This skill enables:
Principle: Use compile-time verification before runtime contracts. If a property can be verified statically, do NOT add a runtime contract for it.
| Property | Static | Test Contract | Debug Contract | Runtime Contract |
Verificación, detección y corrección automatizadas de contratos en varios idiomas utilizando condiciones previas, condiciones posteriores e invariantes formales. Esta habilidad proporciona documentación de referencia Y capacidades de ejecución para el flujo de trabajo completo PLANIFICAR -> CREAR -> VERIFICAR -> REMEDIAR. Fuente: microck/ordinary-claude-skills.
Datos (listos para citar)
Campos y comandos estables para citas de IA/búsqueda.
- Comando de instalación
npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract- Categoría
- >_Productividad
- Verificado
- —
- Primera vez visto
- 2026-02-01
- Actualizado
- 2026-02-18
Respuestas rápidas
¿Qué es design-by-contract?
Verificación, detección y corrección automatizadas de contratos en varios idiomas utilizando condiciones previas, condiciones posteriores e invariantes formales. Esta habilidad proporciona documentación de referencia Y capacidades de ejecución para el flujo de trabajo completo PLANIFICAR -> CREAR -> VERIFICAR -> REMEDIAR. Fuente: microck/ordinary-claude-skills.
¿Cómo instalo design-by-contract?
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/microck/ordinary-claude-skills --skill design-by-contract 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/microck/ordinary-claude-skills
Detalles
- Categoría
- >_Productividad
- Fuente
- user
- Primera vez visto
- 2026-02-01