The PyCharm plugin was difficult to create. I worry that VSCode will be more difficult, since pyright (the tool that powers VSCode's Python support) doesn't support any plugins. While it's an excellent type checker, that makes things pretty rough from an implementation standpoint here.