diff --git a/web/package.json b/web/package.json
index 0b7aef75..647fae62 100644
--- a/web/package.json
+++ b/web/package.json
@@ -72,6 +72,7 @@
     "@biomejs/biome": "^2.3.7",
     "@bufbuild/protobuf": "^2.10.1",
     "@types/d3": "^7.4.3",
+    "@types/hast": "^3.0.4",
     "@types/katex": "^0.16.7",
     "@types/leaflet": "^1.9.21",
     "@types/lodash-es": "^4.17.12",
diff --git a/web/pnpm-lock.yaml b/web/pnpm-lock.yaml
index 9a939601..762d7585 100644
--- a/web/pnpm-lock.yaml
+++ b/web/pnpm-lock.yaml
@@ -189,6 +189,9 @@ importers:
       '@types/d3':
         specifier: ^7.4.3
         version: 7.4.3
+      '@types/hast':
+        specifier: ^3.0.4
+        version: 3.0.4
       '@types/katex':
         specifier: ^0.16.7
         version: 0.16.7