design-by-contract
Automatisierte Vertragsüberprüfung, -erkennung und -behebung in mehreren Sprachen mithilfe formaler Vorbedingungen, Nachbedingungen und Invarianten. Dieser Skill bietet sowohl Referenzdokumentation als auch Ausführungsfunktionen für den gesamten Workflow PLAN -> CREATE -> VERIFY -> REMEDIATE.
Installation
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 |
Automatisierte Vertragsüberprüfung, -erkennung und -behebung in mehreren Sprachen mithilfe formaler Vorbedingungen, Nachbedingungen und Invarianten. Dieser Skill bietet sowohl Referenzdokumentation als auch Ausführungsfunktionen für den gesamten Workflow PLAN -> CREATE -> VERIFY -> REMEDIATE. Quelle: microck/ordinary-claude-skills.
Fakten (zitierbereit)
Stabile Felder und Befehle für KI/Such-Zitate.
- Installationsbefehl
npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract- Kategorie
- >_Produktivität
- Verifiziert
- —
- Erstes Auftreten
- 2026-02-01
- Aktualisiert
- 2026-02-18
Schnelle Antworten
Was ist design-by-contract?
Automatisierte Vertragsüberprüfung, -erkennung und -behebung in mehreren Sprachen mithilfe formaler Vorbedingungen, Nachbedingungen und Invarianten. Dieser Skill bietet sowohl Referenzdokumentation als auch Ausführungsfunktionen für den gesamten Workflow PLAN -> CREATE -> VERIFY -> REMEDIATE. Quelle: microck/ordinary-claude-skills.
Wie installiere ich design-by-contract?
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code oder Cursor
Wo ist das Quell-Repository?
https://github.com/microck/ordinary-claude-skills
Details
- Kategorie
- >_Produktivität
- Quelle
- user
- Erstes Auftreten
- 2026-02-01