regexguard-mcp-server

Un servidor MCP que ofrece a cualquier agente de IA una forma de comprobar una regex que acaba de generar -- tanto lo que realmente coincide como si es seguro ejecutarla contra entradas no fiables -- antes de publicarla. Totalmente local: sin clave de API, sin llamada de red, sin dependencia más allá del SDK de MCP y Zod.

Por qué

Las regex son un lugar notoriamente fácil para introducir un bug que parece correcto en todos los ejemplos que te toca probar. Dos modos de fallo en particular son comunes y fáciles de pasar por alto a simple vista:

1. No coincide con lo que crees que coincide. explain_regex convierte el patrón en un árbol sintáctico real y lo describe en inglés sencillo, de modo que «¿esto realmente exige al menos un dígito?» tiene una respuesta rápida que no depende de confiar en tu propia lectura de paréntesis anidados.

2. Es un vector de denegación de servicio. Una regex con cuantificadores anidados ((a+)+) o alternancia ambigua dentro de un grupo repetido ((a|a)+) puede hacer que un motor de retroceso tarde tiempo exponencial en una entrada que no coincide, creada a propósito (o incluso accidental) -- esto es ReDoS, una clase de vulnerabilidad real y explotada en repetidas ocasiones, y un defecto plausible en cualquier regex que un agente escriba sin probarla contra entradas adversarias. check_redos_risk señala la forma estructural sin ejecutar nunca el patrón -- es seguro ejecutarla sobre código fuente de regex no fiable o deliberadamente malicioso.

Related MCP server: Regex Toolkit MCP Server

Herramientas

explain_regex

Analiza un patrón para convertirlo en un AST y devuelve una descripción en inglés sencillo de lo que coincide.

check_redos_risk

Analiza estáticamente la estructura de un patrón en busca de cuantificadores anidados y alternancia ambigua dentro de un grupo repetido -- las dos causas clásicas del retroceso catastrófico. Devuelve "safe", "high" o "critical", con un hallazgo específico para cada problema encontrado.

Ambas herramientas comparten un único analizador (src/services/parser.ts): un auténtico analizador de regex por descenso recursivo (literales, clases de caracteres, clases abreviadas, anclas, grupos de captura/no captura/nombrados, lookaround, alternancia, cuantificadores y referencias inversas), no un conjunto de heurísticas de coincidencia de cadenas contra el texto fuente bruto del patrón.

Esto es una comprobación estructural heurística, no un verificador formal -- check_redos_risk puede decirte que un patrón tiene la forma clásica de explosión exponencial; no puede demostrar que un patrón sea rápido en todas las entradas, y hay patrones ReDoS fuera de las dos formas que detecta actualmente. Trata un resultado "safe" como «no se ha encontrado nada evidente», no como una garantía.

Instalar y configurar

git clone https://github.com/wedo911/regexguard-mcp-server.git
cd regexguard-mcp-server
npm install
npm run build

Añádelo a la configuración de tu cliente MCP (p. ej. claude_desktop_config.json, o el .mcp.json de un proyecto para Claude Code):

{
  "mcpServers": {
    "regexguard": {
      "command": "node",
      "args": ["/absolute/path/to/regexguard-mcp-server/dist/index.js"]
    }
  }
}

Ejecutar las pruebas

npm run build
node --test tests/parser.test.mjs tests/explain.test.mjs tests/redosCheck.test.mjs

44 pruebas cubren la gramática del analizador, la salida de la explicación y tanto los verdaderos positivos ((a+)+, (a*)*, (a|a)+, (a|ab)+, patrones anidados dentro de grupos de no captura) como los verdaderos negativos ((cat|dog)+, un patrón realista de nombre de usuario, un patrón realista de correo electrónico, repeticiones hermanas — no anidadas —) para la comprobación de ReDoS, de modo que la tasa de falsos positivos en patrones ordinarios es una propiedad probada, no una esperanza.

Pruébalo sin un cliente

npx @modelcontextprotocol/inspector --cli node dist/index.js \
  --method tools/call --tool-name check_redos_risk \
  --tool-arg pattern='^(([a-zA-Z0-9])+([\.-]?([a-zA-Z0-9])+)*)$'

Licencia

MIT — consulta LICENSE.