diff --git a/.gitignore b/.gitignore
index 6907758..829aa1c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ pnpm-debug.log*
 PragmataPro-Mono-Liga-Regular-Nerd-Font-Complete.woff2
 *.agdai
 _build
+.direnv
diff --git a/utils/agda.Dockerfile b/utils/agda.Dockerfile
index 7355275..e290126 100644
--- a/utils/agda.Dockerfile
+++ b/utils/agda.Dockerfile
@@ -1,4 +1,8 @@
-FROM haskell:9
+FROM haskell:9-buster
 RUN cabal update
-RUN cabal install Agda-2.6.4
+RUN cabal install --global Agda-2.6.4
 
+FROM debian:buster
+COPY --from=0 /root/.cabal/bin/agda /usr/bin/agda
+COPY --from=0 /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib
+CMD ["agda", "--interactive"]
diff --git a/utils/builder.Dockerfile b/utils/builder.Dockerfile
new file mode 100644
index 0000000..7fbf125
--- /dev/null
+++ b/utils/builder.Dockerfile
@@ -0,0 +1,5 @@
+FROM git.mzhang.io/michael/agda:2.6.4-x86_64
+
+FROM node:18
+COPY --from=0 /usr/bin/agda /usr/bin/agda
+COPY --from=0 /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib