diff --git a/pyk/Dockerfile b/pyk/Dockerfile
deleted file mode 100644
index 550a3ea313..0000000000
--- a/pyk/Dockerfile
+++ /dev/null
@@ -1,21 +0,0 @@
-ARG K_DISTRO=jammy
-ARG K_VERSION
-FROM runtimeverificationinc/kframework-k:ubuntu-${K_DISTRO}-${K_VERSION}
-
-ARG PYTHON_VERSION=3.10
-
-RUN    apt-get -y update             \
-    && apt-get -y install            \
-         curl                        \
-         graphviz                    \
-         python${PYTHON_VERSION}     \
-         python${PYTHON_VERSION}-dev \
-    && apt-get -y clean
-
-RUN    curl -sSL https://install.python-poetry.org | POETRY_HOME=/usr python3 - \
-    && poetry --version
-
-ARG USER_ID=9876
-ARG GROUP_ID=9876
-RUN    groupadd -g ${GROUP_ID} user                     \
-    && useradd -m -u ${USER_ID} -s /bin/sh -g user user