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