MCPGuard examine la conformité des SDK MCP

MMarc

MCPGuard est un cadre automatisé fondé sur des modèles de langage, présenté mercredi pour détecter les écarts entre la spécification du Model Context Protocol, ou MCP, et les kits de développement logiciel, ou SDK, qui l’implémentent, selon arXiv. Son volet structurel met en correspondance les contraintes définies dans les schémas JSON avec les modèles normalisés des SDK, afin de produire des éléments de preuve propres à chaque contrainte. Cette comparaison porte donc sur la façon dont les exigences de la spécification sont représentées dans les modèles des kits, plutôt que seulement sur leur comportement au cours d’un test en fonctionnement. Les outils de conformité MCP existants testent principalement des points de terminaison en fonctionnement, mais renseignent peu sur la capacité des modèles des SDK à faire respecter les exigences de la spécification. MCPGuard vise ainsi à examiner aussi la représentation des règles dans ces modèles et à repérer les écarts entre spécification et mise en œuvre. Les éléments décrits ne permettent pas de conclure que chaque écart détecté produira nécessairement un défaut observable en fonctionnement : ils apportent des preuves liées aux contraintes examinées, en complément des tests centrés sur les points de terminaison.