Overthink Runtime Verification | Claude Code Skill