Overthink Runtime Verification - Claude Code Skill