diff --git a/.circleci/config.yml b/.circleci/config.yml
index e3efbd66..1318f3db 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -38,6 +38,12 @@ workflows:
       - prestate-reproducibility:
           version: "1.3.1"
           asterisc-commit: "25feabf"
+  instruction_check:
+    jobs:
+      - build-kona
+      - run-rv64-matching-tool:
+          requires:
+            - build-kona
 
 commands:
   checkout-with-monorepo:
@@ -414,3 +420,39 @@ jobs:
               echo "Prestate did not match expected"
               exit 1
             fi
+
+  build-kona:
+    docker:
+      - image: us-docker.pkg.dev/oplabs-tools-artifacts/images/ci-builder-rust:latest
+    steps:
+      - checkout
+      - run:
+          name: Clone Kona Repository
+          command: |
+            git clone git@github.com:op-rs/kona.git --depth 1
+      - run:
+          name: Build RISCV ELF
+          command: |
+            cd kona
+            just build-asterisc --bin kona --profile release-client-lto
+      - persist_to_workspace:
+          root: .
+          paths:
+            - kona/target/release-client-lto/kona
+
+  run-rv64-matching-tool:
+    docker:
+      - image: <<pipeline.parameters.ci_builder_image>>
+    steps:
+      - attach_workspace:
+          at: .
+      - run:
+          name: install_python_dep
+          command: |
+            python3 -m venv localenv
+            source localenv/bin/activate
+            pip3 install -r requirements.txt
+      - run:
+          name: Run RV64 matching tool
+          command: | 
+            python3 matching_tool.py /Users/minhyuk/Desktop/sunny/kona/target/release-client-lto/kona ./supported_targets/asterisc-v1.1.2.json