When writing Ada or SPARK in VS Code you can benefit from the following features:

- Syntax highlighting
- Outline
- Pop-up documentation when hovering on symbols
- Code completion proposals
- Navigation to definitions
- Find all references to an entity
- Find all calls to a subprogram
- Call hierarchy
- Refactoring

and [more](https://github.com/AdaCore/ada_language_server?tab=readme-ov-file#vs-code-extension)...
