microsoft/multilspy: multispy is a lsp client library in Python intended to be used to build applications around language servers.
This repository hosts multilspy, a library developed as part of research conducted for NeruIPS 2023 paper titled “Monitor-Guided Decoding of…