Capability-based verifier for safe Rust clients of interior mutability - View it on GitHub