diff --git a/codex-v0.1.9-darwin-arm64 b/codex-v0.1.9-darwin-arm64
new file mode 100755
index 0000000..2a2ec03
Binary files /dev/null and b/codex-v0.1.9-darwin-arm64 differ
diff --git a/codex-v0.1.9-darwin-arm64.tar.gz b/codex-v0.1.9-darwin-arm64.tar.gz
new file mode 100644
index 0000000..4a07708
Binary files /dev/null and b/codex-v0.1.9-darwin-arm64.tar.gz differ
diff --git a/codex-v0.1.9-darwin-arm64.tar.gz.sha256 b/codex-v0.1.9-darwin-arm64.tar.gz.sha256
new file mode 100644
index 0000000..4c202d8
--- /dev/null
+++ b/codex-v0.1.9-darwin-arm64.tar.gz.sha256
@@ -0,0 +1 @@
+c1a32dc73c6b29eaf462442d93e3f657ef8076e84480409d6c40c64fa3e96bc4  codex-v0.1.9-darwin-arm64.tar.gz
diff --git a/index.js b/index.js
index 2e9b458..63599e9 100755
--- a/index.js
+++ b/index.js
@@ -226,7 +226,24 @@ async function isNodeRunning() {
     }
 }
 
+async function isCodexInstalled() {
+    try {
+        await runCommand('codex --version');
+        return true;
+    } catch (error) {
+        return false;
+    }
+}
+
 async function runCodex() {
+    // First check if Codex is installed
+    const isInstalled = await isCodexInstalled();
+    if (!isInstalled) {
+        console.log(showErrorMessage('Codex is not installed. Please install Codex first using option 1 from the main menu.'));
+        await showNavigationMenu();
+        return;
+    }
+
     const nodeAlreadyRunning = await isNodeRunning();
 
     if (nodeAlreadyRunning) {