diff --git a/scripts/pull_from_upstream.sh b/scripts/pull_from_upstream.sh
deleted file mode 100755
index 183d258837eb8..0000000000000
--- a/scripts/pull_from_upstream.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/bash
-
-set -eux
-
-cd $1
-
-TOOLCHAIN_DATE=$2
-COMMIT_HASH=$3
-
-# The checkout and pull itself needs to happen in sync with features/verify-rust-std
-# Often times rust is going to be ahead of kani in terms of the toolchain, and both need to point to
-# the same commit
-SYNC_BRANCH="sync-$TOOLCHAIN_DATE" && echo "--- Fork branch: ${SYNC_BRANCH} ---"
-# # 1. Update the upstream/master branch with the latest changes
-git fetch upstream
-git checkout $COMMIT_HASH
-
-# # 2. Update the subtree branch
-git subtree split --prefix=library --onto subtree/library -b subtree/library
-# 3. Update main
-git fetch origin
-git checkout -b ${SYNC_BRANCH} origin/main
-git subtree merge --prefix=library subtree/library --squash
-
-# TODO: Update origin/subtree/library as well after the process by pushing to it
diff --git a/scripts/run_update_with_checks.sh b/scripts/run_update_with_checks.sh
deleted file mode 100755
index e7419f34d4901..0000000000000
--- a/scripts/run_update_with_checks.sh
+++ /dev/null
@@ -1,185 +0,0 @@
-#!/bin/bash
-
-set -eux
-
-BASE_HOME_DIR="$(pwd)"
-
-# Set variables for verify-rust-std
-# NOTE: This process assumes that verify-rust-std is updated automatically
-# and independently
-REPO_OWNER="model-checking"
-REPO_NAME="kani"
-BRANCH_NAME="features/verify-rust-std"
-TOOLCHAIN_FILE="rust-toolchain.toml"
-
-# Set base as verify-rust-std's origin/main branch
-BASE_REPO="https://github.com/model-checking/verify-rust-std.git"
-
-# Create a temporary directory
-TEMP_HOME_DIR=$(mktemp -d)
-
-# Clone the repository into the temporary directory
-git clone "$BASE_REPO" "$TEMP_HOME_DIR"
-cd $TEMP_HOME_DIR
-
-# Function to extract commit hash and date from rustc version
-get_rustc_info() {
-    local rustc_output=$(rustc --version --verbose)
-    local commit_hash=$(echo "$rustc_output" | grep 'commit-hash' | awk '{print $2}')
-    local commit_date=$(echo "$rustc_output" | grep 'commit-date' | awk '{print $2}')
-
-    if [ -z "$commit_hash" ] || [ -z "$commit_date" ]; then
-        echo "Error: Could not extract commit hash or date from rustc output."
-        exit 1
-    fi
-
-    echo "$commit_hash:$commit_date"
-}
-
-# Read the toolchain date from the rust-toolchain.toml file
-read_toolchain_date() {
-    local toolchain_file=$TOOLCHAIN_FILE
-
-    if [ ! -f "$toolchain_file" ]; then
-        echo "Error: $toolchain_file not found in the working directory." >&2
-        return 1
-    fi
-
-    local toolchain_date
-    toolchain_date=$(grep -oP 'channel = "nightly-\K\d{4}-\d{2}-\d{2}' ./rust-toolchain.toml)
-
-    if [ -z "$toolchain_date" ]; then
-        echo "Error: Could not extract date from $toolchain_file" >&2
-        return 1
-    fi
-
-    echo "$toolchain_date"
-}
-
-# Check if a path is provided as an argument
-# This is useful for local processing and debugging
-if [ $# -eq 1 ]; then
-    REPO_PATH="$1"
-    echo "Using provided repository path: $REPO_PATH"
-
-    # Ensure the provided path exists and is a git repository
-    if [ ! -d "$REPO_PATH/.git" ]; then
-        echo "Error: Provided path is not a git repository."
-        exit 1
-    fi
-
-    pushd $REPO_PATH
-    git switch $BRANCH_NAME
-
-    # Get rustc info
-    RUSTC_INFO=$(get_rustc_info)
-    TOOLCHAIN_DATE=$(read_toolchain_date)
-
-    if [ $? -ne 0 ]; then
-    exit 1
-    fi
-    COMMIT_HASH=$(echo $RUSTC_INFO | cut -d':' -f1)
-    RUST_DATE=$(echo $RUSTC_INFO | cut -d':' -f2)
-    popd
-else
-    # Create a temporary directory
-    TEMP_KANI_DIR=$(mktemp -d)
-    echo "Created temporary directory: $TEMP_KANI_DIR"
-
-    # Clone the repository into the temporary directory
-    echo "Cloning repository..."
-    git clone --branch "$BRANCH_NAME" --depth 1 "https://github.com/$REPO_OWNER/$REPO_NAME.git" "$TEMP_KANI_DIR"
-
-    # Move into this temp dir to read the toolchain
-    cd $TEMP_KANI_DIR
-
-    if [ $? -ne 0 ]; then
-        echo "Error: Failed to clone the repository."
-        rm -rf "$TEMP_KANI_DIR"
-        exit 1
-    fi
-
-    # Get rustc info
-    RUSTC_INFO=$(get_rustc_info)
-    TOOLCHAIN_DATE=$(read_toolchain_date)
-
-    COMMIT_HASH=$(echo $RUSTC_INFO | cut -d':' -f1)
-    RUST_DATE=$(echo $RUSTC_INFO | cut -d':' -f2)
-
-    # Clean up the temporary directory
-    rm -rf "$TEMP_KANI_DIR"
-fi
-
-if [ -z "$COMMIT_HASH" ]; then
-    echo "Could not find commit hash in rust-toolchain.toml"
-    exit 1
-fi
-
-if [ -z "$RUST_DATE" ]; then
-    echo "Could not find date in rust-toolchain.toml"
-    exit 1
-fi
-
-# Go to temp dir
-cd $TEMP_HOME_DIR
-
-echo "Rust commit hash found: $COMMIT_HASH"
-echo "Rust date found: $TOOLCHAIN_DATE"
-
-# Ensure we have the rust-lang/rust repository as a remote named "upstream"
-if ! git remote | grep -q '^upstream$'; then
-    echo "Adding rust-lang/rust as upstream remote"
-    git remote add upstream https://github.com/rust-lang/rust.git
-fi
-
-
-echo "------------------------------------"
-# Call the first script to update the subtree
-echo "Update subtree in Main"
-source $BASE_HOME_DIR/scripts/pull_from_upstream.sh "$TEMP_HOME_DIR" $TOOLCHAIN_DATE $COMMIT_HASH
-OUTPUT_SCRIPT1=("$?")
-if [ "${#OUTPUT_SCRIPT1[@]}" -eq 0 ]; then
-    echo "script1.sh failed to run."
-    exit 1
-else
-    echo "script1.sh completed successfully."
-fi
-
-# Call the second script
-echo "Running script2.sh..."
-source $BASE_HOME_DIR/scripts/update_toolchain_date.sh "$TEMP_HOME_DIR" "$TOOLCHAIN_DATE"
-OUTPUT_SCRIPT2=("$?")
-if [ "${#OUTPUT_SCRIPT2[@]}" -eq 0 ]; then
-    echo "script2.sh failed to run."
-    exit 1
-else
-    echo "Update toolchain ran successfully."
-fi
-
-# Call the third script
-echo "Running script3.sh..."
-source $BASE_HOME_DIR/scripts/check_rustc.sh "$TEMP_HOME_DIR"
-OUTPUT_SCRIPT3=("$?")
-if [ "${#OUTPUT_SCRIPT3[@]}" -eq 0 ]; then
-    echo "script3.sh failed to run."
-    exit 1
-else
-    echo "script3.sh completed successfully."
-fi
-
-# Call the fourth script
-echo "Running script4.sh..."
-source $BASE_HOME_DIR/scripts/check_kani.sh "$TEMP_HOME_DIR"
-OUTPUT_SCRIPT4=("$?")
-if [ "${#OUTPUT_SCRIPT4[@]}" -eq 0 ]; then
-    echo "script4.sh failed to run."
-    exit 1
-else
-    echo "script4.sh completed successfully."
-fi
-
-# TODO: Issue a Pull Request from the sync branch of the temp repo
-# cd $TEMP_HOME_DIR
-
-# Remove the temporary directory
-# rm -rf "$TEMP_DIR"
diff --git a/scripts/update_toolchain_date.sh b/scripts/update_toolchain_date.sh
deleted file mode 100755
index 21798932dfd3f..0000000000000
--- a/scripts/update_toolchain_date.sh
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/bash
-
-# Check if the correct number of args
-if [[ $# -ne 2 ]]; then
-    echo "Usage: $0 <toolchain_file_path> <new_date>"
-    echo "$#"
-    exit 1
-fi
-
-toolchain_file="$1/rust-toolchain.toml"
-new_date="$2"
-
-# Check if the toolchain file exists
-if [[ ! -f "$toolchain_file" ]]; then
-    echo "Error: Toolchain file does not exist."
-    exit 1
-fi
-
-# Use sed to replace the date
-sed -i.bak -E 's/^channel = "nightly-[0-9]{4}-[0-9]{2}-[0-9]{2}"$/channel = "nightly-'"$new_date"'"/' "$toolchain_file"
-
-# Check if the replacement was succesful
-if [[ $? -eq 0 ]]; then
-    echo "Date succesfully updated in $toolchain_file"
-    rm "${toolchain_file}.bak"
-
-    git commit -am "Update toolchain to $new_date"
-else
-    echo "Error: Failed to update the file in $toolchain_file"
-    exit 1
-fi