Verifica, rilevamento e correzione automatizzati dei contratti in più linguaggi utilizzando precondizioni formali, postcondizioni e invarianti. Questa competenza fornisce sia documentazione di riferimento che funzionalità di esecuzione per l'intero flusso di lavoro PIANIFICAZIONE -> CREAZIONE -> VERIFICA -> RIMEDIO.
Installa rapidamente la skill AI design-by-contract nel tuo ambiente di sviluppo tramite riga di comando
Fonte: microck/ordinary-claude-skills.
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 |
Verifica, rilevamento e correzione automatizzati dei contratti in più linguaggi utilizzando precondizioni formali, postcondizioni e invarianti. Questa competenza fornisce sia documentazione di riferimento che funzionalità di esecuzione per l'intero flusso di lavoro PIANIFICAZIONE -> CREAZIONE -> VERIFICA -> RIMEDIO. Fonte: microck/ordinary-claude-skills.
Campi e comandi stabili per citazioni AI/ricerca.
npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contractVerifica, rilevamento e correzione automatizzati dei contratti in più linguaggi utilizzando precondizioni formali, postcondizioni e invarianti. Questa competenza fornisce sia documentazione di riferimento che funzionalità di esecuzione per l'intero flusso di lavoro PIANIFICAZIONE -> CREAZIONE -> VERIFICA -> RIMEDIO. Fonte: microck/ordinary-claude-skills.
Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
https://github.com/microck/ordinary-claude-skills