design-by-contract
形式的な事前条件、事後条件、および不変条件を使用して、複数の言語にわたる契約の検証、検出、修復を自動化します。このスキルは、リファレンス ドキュメントと、完全な PLAN -> CREATE -> VERIFY -> REMEDIATE ワークフローの実行機能の両方を提供します。
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 |
形式的な事前条件、事後条件、および不変条件を使用して、複数の言語にわたる契約の検証、検出、修復を自動化します。このスキルは、リファレンス ドキュメントと、完全な PLAN -> CREATE -> VERIFY -> REMEDIATE ワークフローの実行機能の両方を提供します。 ソース: microck/ordinary-claude-skills。
引用可能な情報
AI/検索での引用用の安定したフィールドとコマンド。
- インストールコマンド
npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract- カテゴリ
- >_生産性
- 認証済み
- —
- 初回登録
- 2026-02-01
- 更新日
- 2026-02-18
クイックアンサー
design-by-contract とは？
形式的な事前条件、事後条件、および不変条件を使用して、複数の言語にわたる契約の検証、検出、修復を自動化します。このスキルは、リファレンス ドキュメントと、完全な PLAN -> CREATE -> VERIFY -> REMEDIATE ワークフローの実行機能の両方を提供します。 ソース: microck/ordinary-claude-skills。
design-by-contract のインストール方法は？
ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます このコマンドをコピーして実行します: npx skills add https://github.com/microck/ordinary-claude-skills --skill design-by-contract インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code や Cursor で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/microck/ordinary-claude-skills
詳細
- カテゴリ
- >_生産性
- ソース
- user
- 初回登録
- 2026-02-01