diff --git a/.github/workflows/rmc.yml b/.github/workflows/rmc.yml
index 49a7b7b4728f..d5d0c651972d 100644
--- a/.github/workflows/rmc.yml
+++ b/.github/workflows/rmc.yml
@@ -20,6 +20,9 @@ jobs:
 
       - name: Install CBMC
         run: ./scripts/setup/${{ matrix.os }}/install_cbmc.sh
+      
+      - name: Install cbmc-viewer
+        run: ./scripts/setup/install_viewer.sh 2.5
 
       - name: Install Rust toolchain
         run: ./scripts/setup/install_rustup.sh
diff --git a/scripts/setup/install_viewer.sh b/scripts/setup/install_viewer.sh
new file mode 100755
index 000000000000..add257019eda
--- /dev/null
+++ b/scripts/setup/install_viewer.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
+set -eux
+
+# Install cbmc-viewer
+if [[ $# -eq 1 ]] ; then
+wget https://github.com/awslabs/aws-viewer-for-cbmc/releases/download/viewer-$1/cbmc_viewer-$1-py3-none-any.whl \
+  && sudo python3 -m pip install --upgrade cbmc_viewer-$1-py3-none-any.whl
+else
+  echo "Error: Specify the version to install"
+  exit 1
+fi
diff --git a/scripts/setup/macos-10.15/install_deps.sh b/scripts/setup/macos-10.15/install_deps.sh
index ea346a820752..5b98255e5c19 100755
--- a/scripts/setup/macos-10.15/install_deps.sh
+++ b/scripts/setup/macos-10.15/install_deps.sh
@@ -6,3 +6,4 @@ set -eux
 
 # Update tools in macOS 10.15 via `brew`
 brew update
+brew install ctags
diff --git a/scripts/setup/ubuntu-20.04/install_deps.sh b/scripts/setup/ubuntu-20.04/install_deps.sh
index 1ed1fca226a5..b7f38342fabc 100755
--- a/scripts/setup/ubuntu-20.04/install_deps.sh
+++ b/scripts/setup/ubuntu-20.04/install_deps.sh
@@ -9,6 +9,7 @@ sudo apt-get --yes update \
   && sudo DEBIAN_FRONTEND=noninteractive apt-get install --no-install-recommends --yes \
   bison \
   cmake \
+  ctags \
   curl \
   flex \
   g++ \