VSCode plugin to verify Rust programs with the Prusti verifier.
This plugin is based on a fork of Rust Assist.
Inline Code Diagnostics
This extension automatically provides inline diagnostics for Rust by calling
This can automatically run on save and on startup. See the related flag in the settings.
Basic code-completion snippets are provided for Prusti annotations.