storm-mode

A plugin that utilizes the storm compiler as an LSP server,
providing syntax highlighting, error checking, and documentation
automatically and via simple commands. For more information see
https://storm-lang.org/