Rust Unsafe Checker | Claude Code Skill for Soundness