GitHub repository: mmcloughlin/verus-analyzer
Description: A Verus compiler front-end for IDEs (derived from rust-analyzer)