Hệ thống quyết định
những gì AI của bạn nhìn thấy.
Lớp context engineering cho các tác nhân AIMột binary cục bộ ở cả hai phía của mô hình. LeanCTX nhận thức, nén, ghi nhớ, định tuyến và quản lý vòng đời hoàn chỉnh của context AI, từ đọc tệp đến đầu ra đã được xác minh.
Lớp Context Nhận Thức là gì?
Một Lớp Context Nhận Thức là cơ sở hạ tầng giữa các công cụ AI của bạn và codebase của bạn. Nó kiểm soát những tệp nào được đọc, cách đầu ra được nén, kiến thức nào tồn tại qua các phiên, và liệu kết quả có đáp ứng tiêu chuẩn chất lượng trước khi bàn giao hay không.
Bản vẽ xây dựng
Tô-pô quy trình của binary đã xuất xưởng: bảy điểm vào, một runtime, một bộ lưu trữ cục bộ. Mỗi hộp bên dưới ánh xạ tới một module, cổng hoặc tệp thực tế trên đĩa.
lean-ctx lean-ctx serve lean-ctx serve --daemon lean-ctx -c "<cmd>" lean-ctx proxy start lean-ctx dashboard lean-ctx watch · gain --live Điều gì xảy ra với một lần đọc
Sheet 2 theo dõi một yêu cầu qua runtime, từng giai đoạn, bao gồm cả cơ chế bỏ qua cache giúp các lần đọc lặp lại gần như miễn phí. Đường dẫn shell chạy song song với cùng cách tính toán này.
ctx_read(path, mode) · lean-ctx read - PathJail
core/pathjail.rsCanonicalises the path and rejects escapes outside the workspace root before any I/O happens.
- Session cache
hit → ~13 tokensContent-addressed lookup keyed by path + mtime/hash. Unchanged files collapse to a stub instead of re-sending content.
- AST extraction
26 languagestree-sitter parses the file into a syntax tree: signatures, imports, call edges — Lua, Luau, Kotlin and GDScript are graph-indexed too. Regex fallback for unsupported languages.
- Mode selection
10 modesauto picks the optimal of 10 read modes (full, map, signatures, diff, task, reference, aggressive, entropy, lines:N-M) from task intent and file size; structure_first biases cold medium-file code reads toward map, and a file flagged suspect on a fix task is forced to full.
- Compression
adaptive thresholdsShannon-entropy line filtering, U-curve attention placement (LITM), TF-IDF codebook and query-conditioned Information-Bottleneck fusion — an anti-inflation guard ships the file verbatim whenever framing would cost more tokens than the raw bytes.
- Token accounting
core/tokens.rsExact tiktoken counts (o200k_base; cl100k_base approximation for Claude-family models) on input and output.
- Ledger + stats
savings sign / verify-batchSavings are appended to the local ledger (Ed25519-signable), stats and the gain score update, the result streams back.
lean-ctx -c "cargo test" · IDE bash hook Cả hai đường dẫn đều kết thúc bằng cùng một sổ cái: mọi sự kiện nén được tính toán với toán tử tokenizer chính xác và cung cấp cho gain, bảng điều khiển và sổ cái tiết kiệm đã ký.
Bảng dữ liệu kỹ thuật
Các bảng tham chiếu đằng sau bản vẽ: mọi bề mặt với phương tiện vận chuyển và vòng đời của nó, bố cục trên đĩa, các lớp học tập thích ứng, và ranh giới bảo mật mà runtime thực thi.
AMô hình quy trình
Tất cả các bề mặt đều là binary giống nhau ở các vai trò khác nhau. Không cần kết nối đám mây; mọi thứ liên kết theo kiểu local-first.
| REF | SURFACE | TRANSPORT | ENDPOINT | LIFECYCLE | LỆNH |
|---|---|---|---|---|---|
| 01 | MCP server (stdio) | JSON-RPC over stdin/stdout | spawned per editor session | child process of the editor | lean-ctx |
| 02 | MCP server (HTTP) | MCP Streamable HTTP | localhost, configurable --host/--port | foreground or service | lean-ctx serve |
| 03 | IPC daemon | Unix Domain Socket | OS data dir, e.g. ~/Library/Application Support/lean-ctx/daemon.sock | launchd / systemd autostart | lean-ctx serve --daemon |
| 04 | Shell hook | process exec, compressed stdout | wraps IDE bash calls + interactive shells | per command | lean-ctx -c "<cmd>" |
| 05 | API proxy | HTTP (LLM API pass-through) | localhost:4444 (default) | on demand | lean-ctx proxy start |
| 06 | Web dashboard | HTTP + bearer token | localhost:3333 (default, --port) | on demand | lean-ctx dashboard |
| 07 | Terminal UI | TTY (in-place redraw) | live event stream / 1 s refresh | interactive | lean-ctx watch · gain --live |
BBố cục lưu trữ — thư mục XDG cục bộ
Trạng thái bền vững là các tệp thuần túy trong các thư mục cơ sở XDG: có thể kiểm tra, xuất và xóa được. Không có cơ sở dữ liệu ẩn nào ngoài các thư mục cục bộ này.
| TÀI PHẨM | FORM | MỤC ĐÍCH |
|---|---|---|
config.toml | TOML | Single config file — integration mode, compression, providers, opt-outs (config dir) |
cache/ | content-addressed | Session file cache; unchanged re-reads collapse to ~13-token stubs (cache dir) |
bm25 index | inverted index | Lexical search over code chunks + provider documents (data dir) |
context_graph/ | property graph | Imports, calls, types across files and repos — powers map mode + deep queries (data dir) |
knowledge | SQLite | Persistent facts, decisions, rooms — recalled across sessions, CCP (data dir) |
savings ledger | append-only JSONL | Every compression event; Ed25519-signable for audit (data dir) |
litm_calibration.json | JSON | Learned context-position hit rates (lost-in-the-middle calibration) (cache dir) |
events.jsonl | event stream | Live feed consumed by watch, dashboard and efficacy reports (state dir) |
CCác lớp học thích ứng
Bảy cơ chế học trực tuyến tinh chỉnh việc nén theo mức sử dụng thực tế của bạn, tại chỗ, từ các tín hiệu chất lượng như lần bật lại và lỗi chỉnh sửa. Tìm hiểu sâu: Học Thích Ứng →
- L1 Adaptive thresholds Online-learned compression aggressiveness from quality signals (bounces, edit failures, clean runs)
- L2 LITM calibration Empirical placement of critical context at positions the model actually attends to
- L3 Stigmergic scent field Multi-agent coordination via decaying markers: claimed, done, stuck, hot, avoid
- L4 Delta playbook Incremental checkpoint snapshots that survive context compaction
- L5 Query-conditioned IB Information-Bottleneck compression fused with query relevance
- L6 Theta-gamma chunking Wakeup facts grouped in attention-friendly bursts
- L7 Semantic dedup Likelihood-scored redundancy filtering across the session
DRanh giới bảo mật
Các đảm bảo cứng được thực thi trong runtime. Mô hình bảo mật →
- PathJail Every file access is canonicalised and confined to the workspace root
- IDE config-dir jail Home-level IDE/agent config dirs (~/.claude, ~/.codex, ~/.codebuddy, …) are writable only when allow_ide_config_dirs is opted in; otherwise PathJail blocks them
- Shell allowlist Deny-by-default command policy for agent-issued shell executions
- Local-first All processing on-device; dashboard binds to localhost and requires a bearer token
- Signed evidence Savings ledger entries are Ed25519-signable and batch-verifiable
Một binary. Ba cách vào.
LeanCTX tự động chọn chế độ tích hợp tối ưu cho mỗi agent: CLI-Redirect điều khiển CLI của LeanCTX thông qua các quy tắc trình soạn thảo với chi phí MCP bằng không, Hybrid kết hợp việc đọc được cache bằng MCP với các hook nén shell, và Full MCP cung cấp quyền truy cập công cụ tối đa cho các trình soạn thảo chỉ dựa trên giao thức.
lean-ctx -c / read / grep MCP cache + CLI shell/search 81 tools via MCP + lazy tool set Dù bằng cách nào, LeanCTX cũng chọn chế độ phù hợp cho trình soạn thảo của bạn một cách tự động. Xem tất cả hơn 30 công cụ được hỗ trợ
Luôn hoạt động. Luôn là của bạn.
Một dịch vụ nền nhỏ giữ phiên làm việc của bạn luôn ấm, nhờ đó các lần truy cập cache diễn ra tức thì và bộ nhớ luôn sẵn sàng. Nó tự khởi động trong quá trình thiết lập, tự khởi động lại khi bạn cập nhật, và dọn dẹp sau khi hoàn thành, không cần quản lý gì cả.
Mọi khả năng, Một binary.
Mọi thứ giữa code và AI của bạn, được xử lý.
Smart I/O
Đọc xác định, nén shell, tìm kiếm, khả năng hiển thị context đầy đủ + ít token hơn 99%
Nén Yêu cầu (Request Compression)
Một proxy cục bộ tùy chọn nén mọi yêu cầu gửi đến mô hình — prompt hệ thống, lịch sử và kết quả công cụ — an toàn với prompt-cache.
Intelligence
Định tuyến ý định, lựa chọn chế độ, pipeline thích ứng
Memory
Phiên làm việc, kiến thức dự án, đồ thị, chuyển giao
Governance
Vai trò, ngân sách, SLOs, cổng quy trình làm việc, chính sách
Verification
Bằng chứng hình thức Lean4, xác minh dựa trên tuyên bố, Mức chất lượng 0-4
Integrations
MCP, HTTP, SDK, 29+ IDEs, Cloud, Team Server
Shared Sessions
Chia sẻ phiên làm việc và kênh trên không gian làm việc giữa các agent
Context Bus
Luồng sự kiện thời gian thực cho thay đổi ngữ cảnh qua SSE
SDK & API
TypeScript SDK và REST API cho tích hợp bên ngoài
Mọi đầu ra đều đi kèm bằng chứng
LeanCTX tạo các artifact bằng chứng cho mọi phiên: những tệp nào đã được đọc, cái gì đã được nén, những kiểm tra nào đã vượt qua và token đã được tiêu thụ như thế nào. Điều này giúp công việc AI có thể kiểm toán, phát lại và đáng tin cậy.
LeanCTX (viết tắt của Lean Context) là lớp context engineering mã nguồn mở dành cho các agent AI. Một binary Rust cục bộ quyết định những gì mà agents đọc (10 chế độ đọc, ít token hơn 60–90%, tái đọc được lưu cache ~13-token), ghi nhớ những gì chúng học (phiên làm việc bền vững, knowledge graph), bảo vệ những gì chúng chạm vào (PathJail, xóa bí mật, ngân sách, phát hiện injection), chứng minh những gì chúng lưu (sổ cái ký Ed25519, benchmark tái lập) và tái phát những gì chúng đã thấy (git-anchored, context snapshots có chữ ký mà bạn có thể khôi phục hoặc chia sẻ); một proxy cục bộ tùy chọn nén những gì chúng gửi — prompt hệ thống, lịch sử và đầu ra công cụ của mọi yêu cầu, an toàn cache-prompt trên đường truyền. Nén — ở phía đọc và phía đường truyền — là một trong năm subsystem, và mọi bản gốc vẫn có thể truy xuất cục bộ. Hoạt động với hơn 30 công cụ coding AI thông qua MCP và shell hooks; nhúng vào bất kỳ agent nào qua API /v1 được phiên bản hóa với các SDK Python, TypeScript và Rust. Sử dụng cục bộ miễn phí mãi mãi, được thực thi bởi CI.
Đọc câu chuyện đầy đủGiành lại quyền kiểm soát ngữ cảnh của bạn.
Một binary cục bộ ở cả hai phía của mô hình. LeanCTX nhận thức, nén, ghi nhớ, định tuyến và quản lý vòng đời hoàn chỉnh của context AI, từ đọc tệp đến đầu ra đã được xác minh.