Vận hành agent như
cơ sở hạ tầng.
Vào năm 2026, mọi nhà phát triển đều vận hành các coding agent; đến năm 2027 đó là các fleet. Các agent chạm vào code sản xuất và dữ liệu khách hàng cần những gì mà mọi hệ thống khác đã có: kiểm soát truy cập, ngân sách và một dấu vết kiểm toán. LeanCTX chính là lớp đó — mọi lần đọc, lệnh và đầu ra đều đi qua nó trước khi đến hoặc rời mô hình: local-first, verifiable, open core.
Quản lý những gì agent của bạn thấy, sử dụng và ghi nhớ.
Một binary cục bộ trên mỗi máy, một bề mặt chính sách cho toàn bộ fleet. Mọi lần đọc, lệnh và đầu ra đều phải đi qua cùng một lớp context engineering trước tiên. Tất cả những thứ dưới đây hiện được cung cấp trong core mã nguồn mở.
Xem
PathJail giới hạn truy cập file vào các root cho phép. Bí mật được xóa trước khi bất kỳ mô hình nào thấy chúng. Kiểm tra prompt-injection kiểm tra nội dung không đáng tin cậy, tuân thủ OWASP.
Sử dụng
Danh sách cho phép shell chặn các lệnh nguy hiểm trước khi thực thi. Ngân sách token theo vai trò giới hạn chi tiêu. Cổng MCP định tuyến các công cụ bên ngoài qua một điểm vào được quản lý.
Ghi nhớ
Bộ nhớ phiên và kho kiến thức là các tệp cục bộ, có thể kiểm tra được. Bạn quyết định cái gì tồn tại, cái gì đồng bộ hóa và cái gì bị xóa bỏ.
Chứng minh
Một sổ cái ghi lại các lần đọc, lệnh và lưu trữ, được ký bằng Ed25519 và xâu băm (hash-chained). Xác minh tính toàn vẹn chỉ với một lệnh; xuất ra để kiểm toán và tài chính.
Đừng tin lời chúng tôi — theo dõi nó chạy.
Một phiên bản gateway thực đang chạy tại demo.leanctx.com: suy luận mô hình nguồn mở thực, nén dây thực, đo lường trên mỗi người thực — danh tính tổng hợp, số liệu được đo lường. Đăng nhập bằng thông tin đăng nhập demo công bố và kiểm tra mọi thứ.
Bảng điều khiển Gateway
Chế độ xem tổ chức: chi tiêu, khoản tiết kiệm đã được xác minh, mức cơ sở chi phí tránh được và phân tích trực tiếp theo người × dự án × mô hình × nhà cung cấp.
Mở bảng điều khiển →Chế độ xem cá nhân /me
Những gì mỗi kỹ sư thấy: mức sử dụng, khoản tiết kiệm và mô hình của riêng họ — không phải của người khác. Đăng nhập bằng khóa khách chung.
Mở /me →Báo cáo giá trị
Tài liệu ROI in được mà bộ phận tài chính nhận được — chi tiêu thực tế, khoản tiết kiệm đã được xác minh và mức cơ sở phản thực tế, được tái tạo lại sau mỗi 15 phút từ sổ cái trực tiếp.
Mở báo cáo →Các token truy cập cho bảng điều khiển và chế độ xem /me được công bố tại demo.leanctx.com — API quản trị chỉ đọc, và các điểm cuối suy luận không được phơi bày trên phiên bản công khai. Mọi con số bạn thấy đều được đo từ các yêu cầu thực thông qua đường dẫn sản phẩm chưa sửa đổi — không có dữ liệu giả lập.
Mọi thứ trong lõi, cộng thêm điều khiển đội ngũ.
Lõi mã nguồn mở luôn miễn phí, được đảm bảo bởi cổng CI công khai. Enterprise bổ sung gói cho phép các nhóm nền tảng và bảo mật vận hành hàng trăm agent.
SSO & SCIM
Đăng nhập SAML/OIDC và cấp phát chỗ ngồi tự động: agents và con người dưới cùng một mặt phẳng danh tính.
Chính sách đội ngũ
Các root PathJail, danh sách cho phép (allowlists), ngân sách và chính sách persona được quản lý tập trung, được phiên bản hóa, xem xét và triển khai như mã nguồn.
Xuất báo cáo tuân thủ
Báo cáo kiểm toán và lưu trữ tổng hợp có chữ ký trên toàn đội ngũ: các con số mà tài chính và kiểm toán viên có thể tự xác minh.
Triển khai Air-gapped
Vận hành hoàn toàn ngoại tuyến với các gói và bộ chính sách có chữ ký, dành cho môi trường không được phép thoát ra bất cứ thứ gì. Mãi mãi.
Giá minh bạch, không cổng "liên hệ bán hàng" nào cho các con số: xem các gói. Cuộc gọi thử nghiệm bao gồm kiến trúc và triển khai.
Giá cả hợp lý, khuyến khích đồng bộ.
Không hóa đơn bất ngờ, không nâng cấp ẩn. Ba thành phần, mỗi thành phần tùy chọn hoặc được thương lượng theo tình huống của bạn.
Phí nền tảng
Giấy phép trên mỗi chỗ ngồi bao gồm quản trị, hỗ trợ, cập nhật và SLA. Được thương lượng theo quy mô tổ chức của bạn — liên hệ bộ phận bán hàng để nhận báo giá.
Hội nhập có hướng dẫn
Gói cố định 2–4 tuần: triển khai, tích hợp IdP, thiết lập chính sách, đào tạo quản trị viên và hội thảo dành cho nhà phát triển. Một lần, không tái diễn.
Success Fee (optional)
Trả một phần giới hạn của khoản tiết kiệm mà chúng tôi chứng minh bằng mật mã. Mức sàn bằng phí nền tảng của bạn, mức trần là 50% giảm hóa đơn thực tế của bạn. Bạn xác minh mọi con số ngoại tuyến.
Các framework được ánh xạ, bằng chứng có thể xác minh.
Mặt phẳng context trả lời các câu hỏi tuân thủ bằng các kiểm soát được thực thi và bằng chứng có thể xác minh ngoại tuyến — và rõ ràng về những gì vẫn là nghĩa vụ của tổ chức.
EU AI Act · ISO 42001 · SOC 2
Ma trận ánh xạ có thể đọc bằng máy, gói chính sách khung và báo cáo phạm vi kiểm soát theo từng điều khiển: policy coverage --framework eu-ai-act — 11/14 điều khiển được ánh xạ thực thi về mặt kỹ thuật, lỗ hổng được ghi lại.
Các gói bằng chứng
Xuất kiểm toán xác định, ký Ed25519 mà kiểm toán viên của bạn xác minh ngoại tuyến bằng công cụ độc lập — không cần cài đặt LeanCTX, không tin tưởng chúng tôi. Kiểm tra đột biến: một byte bị lật sẽ thất bại.
Cách thức hoạt động của việc xác minh →Danh tính tác nhân (Agent identities)
Mọi tác nhân đều được đăng ký, thuộc sở hữu con người, được chứng thực và có thể thu hồi. Việc ngừng sử dụng tài khoản chủ sở hữu sẽ đình chỉ toàn bộ đội ngũ của người rời đi trong một giao dịch kiểm toán — không có tác nhân mồ côi.
Quản trị tác nhân →Xây dựng trên các tiêu chuẩn mở: Context Governance Benchmark xác định các điều khiển, Open Context Protocol xác định định dạng dây — cả hai đều có thể trích dẫn, cả hai đều trung lập với nhà cung cấp.
"Điều gì rời khỏi máy?"
Không có gì. Hãy xác minh nó. LeanCTX chạy cục bộ với bằng không telemetry. Sổ cái, cache và kho kiến thức là các tệp cục bộ. Việc thoát mạng chỉ xảy ra ở nơi cấu hình của bạn gửi đến, và dấu vết kiểm toán ghi lại điều đó.
Đọc mô hình bảo mật đầy đủĐiều người mua hỏi đầu tiên.
Khi nhà phát triển sử dụng LeanCTX thì có gì rời khỏi máy?
Không có gì, và bạn có thể xác minh nó. LeanCTX chạy cục bộ với bằng không telemetry: cache, kho kiến thức và sổ cái kiểm toán đã ký là các tệp cục bộ. Việc thoát mạng chỉ xảy ra ở nơi cấu hình của bạn gửi đến. Hỗ trợ triển khai air-gapped.
LeanCTX chứng minh mức tiết kiệm và hoạt động cho tài chính và tuân thủ như thế nào?
Mọi lần đọc, lệnh và lưu đều nằm trong sổ cái cục bộ được ký Ed25519, xích hash. lean-ctx savings verify proves tính toàn vẹn từ đầu đến cuối, và lean-ctx savings export tạo ra một bản xuất phù hợp với tuân thủ.
Lõi có phải là mã nguồn mở và miễn phí sử dụng cục bộ không?
Có. Lớp context cục bộ hoàn chỉnh là Apache-2.0 và miễn phí mãi mãi, được thực thi bởi một cổng CI công khai sẽ thất bại bất kỳ commit nào đặt khả năng cục bộ sau tường phí. Enterprise bổ sung SSO, chính sách đội ngũ, xuất tuân thủ và hỗ trợ air-gapped ở trên.
LeanCTX có giúp với EU AI Act, ISO 42001 hay SOC 2 không?
Có — với các cơ chế thực thi. Ma trận ánh xạ có thể đọc bằng máy tính liên kết các điều khiển framework với các quy tắc gói chính sách được thực thi và các đảm bảo của engine; lean-ctx policy coverage --framework hiển thị phán quyết cho từng điều khiển đối với cấu hình thực tế của bạn, và các bó bằng chứng cho phép kiểm toán viên xác minh hồ sơ ngoại tuyến bằng một công cụ độc lập. Nơi nghĩa vụ là tổ chức, ma trận sẽ ghi rõ điều đó. Hỗ trợ công cụ, không phải lời khuyên pháp lý.
Thử nghiệm Context Plane.
Hai tuần, kho lưu trữ của bạn, các chính sách của bạn và một báo cáo có chữ ký về những gì agent của bạn đã đọc, chạy và lưu.