FICHA · AUR

verus-analyzer-bin

Front-end do compilador Verus para IDEs, derivado do rust-analyzer

  • verus-language-server
  • LANGUAGE-SERVER
  • Desenvolvimento
  • Abre direto
  • Roda no terminal
codex · reviewed · 5 de jun. de 2026 descrição em pt-br · fallback

Descrição

Coordena diagnósticos e navegação da linguagem Verus para IDEs por um front end derivado do rust-analyzer. Desenvolvedores o configuram em editores para projetos Rust verificados; a ferramenta local lê código-fonte e caminhos de projeto.

Como rodar

verus-analyzer

Comandos: verus-analyzer

Permissões

Permissões ainda não analisadas para esta fonte.