Solidity Post-Change Verification | Claude Code Skill