自動車向けツールスキーマの公開前自動静的解析

提案された MCP サーバーカードに対し、グローバルフリートカタログへの公開前に静的解析、パラメータ境界チェック、テイント追跡を実施します。

ASIL D セーフティ境界検証

自動チェッカーは、セーフティ非関連のサードパーティ製サーバーカードが、パワートレインやブレーキのメモリ領域へ直接書き込むメソッドを呼び出せないことを検証します。