A Verus compiler front-end for IDEs (derived from rust-analyzer) - View it on GitHub