varphi-lsp-server
This package was deleted from PyPI around 2025-02-05. Installing fails with:
$ pip3 install varphi-lsp-server
ERROR: Could not find a version that satisfies the requirement varphi-lsp-server (from versions: none)
ERROR: No matching distribution found for varphi-lsp-server

Install through StableBuild
You can install this package from StableBuild's PyPI snapshots from before the version was deleted:
Sign up for StableBuild to get an API key (it's free and takes <60 seconds!)