rtl-equivalence-checker: Claude Code and agent skill by arabelatso/skills-4-se | Verified Skill