lean-lsp-mcp — history · Wellknown