diff --git a/modules/home/doom/static/config.el b/modules/home/doom/static/config.el
index 9043ec9..1746110 100644
--- a/modules/home/doom/static/config.el
+++ b/modules/home/doom/static/config.el
@@ -244,6 +244,8 @@
          (bash-ts-mode . lsp-deferred)
          (json-ts-mode . lsp-deferred)))
 
+(setq auto-mode-alist (cons '("\\.smt$" . smtlib-mode) auto-mode-alist))
+(autoload 'smtlib-mode "smtlib" "Major mode for SMTLIB" t)
 
 (let ((config-dir (expand-file-name "config.d" doom-user-dir)))
   (when (file-directory-p config-dir)
diff --git a/modules/home/doom/static/packages.el b/modules/home/doom/static/packages.el
index e08b8f4..a2d21e1 100644
--- a/modules/home/doom/static/packages.el
+++ b/modules/home/doom/static/packages.el
@@ -62,6 +62,13 @@
            :local-repo "ws-butler")
   :pin "9ee5a7657a22e836618813c2e2b64a548d27d2ff")
 
+(package! smtlib-mode
+  :recipe (:host github
+           :repo "chsticksel/smtlib-mode"
+           :branch "master"
+           :local-repo "smtlib-mode")
+  :pin "ed387e63b64091228e6a8a429b02b8fba165f5b5")
+
 (package! direnv)
 (package! pdf-tools)
 (package! eww)