╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ╚══════════════╝ ╚══════════╝ ╚══════════════╝ ╚══════════╝ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ file file file file read cache send tok tok tok tok tok tok file file file file read cache send tok tok tok tok tok tok ╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ╚══════════════╝ ╚══════════╝ ╚══════════════╝ ╚══════════╝ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ file file file file read cache send tok tok tok tok tok tok file file file file read cache send tok tok tok tok tok tok

Cách Hoạt Động

LeanCTX kiểm soát những gì
AI của bạn thấy.

LeanCTX là lớp context engineering cho các agent AI: một binary Rust nhỏ chạy cùng một vòng lặp trên mọi lần đọc, lệnh và tìm kiếm. Nó quyết định những gì agent của bạn đọc, ghi nhớ những gì chúng học được qua các phiên, bảo vệ những gì chúng chạm vào, chứng minh những gì chúng lưu trong sổ cái có chữ ký, và tái phát những gì chúng đã thấy. Các lần đọc được phân tích cấu trúc trên 26 ngôn ngữ và loại bỏ nhiễu, để những gì đến mô hình là có chủ đích, nén và có thể chứng minh. Bạn chỉ cần cài đặt một lần. Mọi thứ khác đều tự động.

Luồng dữ liệu

LeanCTX nằm ở đâu ?

LeanCTX nằm trên hai luồng. Trên luồng đọc, nó định hình những gì đi vào — các lần đọc tệp, tìm kiếm mã và đầu ra shell, được nén trước khi agent nhìn thấy chúng. Trên luồng truyền tải, một proxy cục bộ tùy chọn nằm giữa agent và model và nén mọi yêu cầu đi ra — prompt hệ thống, lịch sử đầy đủ và kết quả công cụ — với an toàn prompt-cache. Một loại bỏ những gì vào context; loại kia cắt giảm mọi yêu cầu bạn phải trả tiền. Model thấy cùng tín hiệu đó chỉ trong một phần token.

luồng dữ liệu: trước và sau

Không có lean-ctx:

Bạn  →  Công cụ AI  →  đọc tệp  (toàn bộ nội dung)  →  LLM xử lý mọi thứ

Với lean-ctx:

Bạn  →  Công cụ AI  →  lean-ctx nén  →  chỉ tín hiệu  →  LLM: Giảm 60–90% nhiễu
                           ├─ Sandbox PathJail + giới hạn kích thước
                           ├─ Nén nhận biết AST
                           ├─ Bộ nhớ Runtime (kiến thức + quên đi)
                           ├─ Bộ nhớ phiên (đọc lại ≈ 13 tok)
                           └─ 10 chế độ đọc cho mỗi loại tệp

Đi sâu vào: Các mẫu Shell (95+ mẫu) · Chế độ Đọc (10 các chế độ nén) · Caching

Bạn

Code bình thường. Không thay đổi quy trình làm việc của bạn.

Công cụ AI

Cursor, Claude Code, Copilot, Windsurf, …

LeanCTX

Quyết định, nén và ghi nhớ thông qua một server MCP và shell hook mà các công cụ AI của bạn tự động phát hiện.

LLM

Chỉ thấy tín hiệu. Ít token hơn 60–90%, cùng lượng thông tin.

Kiến trúc

Một binary. Năm khả năng.

Mọi khả năng đều chạy bên trong một binary Rust duy nhất. Đây là cách một yêu cầu chảy qua LeanCTX: từ công cụ AI của bạn, qua pipeline nhận thức, đến model.

Công Cụ AI của bạn Cursor · Claude Code · Copilot · Windsurf

MCP · CLI · HTTP

lean-ctx Lớp Ngữ cảnh Nhận thức · Một binary duy nhất · 81 công cụ

Hiểu

10 chế độ đọc
Khả năng hiển thị ngữ cảnh
Đếm token
Phát hiện ý định

Nén

Tree-sitter AST (26 ngôn ngữ)
95+ mẫu shell
Sắp xếp lại CDC (Rabin-Karp)
Ngân sách 64 KB, thời hạn 500 ms

Ghi nhớ

Bộ nhớ đệm phiên (zstd, trong bộ nhớ)
Đọc lại 13-token
Đồ thị tri thức (SQLite)
Bộ nhớ xuyên phiên

Xác minh

Hộp cát PathJail
Cô lập cấp độ OS
Danh sách cho phép shell (mặc định từ chối)
Dấu vết kiểm toán đầy đủ

Kết nối

GitHub · GitLab · Jira · Linear
Postgres · REST · MCP Bridge
Tìm kiếm lai (BM25 + ngữ nghĩa)
Nhà cung cấp dựa trên cấu hình (TOML)

