diff --git a/examples/README.md b/examples/README.md
new file mode 100644
index 0000000..27ec1da
--- /dev/null
+++ b/examples/README.md
@@ -0,0 +1,6 @@
+[sample-book.txt](lean-bench/examples/sample-book.txt)
+小型示例数学文本：
+- 使用 form-feed 模拟分页。
+- 包含定义、定理和习题。
+- 可用于演示 detect 或 ingest。
+- 避免每次都依赖真实 PDF。
\ No newline at end of file