GitHub repository: Karinza38/athena-language-server
Description: A language server for the Athena proof language