mcp-xray

Scanneur de sécurité unifié pour les serveurs MCP avec les modes config, pentest et repo-scan. Génère des rapports SARIF pour l'intégration CI/CD, détecte les secrets, les vulnérabilités et les erreurs de configuration via des analyseurs token et LLM.

Utilisation

Scan de configuration

Analysez les configurations MCP pour détecter des problèmes de sécurité ; à exécuter avant un test d'intrusion pour établir une base de référence.

Capacités de détection :

• Sécurité de connexion : Valide les certificats TLS, détecte les expositions dangereuses en localhost/loopback, et valide la configuration OAuth 2.0 (PRM/ASMD)
• Détection de secrets : Recherche les identifiants exposés, clés API et informations sensibles
• Analyse d'outils : Analyse les descriptions d'outils à l'aide de l'analyseur de jetons (par défaut) ou de l'analyseur LLM pour détecter les risques, notamment l'exécution arbitraire, les vulnérabilités d'injection, le contournement d'autorisation et la divulgation d'informations

Test d'intrusion (Pentest)

Exécutez des plans de test de sécurité en effectuant des appels d'outils réels vers les serveurs MCP. Les LLM sont nécessaires pour exécuter le test. Exécutez ceci avant le déploiement réel en production.

Capacités de détection : Exécution de code, SSRF, traversée de chemin, contournement d'autorisation, injection d'entrée, divulgation d'informations et vulnérabilités DoS

Scan de dépôt

Scannez la base de code pour détecter des vulnérabilités ; utilisez lorsque vous possédez ou pouvez modifier le code.

Capacités de détection :

• SCA : Détecte les dépendances vulnérables à l'aide de l'API OSV
• SAST : Identifie les modèles de commandes dangereux et les anti-patrons de sécurité
• Détection de secrets : Recherche les secrets et identifiants codés en dur

Format de sortie

MCP X-Ray génère des rapports au format SARIF (Static Analysis Results Interchange Format), largement pris en charge par les outils de sécurité et les plateformes CI/CD.

Téléversement des résultats vers Traceforce

Téléversez les résultats de scan vers Traceforce Atlas pour une gestion centralisée de la sécurité, des rapports et un suivi dans le temps. Ajoutez le drapeau --upload à toute commande de scan. Utilisez --clean-up pour supprimer les fichiers générés après un téléversement réussi.

Variables d'environnement requises :

• TRACEFORCE_CLIENT_ID
• TRACEFORCE_CLIENT_SECRET

Ces identifiants peuvent être téléchargés depuis la page des paramètres de l'interface utilisateur Atlas.

Exemples

Des exemples de sorties de scan sont disponibles dans examples/findings/.

Des exemples de fichiers de configuration MCP sont disponibles dans le répertoire examples/mcp_configs/.

Un exemple de serveur MCP est disponible dans le répertoire examples/mcp_server/ :

• mcp_server.py : Serveur FastMCP utilisant le transport streamable-http
• mcp.json : Fichier de configuration pour se connecter au serveur
• README.md : Instructions pour configurer et scanner le serveur

Configuration

Méthodes d'analyse des outils

MCP X-Ray propose deux méthodes pour analyser la sécurité des outils :

Analyseur de jetons (par défaut)

L'analyseur de jetons utilise une correspondance de motifs basée sur des règles pour détecter rapidement les problèmes de sécurité dans les descriptions d'outils. Il est rapide, ne nécessite pas de clés API et fonctionne hors ligne. L'analyseur de jetons utilise deux types de règles :

1. Les règles de jetons sont définies dans internal/configscan/tokenanalyzer/token_rules.yaml. Chaque règle spécifie :
   • Critères de correspondance de motifs (jetons et phrases)
   • Niveau de sévérité (faible, moyen, élevé, critique)
   • Catégorie et raison de sécurité
2. Les règles YARA sont définies dans internal/yararules/unsafe_patterns.yar. Ces règles détectent les motifs de commandes système dangereux.

Utilisation :

Analyseur LLM

L'analyseur LLM utilise de grands modèles de langage pour une analyse sémantique approfondie des descriptions d'outils, fournissant des informations de sécurité plus complètes.

Utilisation :

Configuration du test d'intrusion

Par défaut, l'outil de test d'intrusion utilise un LLM pour générer automatiquement des plans de test basés sur les outils disponibles des serveurs MCP. Les plans de test peuvent également être personnalisés et fournis sous forme de fichiers YAML. Les plans de test sont des fichiers YAML contenant des cas de test avec des arguments d'entrée et des résultats attendus.

Comportement par défaut (plan de test généré par LLM) :

Plan de test personnalisé :

Modèles pris en charge

MCP X-Ray prend en charge les fournisseurs LLM suivants pour l'analyse des outils :

Anthropic (Claude)

• Exemples : claude-sonnet-4-5
• Nécessite : Variable d'environnement ANTHROPIC_API_KEY

OpenAI (GPT)

• Exemples : gpt-5
• Nécessite : Variable d'environnement OPENAI_API_KEY

AWS Bedrock (Meta Llama)

• ARN de profil d'inférence Meta Llama commençant par arn:aws:bedrock: et contenant llama
• Exemple : arn:aws:bedrock:<region>:<compte-id>:inference-profile/us.meta.llama3-2-1b-instruct-v1:0
• Nécessite : Identifiants AWS configurés via le SDK AWS (variables d'environnement, rôle IAM ou fichier d'identifiants)

Variables d'environnement

Pour l'analyse d'outils basée sur LLM, configurez vos identifiants API LLM :

Anthropic

OpenAI

Chaque fournisseur nécessite sa propre variable d'environnement spécifique. L'outil détecte automatiquement quel fournisseur utiliser en fonction du nom du modèle.

AWS Bedrock

Pour les modèles AWS Bedrock, configurez les identifiants AWS en utilisant l'une des méthodes standard du SDK AWS :

MCP X-Ray utilise le SDK AWS qui chargera automatiquement les identifiants depuis l'environnement, le fichier d'identifiants ou le rôle IAM.

Contribution

Les contributions sont les bienvenues ! Veuillez vous assurer que :

1. Le code suit les bonnes pratiques Go
2. Des tests et des exemples sont inclus pour les nouvelles fonctionnalités
3. La documentation est mise à jour

Références

• Model Context Protocol (MCP)
• Spécification SARIF
• OSV Scanner
• Gitleaks