Free Open Source CDN for lean-language-server
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/lean-language-server