10các chế độ đọc

13token trên mỗi lần đọc lại

18ngôn ngữ (AST)

ngữ cảnh tối ưu

LLM Ít nhiễu hơn · Tín hiệu cao hơn · Kết quả tốt hơn

Năm hệ thống con

Năm điều LeanCTX làm để mọi token.

Giữa AI của bạn và code của bạn, một binary cục bộ chạy cùng một vòng lặp năm bước trên mọi lần đọc, lệnh và tìm kiếm — nhận thức, nén, ghi nhớ, định tuyến, quản lý. Chúng cùng nhau thực hiện năm nhiệm vụ: nó quyết định những gì agent của bạn đọc, ghi nhớ những gì chúng học được, bảo vệ những gì chúng chạm vào, chứng minh những gì chúng lưu, và tái phát những gì chúng đã thấy.

Nhận biết

Xem những gì quan trọng trước khi hành động.

Lập bản đồ một repo lạ, hiển thị các tệp và ký hiệu quan trọng, và đọc cấu trúc thay vì toàn bộ tệp, trên 26 ngôn ngữ với tree-sitter.

ctx_overview → repo mapped in one call

Nén

Mọi token đều mang tín hiệu.

Mười chế độ đọc, hơn 95 mẫu đầu ra shell và bộ nhớ cache được định địa chỉ nội dung giảm thiểu việc đọc từ 60–90% và các lần đọc lại xuống còn ~13 tokens. Nhiễu không bao giờ đến mô hình.

ctx_read → 4,200 → 920 tokens (78% saved)

Ghi nhớ

Tính liên tục qua các phiên làm việc.

Các phát hiện, quyết định và tệp đã chạm vào vẫn tồn tại và tự động khôi phục trong mọi phiên mới, vì vậy agent của bạn sẽ không bao giờ giải thích lại ngữ cảnh hoặc đọc lại những gì nó đã biết.

ctx_session → restored · 0 re-reads

Định tuyến

Context phù hợp đến mô hình phù hợp.

Phát hiện ý định, chọn chế độ đọc và ngân sách token, chỉ tải các công cụ cần thiết cho tác vụ, để mỗi mô hình chỉ thấy chính xác ngữ cảnh nó nên thấy, và không hơn thế.

ctx_intent → right mode + budget per task

Quản lý

An toàn, đo lường, thực thi.

PathJail, một danh sách cho phép shell, phát hiện bí mật, chính sách vai trò và ngân sách token giữ mọi lệnh gọi công cụ trong giới hạn, và phân tích chứng minh chính xác những gì đã được lưu.

ctx_verify → paths ok · secrets blocked

Hai lệnh. Chỉ vậy thôi.

Cái gì BẠN thực sự làm?

Hầu như không có gì. LeanCTX hoạt động vô hình sau khi thiết lập một lần. Bạn tiếp tục code y hệt như trước.

Cài đặt

Một binary Rust đơn lẻ. Không phụ thuộc, không cloud, không tài khoản.

curl -fsSL https://leanctx.com/install.sh | sh

Setup

Tự động phát hiện shell và các công cụ AI của bạn. Cấu hình mọi thứ chỉ trong vài giây.

lean-ctx setup

Hoàn thành. Nó là tự động

Code bình thường. AI của bạn tự động sử dụng các công cụ nén.

Số token tiết kiệm: tự động

Bạn vs. Máy móc

Những gì BẠN làm (một lần)	Những gì xảy ra TỰ ĐỘNG
lean-ctx setup	AI sử dụng `ctx_read` thay vì Read - giảm tới 99% token (đọc lại đã lưu vào cache)
	AI sử dụng `ctx_shell` thay vì Shell - giảm 60–90% token
	AI sử dụng `ctx_search` thay vì Grep - giảm 50–80% token
	Shell hook nén đầu ra CLI một cách minh bạch
	Bộ nhớ cache phiên ghi nhớ các tệp qua nhiều lần đọc (~13 tokens cho việc đọc lại)
lean-ctx gain (optional)	Xem bảng điều khiển tiết kiệm trọn đời của bạn

Hướng dẫn thiết lập đầy đủ → Bắt đầu sử dụng · Tất cả các lệnh CLI → Tham khảo CLI

Ngay cả việc quên cũng là một quyết định.

Khi bộ nhớ cache phiên đầy, LeanCTX tự động quyết định những gì cần giữ và những gì cần loại bỏ. Nó xếp hạng các mục theo tính gần đây, tần suất và kích thước: sau đó hợp nhất các tín hiệu này thành một điểm số duy nhất. Không yêu cầu tinh chỉnh.

