Add lean4-lsp: Lean 4 language server#93

alok wants to merge 1 commit intoanthropics:mainanthropics/claude-plugins-official:mainfrom

alok:lean4-lspalok/claude-plugins-official:lean4-lspCopy head branch name to clipboard