design-by-contract - Claude Code Skill | AgentSkill