DEV Community

Cover image for 🚀 Neovim + COQ + Mason + LSP: Mini Guide
Alberto Barrago
Alberto Barrago

Posted on

🚀 Neovim + COQ + Mason + LSP: Mini Guide

#neovim #tooling #cli #coolthing

This guide explains how to properly set up COQ.nvim autocomplete
with Mason and LSP servers in Neovim. It includes the most
common pitfalls and a working configuration.

🔧 1. Install Required Plugins

Make sure you have:

  • ms-jpq/coq_nvim
  • ms-jpq/coq.artifacts (optional, extra completions)
  • williamboman/mason.nvim
  • williamboman/mason-lspconfig.nvim
  • neovim/nvim-lspconfig

Example (lazy.nvim):

{
  "ms-jpq/coq_nvim",
  branch = "coq",
},
{
  "ms-jpq/coq.artifacts",
  branch = "artifacts",
},
{
  "williamboman/mason.nvim",
  config = true,
},
{
  "williamboman/mason-lspconfig.nvim",
  dependencies = { "neovim/nvim-lspconfig" },
},
Enter fullscreen mode Exit fullscreen mode

⚡ 2. Enable COQ Auto-Start

COQ does not start automatically unless configured.

vim.g.coq_settings = { auto_start = 'shut-up' }
Enter fullscreen mode Exit fullscreen mode

Alternatively, use manually later:

:COQnow
Enter fullscreen mode Exit fullscreen mode

🧠 3. Correct Working LSP + COQ Setup 

require("mason").setup()

local coq = require("coq")

require("mason-lspconfig").setup({
    ensure_installed = { "pyright", "jdtls", "dockerls", "elixirls", "ts_ls" },
    automatic_installation = true,

    handlers = {
        function(server_name)
            require("lspconfig")[server_name].setup(
                coq.lsp_ensure_capabilities({})
            )
        end,

        ["elixirls"] = function()
            require("lspconfig").elixirls.setup(
                coq.lsp_ensure_capabilities({
                    settings = {
                        flags = {
                            debounce_text_changes = 150,
                        },
                        elixirLS = {
                            dialyzerEnabled = false,
                            fetchDeps = false,
                        }
                    }
                })
            )
        end,
    },
})
Enter fullscreen mode Exit fullscreen mode

❗ 4. What Not To Do

❌ Do NOT use omnifunc with COQ 

autocmd FileType markdown setlocal omnifunc=coq#complete
Enter fullscreen mode Exit fullscreen mode

Remove this. COQ does not use omnifunc.

🧪 5. Verification Steps

✔ Check if LSPs are connected: 

:LspInfo
Enter fullscreen mode Exit fullscreen mode

✔ Check COQ status: 

:COQnow
Enter fullscreen mode Exit fullscreen mode

✔ Test autocomplete

Open a file and type --- completion should appear.

🐛 6. Common Issues & Fixes

❗ Autocomplete doesn't show up

  • COQ not started → :COQnow
  • LSP not attached → :LspInfo
  • Missing capabilities → use coq.lsp_ensure_capabilities()
  • Remove delayed init like vim.defer_fn

❗ Markdown has no completion

Install a Markdown LSP:

ensure_installed = { "marksman", ... }
Enter fullscreen mode Exit fullscreen mode

🎉 Done!

You now have a clean Neovim setup using COQ + Mason + LSP.

Top comments (0)