Servidor MCP de Modelado de Amenazas

Un servidor de Protocolo de Contexto de Modelo (MCP) para el modelado de amenazas integral con validación de código guiada.

Tabla de Contenidos

• Descripción General
• Prompts de Inicio Rápido
• Características Principales
• Requisitos Previos
• Instalación
• Ejecución con Kiro CLI
• Gestión de Archivos de Salida
• Referencia Rápida
• Descripción General de las Herramientas
• Metodología de Modelado de Amenazas
• Suposiciones en el Modelado de Amenazas
• Desarrollo

Descripción General

Este servidor proporciona herramientas para el modelado de amenazas, incluyendo análisis del contexto de negocio, análisis de arquitectura, análisis de actores de amenaza, análisis de límites de confianza, análisis de flujo de activos, validación de seguridad del código y generación de informes integrales.

Arquitectura y Enfoque

Este Servidor MCP llama al LLM del agente existente en lugar de realizar una llamada externa a una API o red a un servicio diferente. Se basa en el LLM del cliente existente, que podría ser Amazon-Q, Kiro o Cline.

Este Servidor MCP de Modelado de Amenazas tiene tres funcionalidades principales:

1. Gestión de fases o estados del modelado de amenazas y control de prompts.
2. Dirección de prompts, que controla al agente para que siga un enfoque metódico en el modelado de amenazas utilizando definiciones integradas de riesgos de negocio, exposiciones, actores de amenaza y el uso de STRIDE en orden secuencial.
3. Validación de entrada estructurada y verificaciones de finalización de fase que respaldan un informe de modelado de amenazas procesable.

También cuenta con herramientas para generar un informe final en formatos exportables tanto Markdown como JSON.

Ventajas clave de este enfoque

• Este modelo de amenazas sigue el enfoque estándar STRIDE para el modelado de amenazas por fases, en lugar de una conclusión rápida de activos, límites y amenazas que puede provocar alucinaciones o resultados de baja calidad.
• Existe un esfuerzo por parte del LLM para comprender el contexto de negocio del proyecto y hacer suposiciones válidas que pueden ser controladas por el usuario.
• Este servidor local se basa en el LLM configurado del cliente MCP (Cline, Amazon Q, Kiro) en lugar de llamar a una API de modelo separada. La exposición de datos depende del cliente y de cualquier otro servidor MCP que el cliente invoque.
• El servidor mantiene el modelo de amenazas de trabajo en memoria para el proceso actual. Las herramientas de exportación pueden escribir instantáneas JSON y Markdown en un directorio .threatmodel, pero esas instantáneas no se cargan automáticamente en una sesión posterior.
• La herramienta de validación de código registra la evidencia proporcionada por el cliente después de inspeccionar la implementación, aplica transiciones de estado de forma atómica y falla la fase de manera cerrada hasta que cada amenaza y mitigación actual esté cubierta.

Prompts de Inicio Rápido y Ejemplos sobre cómo modelar amenazas con este servidor MCP

Nota: Antes de usar estos prompts, primero debe completar el proceso de Instalación para configurar el servidor MCP.

Iniciar un modelo de amenazas

"Threat model this project using the threat modeling MCP Server"

Ser específico en el prompt para usar el Servidor MCP de modelado de amenazas asegurará que el cliente (Cline/Kiro/etc.) siga las fases y la metodología exactas en lugar de tomar un atajo e introducir alucinaciones en los resultados.

Modelar amenazas de un subproyecto o reducir el alcance a una subcarpeta

"Threat model this subfolder using the threat modeling MCP Server"

Ejecutarlo en una subcarpeta limita el alcance del análisis previsto. Para guardar las exportaciones allí, solicite una ruta de salida dentro de esa subcarpeta; la ubicación de exportación no se infiere automáticamente del alcance del análisis.

Guardar el resultado del modelo de amenazas

"Save the threat model report"

Validar la completitud del proceso de modelado de amenazas

"Please complete all the phases in the threat model plan and then generate the final report."

Proporcionar una imagen de diagrama de arquitectura como entrada

"Threat model this project using the threat model MCP server and consider this architecture_image.png attached for this review"

Intentar remediar las amenazas

"Can you see if you can implement mitigation controls in the code based on the threats reported in the threat model"

Regenerar el modelo de amenazas basado en las correcciones de código

"Can you updated the threat model based on the code fixes which mitigated the reported threats"

Más ejemplos

# Set up context
"Set business context for an e-commerce payment system"

# Add architecture
"Add a web server component using AWS EC2"
"Add a database component using AWS RDS"

# Identify threats
"Add a threat where an attacker with network access performs SQL injection"

# Add mitigations
"Add a mitigation for input validation"

# Export results
"Export the threat model to my_model.tc.json"

Características Principales

• Modelado de Amenazas Integral: Enfoque estructurado para identificar, evaluar y abordar riesgos de seguridad
• Validación de Código Basada en Evidencia: Registra evidencia de implementación, actualiza estados y produce un informe determinista
• Análisis del Contexto de Negocio: Comprende el valor de negocio y la criticidad del sistema
• Análisis de Arquitectura: Documenta la arquitectura técnica del sistema y los flujos de datos
• Análisis de Actores de Amenaza: Identifica posibles adversarios y evalúa sus capacidades
• Análisis de Límites de Confianza: Identifica zonas de confianza y valida los controles de seguridad en los límites
• Análisis de Flujo de Activos: Rastrea activos críticos a través del sistema
• Identificación de Amenazas: Identifica sistemáticamente posibles amenazas utilizando la metodología STRIDE
• Planificación de Mitigaciones: Desarrolla estrategias para abordar las amenazas identificadas
• Gestores de Dominio Compactos: Herramientas basadas en acciones para suposiciones, arquitectura, actores, límites, activos, amenazas y mitigaciones
• Guía de Modelado de Amenazas: Orientación paso a paso a través del proceso de modelado de amenazas
• Inspección del Modelo de Datos: Una herramienta para listar modelos de enumeración e inspeccionar los valores aceptados

Requisitos Previos

Antes de instalar el Servidor MCP de Modelado de Amenazas, asegúrese de cumplir con los siguientes requisitos:

Requisitos de Instalación

1. Instale uvx desde Astral o el README de GitHub
   • uvx es parte del gestor de paquetes uv
   • Verifique la instalación: uvx --version

Instalación

Una vez que tenga uvx instalado y verificado que funciona, agregue la siguiente configuración a su archivo de configuración mcp.json. Dependiendo del tipo de cliente que esté utilizando (kiro/cline/amazon-q), la ubicación de este mcp.json será diferente. Una vez que agregue la configuración y reinicie su IDE, el Servidor MCP de Modelado de Amenazas se instalará automáticamente directamente desde este repositorio de GitHub usando uvx.