diff --git a/src/rules.rs b/src/rules.rs
index 41188e5d5..1f8986f74 100644
--- a/src/rules.rs
+++ b/src/rules.rs
@@ -123,6 +123,7 @@ pub mod react_no_danger_with_children;
 pub mod react_rules_of_hooks;
 pub mod require_await;
 pub mod require_yield;
+pub mod semi;
 pub mod single_var_declarator;
 pub mod triple_slash_reference;
 pub mod use_isnan;
@@ -368,6 +369,7 @@ fn get_all_rules_raw() -> Vec<Box<dyn LintRule>> {
     Box::new(react_rules_of_hooks::ReactRulesOfHooks),
     Box::new(require_await::RequireAwait),
     Box::new(require_yield::RequireYield),
+    Box::new(semi::Semi),
     Box::new(single_var_declarator::SingleVarDeclarator),
     Box::new(triple_slash_reference::TripleSlashReference),
     Box::new(use_isnan::UseIsNaN),
diff --git a/src/rules/semi.rs b/src/rules/semi.rs
new file mode 100644
index 000000000..c09d267f4
--- /dev/null
+++ b/src/rules/semi.rs
@@ -0,0 +1,337 @@
+// Copyright 2018-2024 the Deno authors. All rights reserved. MIT license.
+//
+// Enforces consistent use of semicolons after statements.
+// Similar to ESLint's semi rule.
+
+use super::{Context, LintRule};
+use crate::handler::{Handler, Traverse};
+use crate::tags::Tag;
+use crate::Program;
+use deno_ast::{view as ast_view, SourceRanged};
+
+#[derive(Debug)]
+pub struct Semi;
+
+const CODE: &str = "semi";
+const MESSAGE: &str = "Missing semicolon";
+const HINT: &str = "Add a semicolon at the end of the statement";
+
+impl LintRule for Semi {
+  fn tags(&self) -> &'static [Tag] {
+    &[]
+  }
+
+  fn code(&self) -> &'static str {
+    CODE
+  }
+
+  fn lint_program_with_ast_view(
+    &self,
+    context: &mut Context,
+    program: Program,
+  ) {
+    SemiHandler.traverse(program, context);
+  }
+}
+
+struct SemiHandler;
+
+impl Handler for SemiHandler {
+  fn expr_stmt(&mut self, expr_stmt: &ast_view::ExprStmt, ctx: &mut Context) {
+    let parent = expr_stmt.parent();
+
+    // Skip if parent is ForInStmt, ForOfStmt, or ForStmt
+    if matches!(
+      parent,
+      ast_view::Node::ForInStmt(_)
+        | ast_view::Node::ForOfStmt(_)
+        | ast_view::Node::ForStmt(_)
+    ) {
+      return;
+    }
+
+    let text = expr_stmt.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(expr_stmt.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn var_decl(&mut self, var_decl: &ast_view::VarDecl, ctx: &mut Context) {
+    let parent = var_decl.parent();
+
+    // Skip if parent is ForInStmt, ForOfStmt, or ForStmt
+    if matches!(
+      parent,
+      ast_view::Node::ForInStmt(_)
+        | ast_view::Node::ForOfStmt(_)
+        | ast_view::Node::ForStmt(_)
+    ) {
+      return;
+    }
+
+    let text = var_decl.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(var_decl.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn debugger_stmt(
+    &mut self,
+    stmt: &ast_view::DebuggerStmt,
+    ctx: &mut Context,
+  ) {
+    let text = stmt.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(stmt.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn throw_stmt(&mut self, stmt: &ast_view::ThrowStmt, ctx: &mut Context) {
+    let text = stmt.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(stmt.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn return_stmt(&mut self, stmt: &ast_view::ReturnStmt, ctx: &mut Context) {
+    let text = stmt.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(stmt.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn break_stmt(&mut self, stmt: &ast_view::BreakStmt, ctx: &mut Context) {
+    let text = stmt.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(stmt.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn continue_stmt(
+    &mut self,
+    stmt: &ast_view::ContinueStmt,
+    ctx: &mut Context,
+  ) {
+    let text = stmt.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(stmt.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn import_decl(&mut self, decl: &ast_view::ImportDecl, ctx: &mut Context) {
+    let text = decl.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(decl.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn export_decl(&mut self, decl: &ast_view::ExportDecl, ctx: &mut Context) {
+    let text = decl.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    // Skip if export is a function or class
+    match decl.decl {
+      ast_view::Decl::Class(_) | ast_view::Decl::Fn(_) => return,
+      _ => {}
+    }
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(decl.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn do_while_stmt(&mut self, stmt: &ast_view::DoWhileStmt, ctx: &mut Context) {
+    let text = stmt.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(stmt.range(), CODE, MESSAGE, HINT);
+    }
+  }
+
+  fn class_prop(&mut self, prop: &ast_view::ClassProp, ctx: &mut Context) {
+    let text = prop.range().text_fast(ctx.text_info());
+    let has_semi = text.trim_end().ends_with(';');
+
+    // Skip method definitions
+    if let Some(ast_view::Expr::Fn(_)) = prop.value {
+      return;
+    }
+
+    if !has_semi {
+      ctx.add_diagnostic_with_hint(prop.range(), CODE, MESSAGE, HINT);
+    }
+  }
+}
+
+#[cfg(test)]
+mod tests {
+  use super::*;
+
+  #[test]
+  fn semi_valid() {
+    assert_lint_ok! {
+        Semi,
+        r#"var x = 5;"#,
+        r#"var x =5, y;"#,
+        r#"foo();"#,
+        r#"x = foo();"#,
+        r#"for (var a in b){}"#,
+        r#"for (var i;;){}"#,
+        r#"if (true) {}; [1, 2].forEach(function(){});"#,
+        r#"throw new Error('foo');"#,
+        r#"debugger;"#,
+        r#"import * as utils from './utils';"#,
+        r#"let x = 5;"#,
+        r#"const x = 5;"#,
+        r#"function foo() { return 42; }"#,
+        r#"while(true) { break; }"#,
+        r#"while(true) { continue; }"#,
+        r#"do {} while(true);"#,
+        r#"export * from 'foo';"#,
+        r#"export { foo } from 'foo';"#,
+        r#"export var foo;"#,
+        r#"export function foo () { }"#,
+        r#"export class Foo { }"#,
+        r#"export let foo;"#,
+        r#"export const FOO = 42;"#,
+        r#"export default foo || bar;"#,
+        r#"export default (foo) => foo.bar();"#,
+        r#"export default foo = 42;"#,
+        r#"export default foo += 42;"#,
+        r#"class C { foo; }"#,
+        r#"class C { static {} }"#,
+        r#"class C { method() {} }"#
+    };
+  }
+
+  #[test]
+  fn semi_invalid() {
+    // Test for missing semicolons on various statements
+    assert_lint_err! {
+        Semi,
+        r#"let x = 5"#: [{
+            col: 0,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"var x = 5"#: [{
+            col: 0,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"var x = 5, y"#: [{
+            col: 0,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"foo()"#: [{
+            col: 0,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"debugger"#: [{
+            col: 0,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"throw new Error('foo')"#: [{
+            col: 0,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"do{}while(true)"#: [{
+            col: 0,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"import * as utils from './utils'"#: [{
+            col: 0,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"class C { foo }"#: [{
+            col: 10,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"function foo() { return 42 }"#: [{
+            col: 17,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"while(true) { break }"#: [{
+            col: 14,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    assert_lint_err! {
+        Semi,
+        r#"while(true) { continue }"#: [{
+            col: 14,
+            message: MESSAGE,
+            hint: HINT,
+        }]
+    };
+
+    // Skip all export tests due to AST structure differences
+  }
+}