Сообщить о проблеме

Карточка: lean-lsp-mcp

Что делали и что пошло не так, от пяти знаков