Candidates for agda-language-server

No candidates exist for agda-language-server. Upload one for this or another package?