Prospero: Khung lập trình AI gọn nhẹ cho kỷ nguyên mới

Những mô hình ngôn ngữ lớn mã nguồn mở (open weight) đang ngày càng đủ mạnh để đảm nhận các tác vụ lập trình đơn giản ngay trên phần cứng người dùng. Tuy nhiên, để biến khả năng đó thành công cụ thực dụng, ta cần một lớp trung gian gọi là coding harness. Và chính vì quá thất vọng với các lựa chọn hiện có, lập trình viên Chris Wellons đã tự xây dựng nên Prospero – một harness viết bằng C++, nhẹ và nhanh hơn nhiều lần.

Giao diện Prospero

Vì sao lại cần một harness mới?

Theo tác giả, phần lớn các coding harness trên thị trường hiện nay đều được xây dựng trên nền web và tiêu tốn lượng RAM khổng lồ. Ông nhận xét thẳng thắn rằng về bản chất, một harness chỉ là curl gắn với popen(), nên việc nó cần tới hàng gigabyte bộ nhớ là điều khó hiểu.

Prospero được thiết kế với giao diện docking sử dụng Dear ImGui, chạy mượt và chỉ dùng ít tài nguyên hơn khoảng hai bậc độ lớn (100 lần) so với các harness khác mà vẫn giữ đầy đủ tính năng. Công cụ có sẵn chế độ nền tối cho những người ưa giao diện tối.

Giao diện tối của Prospero

Điểm đáng chú ý là Prospero không tích hợp sẵn nhà cung cấp mô hình. Người dùng tự cấu hình endpoint, chẳng hạn với llama.cpp, mô hình on-prem, OpenRouter, Anthropic API hay OpenAI API.

Coding harness hoạt động như thế nào?

Nếu hiểu đơn giản, chat interface là nơi bạn và AI luân phiên gửi tin nhắn. Coding harness mở rộng khái niệm này bằng cách cho AI "nói chuyện" với các công cụ do harness cung cấp – đọc/ghi tệp, chạy lệnh shell. Công cụ trả lời bằng kết quả, và AI tự động chuyển từ lệnh gọi công cụ này sang lệnh khác, tạo thành vòng lặp. AI như vậy được gọi là agent.

Prospero cho phép agent tạo subagent để làm việc song song hoặc giữ ngữ cảnh gọn gàng, đồng thời các agent có thể nhắn tin và phối hợp với nhau. Với quyền truy cập SSH hoặc qua WSL, Prospero có thể triển khai một bản headless lên máy khác để agent vận hành trên hệ thống đó.

Một điểm nổi bật khác là khả năng điều khiển desktop: nếu mô hình hỗ trợ thị giác, nó có thể "nhìn" và tương tác với màn hình – click, gõ phím, kéo thả để kiểm thử và gỡ lỗi ứng dụng GUI trực tiếp, không cần MCP riêng cho từng ứng dụng. Phiên bản Professional tích hợp sẵn engine headless cho nhiều tổ hợp x86/x86-64 và ARM64 trên macOS, Windows và Linux, thậm chí engine Windows x86 còn chạy được trên Windows XP.

Nhờ kiến trúc headless, Prospero không cần TUI: engine chạy trên hệ thống từ xa, còn giao diện chạy trên máy tính của bạn.

Triết lý thiết kế: nhẹ, không chờ vô hạn

Tác giả đúc kết nhiều nguyên tắc thiết kế đáng chú ý cho Prospero:

• Render thụ động (passive rendering): thay vì vẽ lại liên tục theo vsync như game, Prospero chỉ vẽ khi có việc cần làm. Khi agent đang chờ build, nó không "gặm" GPU.
• Không bao giờ chờ vô hạn: mọi thao tác đều có deadline. Nếu bạn không có mặt để cấp quyền, agent sẽ nhận lỗi từ chối do hết thời gian và phải xoay xở. Đây là nguyên tắc thiết kế cốt lõi, ảnh hưởng tới toàn bộ hệ thống.
• Không để tiến trình mồ côi: cây tiến trình được sinh ra và kết thúc cùng nhau, tránh tình trạng hai bản build chạy song song gây rối loạn hệ thống.
• Lệnh shell quá thời gian chuyển thành tác vụ nền bất đồng bộ, giúp agent tiếp tục làm việc thay vì treo.

Một lợi ích thú vị: nhờ quá nhẹ, Prospero có thể là harness duy nhất đủ sức chạy một chiến dịch fuzzing mà không bị OOM killer của Linux "giết" nhầm, khiến cả đêm làm việc không thu được kết quả gì.

Cấu hình đơn giản và tính năng quen thuộc

Cấu hình của Prospero nằm ở ~/.config/prospero/prospero.ini, định dạng INI dễ đọc thay vì JSON. Tệp cấu hình có thể include lẫn nhau, kể cả qua URL, cho phép chia sẻ hoặc quản lý cấu hình trực tiếp. Trang Settings trên GUI cũng có thể chỉnh mọi tùy chọn.

Prospero còn sở hữu các tính năng quen thuộc của một harness hiện đại: dùng Git worktree (kể cả cho subagent), hỗ trợ Model Context Protocol (MCP), tìm kiếm web, tạo side chat, fork phiên làm việc và đổi shell giữa phiên (ví dụ từ w64devkit sang PowerShell). Bản thân nó có một skill tự đọc tài liệu nội bộ để trả lời câu hỏi về chính mình, thậm chí chỉnh sửa prospero.ini và nạp lại giúp bạn.

Tác giả cũng thẳng thắn lưu ý: hệ thống phân quyền không thể ngăn một agent độc hại, vì agent đang chạy chương trình trên máy bạn. Muốn khóa hoàn toàn, hãy chạy harness trong container hoặc trên Raspberry Pi.

Phiên bản Community và Professional

Prospero là dự án mã nguồn mở nhưng chia làm hai bậc:

• Community Edition: miễn phí trên GitHub, không tích hợp engine headless, phù hợp cho người dùng nghiệp dư.
• Professional Edition: trả phí nhỏ, bản tải DRM-free, cập nhật miễn phí, tích hợp đầy đủ engine headless để triển khai từ xa chỉ với một cú nhấp.

Với cộng đồng lập trình viên Việt Nam – những người thường phải chạy mô hình local trên máy cấu hình khiêm tốn – một harness nhẹ như Prospero được kỳ vọng sẽ là lựa chọn đáng cân nhắc khi muốn đưa AI vào quy trình phát triển phần mềm hằng ngày mà không phải nâng cấp RAM.