Enforcing Type Safety - Claude Code Skill for Developers