New issue by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/issues/38077

Description:
### Package name

lean-language-server

### Package homepage

https://www.npmjs.com/package/lean-language-server

### Description

[Language Server Protocol](https://github.com/Microsoft/language-server-protocol) implementation for the [Lean theorem prover](https://leanprover.github.io/), version 3.

### Does the requested package meet the quality requirements?

System

### Is the requested package released?

Yes