Автоматизированная проверка, обнаружение и исправление контрактов на нескольких языках с использованием формальных предварительных условий, постусловий и инвариантов. Этот навык предоставляет как справочную документацию, так и возможности выполнения для полного рабочего процесса ПЛАН -> СОЗДАНИЕ -> ВЕРИФИКАЦИЯ -> ИСПРАВЛЕНИЕ.
Быстро установите AI-навык design-by-contract в вашу среду разработки через командную строку
Источник: 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 |
Автоматизированная проверка, обнаружение и исправление контрактов на нескольких языках с использованием формальных предварительных условий, постусловий и инвариантов. Этот навык предоставляет как справочную документацию, так и возможности выполнения для полного рабочего процесса ПЛАН -> СОЗДАНИЕ -> ВЕРИФИКАЦИЯ -> ИСПРАВЛЕНИЕ. Источник: microck/ordinary-claude-skills.
Стабильные поля и команды для ссылок в AI/поиске.
npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contractАвтоматизированная проверка, обнаружение и исправление контрактов на нескольких языках с использованием формальных предварительных условий, постусловий и инвариантов. Этот навык предоставляет как справочную документацию, так и возможности выполнения для полного рабочего процесса ПЛАН -> СОЗДАНИЕ -> ВЕРИФИКАЦИЯ -> ИСПРАВЛЕНИЕ. Источник: microck/ordinary-claude-skills.
Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw
https://github.com/microck/ordinary-claude-skills