diff --git a/src/oj/api.ts b/src/oj/api.ts
index 603160f..8de6c73 100644
--- a/src/oj/api.ts
+++ b/src/oj/api.ts
@@ -22,6 +22,7 @@ function filterResult(result: Problem) {
     author: result.created_by.username,
     allow_flowchart: result.allow_flowchart,
     show_flowchart: result.show_flowchart,
+    has_ast_rules: result.has_ast_rules,
   }
   if (result.my_status === null || result.my_status === undefined) {
     newResult.status = "not_test"
diff --git a/src/oj/problem/components/ProblemListTitle.vue b/src/oj/problem/components/ProblemListTitle.vue
index c2d7d0e..345b7c4 100644
--- a/src/oj/problem/components/ProblemListTitle.vue
+++ b/src/oj/problem/components/ProblemListTitle.vue
@@ -1,5 +1,5 @@
 <script lang="ts" setup>
-import { ProblemFiltered } from "utils/types"
+import type { ProblemFiltered } from "utils/types"
 import { Icon } from "@iconify/vue"
 
 defineProps<{
@@ -19,5 +19,10 @@ defineProps<{
       width="18"
       icon="vscode-icons:file-type-graphql"
     />
+    <Icon
+      v-if="problem.has_ast_rules"
+      width="18"
+      icon="vscode-icons:file-type-light-todo"
+    />
   </n-flex>
 </template>
diff --git a/src/oj/problem/list.vue b/src/oj/problem/list.vue
index 0ba8804..6e278de 100644
--- a/src/oj/problem/list.vue
+++ b/src/oj/problem/list.vue
@@ -45,6 +45,7 @@ const sortOptions = [
   { label: "最多通过", value: "-accepted_number" },
   { label: "最少通过", value: "accepted_number" },
   { label: "画流程图", value: "flowchart" },
+  { label: "语法检查", value: "ast" },
 ]
 
 const router = useRouter()
@@ -240,6 +241,7 @@ function rowProps(row: ProblemFiltered) {
               style="width: 120px"
               v-model:value="query.sort"
               :options="sortOptions"
+              :dropdown-style="{ maxHeight: 'unset' }"
             />
           </n-form-item>
           <n-form-item>
diff --git a/src/utils/types.ts b/src/utils/types.ts
index 1e44904..799ce3c 100644
--- a/src/utils/types.ts
+++ b/src/utils/types.ts
@@ -138,6 +138,7 @@ export interface Problem {
   flowchart_hint?: string
   show_flowchart?: boolean
   ast_rules?: { [key: string]: { engine: string; target?: string; min?: number; max?: number; message: string }[] } | null
+  has_ast_rules?: boolean
 }
 
 export type AdminProblem = Problem & AlterProblem
@@ -175,6 +176,7 @@ export interface ProblemFiltered {
   author: string
   allow_flowchart: boolean
   show_flowchart: boolean
+  has_ast_rules: boolean
 }
 
 export interface AdminProblemFiltered {