ทันเอไอ

MCPGuard เสนอวิธีหาช่องว่างระหว่างสเปก MCP กับ SDK อัตโนมัติ

งานวิจัยบน arXiv เสนอเฟรมเวิร์กที่ใช้ LLM ตรวจว่า SDK ของ Model Context Protocol (MCP) ทำตามสเปกครบหรือไม่ และรายงานว่าพบข้อบกพร่องในสอง SDK ทางการที่ไม่ถูกตรวจพบจากเครื่องมือ black-box ที่ใช้เปรียบเทียบ

MCP เป็นมาตรฐานที่ช่วยให้เอเจนต์ AI เชื่อมต่อกับเครื่องมือและบริการภายนอก โดยมี SDK ทางการของแต่ละภาษาทำหน้าที่ตรวจสอบข้อความและจัดการ session ให้ แต่ถ้า SDK ละข้อกำหนดบางอย่างในสเปกไป ข้อผิดพลาดนั้นอาจถูกส่งต่อไปยังแอปพลิเคชันที่ใช้ SDK ตัวนั้น

งานวิจัย arXiv:2611.03662 เขียนโดย Xikai Sun และคณะรวม 6 คน เสนอเฟรมเวิร์กชื่อ MCPGuard ที่ใช้ LLM ช่วยตรวจหาช่องว่างการปฏิบัติตามสเปก (conformance gap) ระหว่างสเปกกับโค้ด SDK โดยทำงานผ่านสองเส้นทางหลัก เส้นทางแรกคือ structural track ที่จับคู่ข้อจำกัดของ JSON Schema กับโมเดลข้อมูลใน SDK ที่ผ่านการ normalize แล้ว และให้หลักฐานเฉพาะสำหรับข้อจำกัดแต่ละข้อ ส่วนเส้นทางที่สองคือ behavioral track ที่ดึงข้อความเชิงบังคับ (normative prose) จากเอกสารสเปกมาใช้ตรวจพฤติกรรมจริง

ผู้วิจัยรายงานผลทดสอบกับ SDK ทางการสองตัว คือ Python เวอร์ชัน 1.26.0 และ TypeScript เวอร์ชัน 1.29.0 MCPGuard ยืนยันได้ 13 ข้อค้นพบใน Python และ 19 ข้อใน TypeScript และไม่มีข้อใดเลยที่เครื่องมือ black-box สองตัวซึ่งใช้เป็นตัวเปรียบเทียบตรวจพบ ผลนี้ชี้ว่าการทดสอบจากภายนอกอย่างเดียวอาจพลาดปัญหาที่อยู่ในตรรกะของ SDK เอง

ข้อควรระวังคือ นี่เป็นงานพรีปรินต์บน arXiv ซึ่งยังไม่ผ่านการตรวจสอบโดยผู้เชี่ยวชาญภายนอกในวารสารหรือการประชุมที่เผยแพร่ และแหล่งข้อมูลที่พบตอนนี้มาจากต้นทางเดียวกัน บทความที่เราเห็นยังไม่ได้ระบุความรุนแรงของแต่ละข้อค้นพบ และยังไม่มีข้อมูลว่าผู้ดูแล SDK แก้ไขปัญหาเหล่านี้แล้วหรือยัง