Preprint
Sep 2026
Large Language Models and Language Server Protocol: a match made in context
Eiffel-tools, a language server protocol (LSP) implementation for the Eiffel programming language that uses Large Language Models (LLMs) to aid the development of statically verified software, is introduced.
Alessandro Schena, I. Mustafin, Julia Kotovich
· 0 citations