Description
Coordinates Verus language diagnostics and navigation for IDEs through a rust-analyzer-derived front end. Developers configure it in editors for verified Rust projects; local tooling reads source code and project paths.
FICHA · AUR
verus-analyzer-bin
A Verus compiler front-end for IDEs (derived from rust-analyzer)
- verus-language-server
- LANGUAGE-SERVER
- Dev
- Launchable
- Runs in terminal
official+codex · reviewed · Jun 5, 2026 description in
en How to run
verus-analyzer
Commands: verus-analyzer
Permissions
Permissions not analysed for this source yet.