GitHub repository: sharonolea/vscode-python-smt
Description: Python extension for Visual Studio Code