An LSP server for SMT-LIB files, with a VS Code extension for syntax highlighting and language support. - View it on GitHub