GitHub repository: kind2-mc/kind2-language-server
Primary language: Java
Description: Kind 2 Language Server Protocol implementation