design-by-contract

@outlinedriven · 收录于 1 周前

Implement Design-by-Contract with formal preconditions, postconditions, and invariants. Use when crossing public API boundaries, guarding complex state invariants, or hardening untrusted inputs and integration seams.

场景接口联调防御性编程代码质量加固

适合你，如果需要在公共API边界或复杂状态上实施契约式设计

/ 下载安装

https://github.com/OutlineDriven/odin-claude-plugin/tree/main/skills/design-by-contract ↗

/ 通过 npx 安装 校验哈希

npx oh-my-skill add outlinedriven/odin-claude-plugin/design-by-contract

/ 通过 bash 安装

curl -fsSL https://oh-my-skill.com/install.sh | bash -s -- outlinedriven/odin-claude-plugin/design-by-contract

/ 已经装过?验证本机副本,不用重装

npx oh-my-skill verify outlinedriven/odin-claude-plugin/design-by-contract

安装目标可用 --agent / --scope 或 --to 明确指定;省略时只会在唯一已存在的 agent 目录上自动选择,零命中或多命中会停止并提示。content_hash 缺失或不一致均拒装。

28GitHub stars

~1K最小装载

~2.1K含声明引用

~2.1K文本包总量

镜像托管

登录即可评论;带「已验证安装」的,是发布者名下有本店的安装或持有记录。

…