diff --git a/vim/plugin/coq.lua b/vim/plugin/coq.lua
new file mode 100644
index 0000000..7c77bcc
--- /dev/null
+++ b/vim/plugin/coq.lua
@@ -0,0 +1,6 @@
+xpcall(function()
+	require("coq")
+	vim.api.nvim_command("command COQ COQnow --shut-up")
+end, function()
+	vim.api.nvim_command("command COQ echoerr 'COQ not loaded.'")
+end)
diff --git a/vim/plugin/lsp.lua b/vim/plugin/lsp.lua
index 91427f0..ba07549 100644
--- a/vim/plugin/lsp.lua
+++ b/vim/plugin/lsp.lua
@@ -1,5 +1,14 @@
 local config = require 'lspconfig'
 
+local ensure_capabilities
+xpcall(function()
+	ensure_capabilities = require("coq").lsp_ensure_capabilities
+end, function()
+	function ensure_capabilities(...)
+		return ...
+	end
+end)
+
 local default = { on_attach = require 'lsp.attach' }
 for _, language in ipairs {
 	"html",
@@ -11,5 +20,5 @@ for _, language in ipairs {
 	"standardrb",
 	"zls",
 } do
-	config[language].setup(default)
+	config[language].setup(ensure_capabilities(default))
 end
diff --git a/vim/plugin/packer.lua b/vim/plugin/packer.lua
index d10a5be..421e6b2 100644
--- a/vim/plugin/packer.lua
+++ b/vim/plugin/packer.lua
@@ -32,6 +32,9 @@ use {
 	};
 	'folke/twilight.nvim';
 	'leafo/moonscript-vim';
+	'ms-jpq/coq_nvim';
+	'ms-jpq/coq.artifacts';
+	'ms-jpq/coq.thirdparty';
 	'neovim/nvim-lspconfig';
 	'pigpigyyy/Yuescript-vim';
 	'vim-scripts/openscad.vim';