coq.artifacts VS cmp-nvim-lsp

Maybe for snippets can use the same one from coq https://github.com/ms-jpq/coq.artifacts that aggregates various snippets on the internet.

From my experience, coq_nvim requires a bit on the order to call it on, in your config, you can add the auto_start option in it's setting if you don't care loading on demand. It also comes with its own snippets so having ultisnips would be useless here.

You need to add nvim-cmp and cmp-nvim-lsp

I had the exact problem recently with svelte and Astro. I opened an issue that never got any reply.: https://github.com/hrsh7th/cmp-nvim-lsp/issues/56

Plugins Needed: * nvim-lspconfig * nvim-cmp * cmp-nvim-lsp

-- need to install https://github.com/hrsh7th/cmp-nvim-lsp for server in pairs(servers) do lspconfig[server].setup { on_attach = on_attach, capabilities = require("cmp_nvim_lsp").default_capabilities(), settings = servers[server], } end ```

cmp-nvim-lsp: Completion source. Shows data send by the language server.

The default capabilities are from this plugin: https://github.com/hrsh7th/cmp-nvim-lsp

cmp-nvim-lsp: integração com LSP;

nvim-lspconfig is only for configuring the language-servers. You need to add the https://github.com/hrsh7th/cmp-nvim-lsp source to nvim-cmp in order to get lsp completions

Peeking at the code, it is explicitly called out in the function update_capabilities here

Yep. Make sure you have cmp-nvim-lsp installed, as well as an LSP server running.