diff --git a/vimrc b/vimrc
index 603b13d..8e2cb83 100644
--- a/vimrc
+++ b/vimrc
@@ -225,7 +225,6 @@ lua <<EOF
       init_options = {
         semanticHighlighting = true,
       },
-      cmd = {"lean", "--server"},
     },
   }