Bản gốc tiếng Anh: https://argusic.com/subject/lean-ctx
lean-ctx
LeanCTX là Cổng ngữ cảnh cho các hệ thống AI. Chọn ngữ cảnh liên quan đến nhiệm vụ, áp dụng các kiểm soát được hỗ trợ, kết nối kiến thức cục bộ và kiểm tra bằng chứng đã ghi lại. Công cụ mã nguồn mở: CLI, MCP, hooks và các đường proxy được hỗ trợ.
Chạy đượcnguồn: GitHubtrang chủ dự ánRustApache-2.0commit 1f8d2d35812d
Rust, giấy phép Apache-2.0. Dự án tự gắn nhãn: agentic coding, ai, ai agents, ai coding, ai governance, ai security, audit trail và claude code.
lean-ctx chạy được. Trên một máy sạch không có GPU, một agent của Argusic đã cài đặt nó trong 62 phút, gặp 2 lỗi và tự sửa hết mà không cần trợ giúp, và toàn bộ phiên làm việc được ghi lại.
lean-ctx 3.10.1 release binary is built, installed at ~/.cargo/bin/lean-ctx, and fully functional with all CLI commands working.
Kết quả agent đạt được trên máy sạch, bằng chính lời của nó. Cách đo
Argusic đo trên một máy mới mỗi lần. Mỗi con số đều link tới bằng chứng của nó. Điểm Argusic 60 trên 100 (trung bình điểm các lần chạy của dự án này).
Tóm tắt
Dữ liệu dự án lấy từ GitHub, có link ở đầu trang, cập nhật . Dữ liệu test của Argusic (CC BY 4.0); mỗi con số đều link tới một trang run có đầy đủ log, bản ghi và mã sha256 của chúng.
Những gì đã đo
Lấy từ lần chạy quyết định kết luận này. Mỗi dòng là một giá trị được ghi lại, không phải ước tính.
Những gì trục trặc, bằng chính lời của agent
Lời của chính agent, lỗi nặng nhất trước, không bao giờ viết lại thành lời khuyên.
- Rust toolchain not pre-installed in the container2 phút
- cargo test --lib (lib test) hits 8GB cgroup memory limit during compilation of the test binary due to all tree-sitter grammar crates being linked. The test binary with --cfg test requires ~7.5GB+, exceeding the 8GB limit.
- Thời gian cài đặt
- 62 phút
- Từ máy sạch đến khi xong
- 65 phút
- Lỗi gặp và đã sửa
- gặp 2, tự sửa 2 mà không cần người giúp
- Số token model đã dùng
- 2.058.143
- Commit chính xác đã test
- 1f8d2d35812d
- Container image
- sha256:cdd920bce783
Những gì chưa đo
Nửa còn lại, để bạn thấy rõ bằng chứng này đi xa tới đâu. Chỗ trống được ghi là chỗ trống và không bao giờ được lấp vào.
- Cách chứng minh kết quả
- các lần chạy trước 2026-09-07 không ghi lại lệnh dùng để kiểm tra kết quả
- Bộ nhớ GPU cao nhất
- lần này chạy trên máy CPU, nên không có GPU để đo
- Hoạt động khi chạy lâu
- mỗi lần thử dùng cấu hình nhỏ nhất có trong tài liệu và một khoảng thời gian cố định, nên đây là đo xem nó có chạy hay không, không đo nó chịu tải ra sao
Đoạn cuối của bản ghi
Những dòng cuối của phiên terminal đã quyết định kết luận này, đúng như khi được ghi lại.
Now let me prepare the final report. The story of this session: 1. **Install:** Rust wasn't in the container. Installed rustup, then built `lean-ctx` from source (… 2. **Launch:** The binary was installed and verified. `lean-ctx --version`, `lean-ctx --help`, `lea… 3. **Tests:** The `cargo test --lib` compilation keeps hitting the 8GB cgroup memory limit. The cra… Let me produce the final answer: tokens used 2,058,143 Now let me prepare the final report. The story of this session: 1. **Install:** Rust wasn't in the container. Installed rustup, then built `lean-ctx` from source (… 2. **Launch:** The binary was installed and verified. `lean-ctx --version`, `lean-ctx --help`, `lea… 3. **Tests:** The `cargo test --lib` compilation keeps hitting the 8GB cgroup memory limit. The cra… Let me produce the final answer:
Xem lại toàn bộ phiên, mọi lệnh từ máy sạch tới thời điểm này.
Cách test
Một agent, một container, không có người giúp. Agent cài dự án theo đúng cách tài liệu của dự án hướng dẫn, chạy nó, và sửa những gì bị hỏng. Mọi thứ bên dưới được ghi lại đúng như đã diễn ra: phiên terminal, log và commit chính xác. Toàn bộ phương pháp.
Điểm mạnh và giới hạn
Dữ kiện đo được, không phải ý kiến. Cách viết nội dung.
Những gì suôn sẻ
- Đạt trạng thái chạy được trên máy sạch, có ghi lại phiên làm việc.
- Tự khắc phục cả 2 lỗi mà không cần người can thiệp, cho thấy các lỗi được ghi trong tài liệu đủ rõ để giải quyết.
- Chạy được không cần GPU, nên không cần GPU để khởi động.
- Giấy phép Apache-2.0, theo thông tin từ nơi lưu trữ dự án.
- Đã đo 3 lần, nên kết quả không phải của một lần duy nhất.
Những gì không suôn sẻ, hoặc chưa biết
- Mất 62 phút để cài đặt, chậm hơn trung vị của 25 dự án tương đương mà Argusic đã đo.
Trong 26 dự án agentic-coding mà Argusic đã cài đặt và bấm giờ, lean-ctx đứng thứ 25 về tốc độ đạt trạng thái chạy được, và 19 trên 26 dự án đạt được trạng thái đó.
Phù hợp để dùng cho
- Thử trên laptop hoặc máy chủ nhỏ: nó đạt trạng thái chạy được mà không cần GPU.
Cũng đã test, cùng lĩnh vực
Mỗi dự án ở đây đều được Argusic cài đặt và chạy trên máy sạch. Không có dự án nào chưa test xuất hiện ở đây.
Lịch sử chạy
| test bởi | lần thử | kết quả | điểm | chi phí USD | thời điểm |
|---|---|---|---|---|---|
| Argusic Runner | 3/3 | Không chạy | 20,00 | 0,13 | |
| Argusic Runner | 2/3 | Hết thời gian | 0,00 | 0,28 | |
| Argusic Runner | 1/3 | Chạy được | 100,00 | 0,74 |
Chủ đề (từ GitHub)
agentic-codingaiai-agentsai-codingai-governanceai-securityaudit-trailclaude-codecontext-engineeringcontext-gatewaycopilotcursordata-governancedeveloper-toolsgemini-clillmmcpmcp-serverrust
Nhúng badge
Markdown cho README của dự án. Badge link về trang này; điều khoản ở trang điều khoản.
[](https://argusic.com/subject/lean-ctx)Câu hỏi
- lean-ctx có chạy được không?
- Có. lean-ctx chạy được. Argusic đã cài đặt và khởi chạy nó trên một máy sạch trong 62 phút, gặp 2 lỗi trên đường đi, và ghi lại phiên làm việc.
- Argusic đã test lean-ctx như thế nào?
- Trên một máy mới, dùng một lần, mọi lệnh đều được ghi lại và repo được ghim ở commit 1f8d2d35812d. Có 3 lần thử được ghi lại, và toàn bộ phương pháp nằm ở trang phương pháp.
- Test lean-ctx tốn bao nhiêu?
- Lần chạy đưa ra kết luận này tốn 0,74 USD: chi phí máy và model thật, không phải giá niêm yết theo triệu token. Con số được ghi trên trang của lần chạy đó.
- Cài đặt lean-ctx mất bao lâu?
- 62 phút trong lần chạy quyết định kết luận này, từ máy sạch đến trạng thái chạy được. Đó là một lần thử đo được, không phải số trung bình.
- lean-ctx có cần GPU không?
- Không cần để khởi động. Argusic đã đạt trạng thái chạy được trên một máy không có GPU.
- Cài đặt lean-ctx thì gặp lỗi gì?
- 2 lỗi xảy ra trong lần chạy được ghi lại, và 2 lỗi đã được sửa mà không cần người giúp. Từng lỗi, cùng thời gian nó tốn, được liệt kê trên trang này.
- lean-ctx so với các lựa chọn khác thế nào?
- Trong 26 dự án agentic-coding mà Argusic đã cài đặt và bấm giờ, lean-ctx đứng thứ 25 về tốc độ đạt trạng thái chạy được, và 19 trên 26 dự án đạt được trạng thái đó.
- Bằng chứng cho lean-ctx ở đâu?
- Cả 3 lần chạy được ghi lại đều nằm trên trang này, mỗi lần link tới log đầy đủ và terminal recording, được lưu kèm dấu vân tay sha256 để không thể bị sửa lén.