Ted, desarrollador de Mog, ha presentado un lenguaje de programación revolucionario que aborda uno de los mayores desafíos actuales en el desarrollo de agentes de inteligencia artificial: permitir que estos sistemas generen y ejecuten código de forma segura sin comprometer la estabilidad del sistema anfitrión.
Mog es un lenguaje compilado con tipado estático, inspirado conceptualmente en Lua, pero diseñado desde cero teniendo en mente una característica única: ser escrito por modelos de lenguaje. Toda la especificación del lenguaje cabe en apenas 3.200 tokens, lo que permite que cualquier modelo de IA moderno la comprenda y utilice efectivamente sin consumir recursos excesivos de contexto.
La innovación principal de Mog radica en su enfoque de seguridad mediante permisos basados en capacidades. Cuando un agente de IA escribe un programa en Mog, el código compilado no tiene acceso directo a llamadas del sistema, librerías estándar de C, o memoria sin supervisión. En su lugar, todas las operaciones potencialmente peligrosas deben pasar a través de funciones proporcionadas explícitamente por el programa anfitrión, que actúa como guardián de permisos.
Esta arquitectura resuelve una paradoja crítica en la seguridad de agentes IA. Tradicionalmente, existe una disyuntiva imposible: otorgar acceso total al agente lo hace inseguro, pero aislarlo demasiado lo vuelve inútil. Peor aún, cuando un agente genera scripts que después ejecuta, estos heredan automáticamente permisos sin restricciones, creando vulnerabilidades en cascada. Mog cambia esta ecuación permitiendo que los permisos se propaguen de forma controlada desde el agente a cualquier código que genere.
El lenguaje ha sido diseñado deliberadamente con características que podrían parecer limitantes para programadores humanos, pero que minimizan errores cuando lo escriben máquinas. No existe precedencia de operadores implícita: operaciones no asociativas requieren paréntesis explícitos. Tampoco hay coerción de tipos implícita, una fuente histórica de errores sutiles. La ausencia de genéricos complejos, macros o metaprogramación elimina superficies de ataque potenciales. Los creadores de sistemas con IA no necesitan confiar en que los modelos dominen la complejidad abstracta; necesitan confiar en que generan código correcto y predecible.
La compilación a código nativo proporciona velocidad de ejecución sin el sobrecosto de intérpretes o máquinas virtuales, aspecto crítico para plugins que se cargan dinámicamente en aplicaciones. El compilador está escrito en Rust seguro, permitiendo que toda la cadena de herramientas sea auditada para vulnerabilidades de seguridad.
Mog también aborda la fluidez de interacción con agentes IA. Permite que estos sistemas se modifiquen a sí mismos sin reiniciar, compilando y cargando nuevas extensiones sobre la marcha. El soporte para asincronía está integrado en el lenguaje, permitiendo que los programas Mog se integren perfectamente en bucles de eventos de sistemas más grandes, como aquellos basados en Bun.
Implementaciones técnicas adicionales garantizan la robustez: el programa Mog utiliza una pila dentro de una arena de memoria dedicada proporcionada por el anfitrión, protegida por una página de guarda que previene desbordamientos de pila. El tiempo de ejecución se limita mediante comprobaciones cooperativas de interrupciones que el compilador inserta estratégicamente, causando solo aproximadamente un 10% de degradación de rendimiento en los casos más críticos.
Con licencia MIT y abierto a contribuciones, Mog representa un enfoque fundamentalmente diferente a la seguridad de agentes IA, uno que no intenta entrenar modelos para ser perfectos, sino que construye barreras técnicas que permiten que código imperfecto sea ejecutado de forma segura. En un ecosistema donde herramientas como OpenClaw y otros agentes IA ejecutan plugin con riesgos desconocidos, este tipo de innovaciones arquitectónicas podría resultar esencial.
