VS Code extension to verify Rust programs with the Prusti verifier. - View it on GitHub