GitHub repository: AthenaFoundation/athena-language-server
Primary language: Rust
Description: A language server for the Athena proof language