design-by-contract
使用形式前置條件、後置條件和不變量跨多種語言自動進行合約驗證、檢測和修復。該技能為完整的計劃 -> 創建 -> 驗證 -> 修復工作流程提供參考文檔和執行功能。
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 |
使用形式前置條件、後置條件和不變量跨多種語言自動進行合約驗證、檢測和修復。該技能為完整的計劃 -> 創建 -> 驗證 -> 修復工作流程提供參考文檔和執行功能。 來源：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？
使用形式前置條件、後置條件和不變量跨多種語言自動進行合約驗證、檢測和修復。該技能為完整的計劃 -> 創建 -> 驗證 -> 修復工作流程提供參考文檔和執行功能。 來源：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 中使用
這個 Skill 的原始碼在哪？
https://github.com/microck/ordinary-claude-skills
詳情
- 分類
- >_效率工具
- 來源
- user
- 收錄時間
- 2026-02-01