Cách hoạt động của bộ nhớ cache

Bảo mật

Bảo vệ những gì nó chạm tới.

LeanCTX thực thi mô hình bảo mật phòng thủ sâu để ngăn chặn việc tiêm nhắc lệnh LLM truy cập các tệp bên ngoài dự án:

[//]

PathJail - Tất cả các thao tác tệp đều được cô lập vào thư mục gốc của dự án. Việc duyệt symlink, thoát ../ và đường dẫn tuyệt đối bên ngoài khu vực cấm đều bị chặn tại điểm tắc nghẽn resolve_path.

[##]

Danh sách cho phép Shell + Phân tích AST - Khi được cấu hình, mọi phân đoạn của lệnh phức hợp (pipe, chuỗi) đều được xác thực với danh sách cho phép. Các mẫu nguy hiểm (eval, backticks, $()) bị chặn vô điều kiện. Đầu ra giới hạn ở 200KB.

[]

Truy cập tệp an toàn - Việc đọc tệp không thể bị đánh lừa theo các symlink ra khỏi dự án của bạn, và proxy cục bộ chỉ giao tiếp với máy của bạn.

[ok]

Tính toàn vẹn khi build - Hạt giống tính toàn vẹn thời gian biên dịch và xác minh hash phát hiện các binary bị giả mạo. Được kiểm tra tự động bằng lean-ctx doctor.

Chi tiết Bảo mật & Tin cậy →

Muốn hiểu kiến trúc không?

Khám phá Context Layer nhận thức: quy trình 6 bước, các chế độ tích hợp, ma trận agent, Lý thuyết Trường Context, và chín trụ cột kiến trúc giúp LeanCTX hoạt động.

Đi sâu vào Kiến trúc

FAQ

Cách hoạt động, được giải đáp.

LeanCTX là gì?

LeanCTX (viết tắt của Lean Context) là lớp context engineering mã nguồn mở cho các agent AI. Một binary Rust cục bộ quyết định những gì agent đọc, nén những gì chúng gửi đi, ghi nhớ những gì chúng học được, bảo vệ những gì chúng chạm vào, chứng minh những gì chúng lưu và tái phát những gì chúng đã thấy — với mức tiết kiệm 60–90% trên mỗi lần đọc như biên nhận.

Nén có làm giảm chất lượng mã không?

Không. LeanCTX sử dụng phân tích cú pháp AST tree-sitter để hiểu cấu trúc mã, sau đó loại bỏ những thứ mà LLM không cần: khoảng trắng dư thừa, các import boilerplate và các comment trang trí. Trung bình, 98% cấu trúc AST, 97% định danh (identifiers) và 96% dòng mã có ý nghĩa được bảo toàn. Bạn có thể xác minh điều này bằng cách chạy benchmark với lean-ctx.

Làm cách nào tôi cài đặt LeanCTX?

Cài đặt qua cargo install lean-ctx hoặc curl -fsSL https://leanctx.com/install.sh | sh. Sau đó chạy lean-ctx init cho shell hook và lean-ctx setup để kết nối với các công cụ AI của bạn. Không yêu cầu cấu hình nào.

LeanCTX hỗ trợ những công cụ AI nào?

LeanCTX hoạt động với mọi công cụ coding AI lớn: Cursor, GitHub Copilot, Claude Code, Windsurf, Cline, OpenAI Codex, Gemini CLI, Antigravity, Pi, Crush, Zed, Continue và OpenCode. Tất cả các công cụ đều được hưởng lợi từ việc nén của cả context server và shell hook.

Bắt đầu

Chỉ sáu mươi giây để các tác nhân thông minh hơn.

Một binary duy nhất. Không phụ thuộc vào đám mây. Apache-2.0. Phiên làm việc tiếp theo của bạn sẽ gọn gàng hơn, và sổ cái giữ lại biên lai.

Bắt đầu Kiểm tra khả năng tương thích

LeanCTX kiểm soát những gìAI của bạn thấy.

LeanCTX nằm ở đâu ?

Bạn

Công cụ AI

LeanCTX

LLM

Một binary. Năm khả năng.

Năm điều LeanCTX làm để mọi token.

Nhận biết

Nén

Ghi nhớ

Định tuyến

Quản lý

Cái gì BẠN thực sự làm?

Cài đặt

Setup

Hoàn thành. Nó là tự động

Ngay cả việc quên cũng là một quyết định.

Bảo vệ những gì nó chạm tới.

Muốn hiểu kiến trúc không?

Cách hoạt động, được giải đáp.

Chỉ sáu mươi giây để các tác nhân thông minh hơn.

LeanCTX kiểm soát những gì
AI của bạn thấy.