Tôi làm việc ở giao giao điểm giữa AI, Kỹ thuật phần mềm và Ngôn ngữ lập trình. Hiện tại, tôi áp dụng Formal Methods cho các agent, hướng tới AI Safety. Tôi thiết kế một harness dựa trên kiểu phụ thuộc (dependent types) sử dụng chính sách lưu lượng thông tin để ngăn chặn các cuộc tấn công liên quan đến bộ ba chết chóc. Tuy nhiên, kỳ vọng người dùng viết liquid types là không thực tế, và tạo một SDK tùy chỉnh cho mỗi giao diện bên ngoài — hệ thống tệp, APIs, tìm kiếm internet và công cụ MCP — cũng không khả thi. Sau phản hồi từ Lisbon.ai (cảm ơn Nuno, Fred, Sérgio và David), tôi bắt đầu xây dựng Fronteira để mang những ý tưởng kỹ thuật này đến với nhiều người hơn. Fronteira là một proxy MCP đóng vai trò như một firewall hành vi. Bạn đăng nhập qua trình duyệt và thêm các tích hợp với GitHub, Gmail và các dịch vụ khác thông qua máy chủ MCP của họ. Bạn xác thực các harness của mình với Fronteira và tự động có quyền truy cập vào tất cả máy chủ MCP đã cấu hình. Bạn cũng được tính di độngngững lại các harness, nhưng đó chỉ là một phụ tùng phụ trợ. Lợi thế chính của Fronteira là mọi tương tác MCP đều đi qua nó, cho phép theo dõi hành vi trên nhiều máy chủ MCP. Bạn nhận được ghi nhận lời gọi công cụ cho harness của mình miễn phí — hoặc, trong môi trường doanh nghiệp, cho tất cả người dùng của bạn. Tôi phải thừa nhận rằng điều này rất hữu ích khi gỡ lỗi chính Fronteira cũng như một số máy chủ MCP tùy chỉnh.
Nguồn chính
- THẢO LUẬNalcideslobste.rs