MCPGuard: Tìm khoảng trống tuân thủ trong SDK MCP bằng phân tích song cầu và phán xét động

Giao thức Bối cảnh Mô hình (MCP) kết nối các AI agent của mô hình ngôn ngữ lớn với các công cụ và dịch vụ bên ngoài thông qua các SDK chính thức, thực hiện xác thực tin nhắn và logic phiên. Những ràng buộc trong đặc tả bị SDK bỏ qua có thể lan truyền đến các ứng dụng cuối, minh chứng cho tầm quan trọng của việc kiểm tra tuân thủ ở cấp SDK. Tuy nhiên, các công cụ tuân thủ MCP hiện tại chủ yếu kiểm tra các điểm cuối đang chạy và hầu như không tiết lộ liệu các mô hình SDK có thực sự thực thi các yêu cầu đặc tả hay không. Chúng tôi trình bày MCPGuard — một khung LLM-based tự động để phát hiện khoảng trống tuân thủ từ đặc tả đến SDK. Track cấu trúc của nó căn chỉnh các ràng buộc JSON Schema với các mô hình SDK được chuẩn hóa và tạo ra bằng chứng cụ thể cho từng ràng buộc. Track hành vi trích xuất các quy tắc văn bản chuẩn, truy xuất các đoạn hàm giới hạn và kiểm tra chúng bằng LLM để tìm các bỏ sót. Một bộ phân xét động nhận thức bằng chứng sau đó kiểm tra ngữ cảnh nguồn đầy đủ và xây dựng PoCs để xác minh các ứng cử viên. Một nhân hạ tích hợp chung với bộ thích ứng ngôn ngữ cho phép phân tích trên nhiều SDK.