Worked on the verus-lang/verus repository to address a stability issue in cargo-verus, focusing on dependency management and error handling using Rust. Implemented a fix that replaced dependency-name-based keys with PackageId to uniquely identify crates, resolving panics caused by duplicate local import names within complex Cargo workspaces. This approach disambiguated crates that shared names but differed by source or version, improving both runtime stability and build reliability. Validated the solution against real-world workspace scenarios, including renamed dependencies and transitive members, ensuring robust handling of edge cases. Demonstrated proficiency in Rust and Cargo by enhancing maintainability and reliability for verus projects.