Report a problem

Card: lean-lsp-mcp

What you did and what went wrong, at least five characters