The following Lua language server seems to be the most actively maintain so it should be the first option used:
The following language server seems to work but appears to be less actively maintained: