Edict: servidor MCP, instalación y seguridad

Para qué sirve Edict

Según su repositorio: «Lenguaje para agentes: emiten un AST JSON que el compilador valida, comprueba en tipos y efectos, verifica con Z3/SMT y compila a WASM.»

El protocolo MCP (Model Context Protocol) es un enchufe estándar entre un agente IA y un servicio externo: una vez conectado el servidor, sus herramientas aparecen en el agente, que decide cuándo llamarlas. Edict figura en la categoría Ejecución de código, que reúne 32 servidores en el directorio; ocupa el puesto 26 por número de estrellas.

Temas declarados por el repositorio: ai-agents, compiler, effect-system, formal-verification, json-ast, programming-language.

Instalar y conectar Edict

Modos de distribución declarados en el registro MCP oficial:

• paquete npm (Node.js, se lanza normalmente con npx)

Funciona con cualquier cliente compatible con MCP (Claude Desktop, Claude Code, Cursor, VS Code, Codex y la mayoría de agentes recientes). Basta con añadir una entrada a la configuración MCP del cliente: nombre del servidor, comando de inicio o URL, variables de entorno. Lenguaje del proyecto: TypeScript.

Seguridad: qué comprobar

Conectar un servidor MCP equivale a instalar un programa que habla directamente con su agente: funciona con sus permisos y el modelo confía en las descripciones de sus herramientas. El riesgo depende de lo que puede tocar y de la confianza que merece su código.

Puntos detectados para Edict:

• Acceso al sistema: la categoría Ejecución de código da al agente control sobre archivos, un terminal, código o un navegador. Una instrucción trampa en un contenido leído por el agente (inyección de prompt) puede convertirse en una acción.

Buenas prácticas: conceder solo los permisos necesarios (mínimo privilegio), exigir validación humana para las acciones irreversibles y pasar el diagnóstico de seguridad de agentes IA.

Actividad y mantenimiento del proyecto

Creado el 24 de febrero de 2026, el repositorio Sowiedu/Edict suma 13 estrellas y 2 copias (forks), con 0 incidencias abiertas. Tiene más estrellas que el 31 % de los servidores del directorio. Ha recibido cambios este mes. Versión publicada en el registro: 1.9.2 (11 de marzo de 2026).

Las estrellas miden la atención recibida, no la calidad: un proyecto reciente y muy mediático puede acumularlas rápido, y un servidor útil pero especializado tendrá pocas.