Blog
Benchmarks, decisiones de diseño y guías: construir agentes de IA en Synsema y desplegarlos con un manifiesto de permisos, secretos sellados y auditoría. Cada entrada también es Markdown: añade .md a su URL.
9 resultados para agentes
Jev es el modelo System One de TypeSafe: responde con probabilidades calibradas y tipadas en vez de texto. En Synsema es una primitiva del lenguaje — `require judge`, un bloque, una llamada, tres verbos — con degradación honesta cuando no está.
Lo que frena a un agente de IA en una empresa no es el modelo, es seguridad. Un manifiesto de permisos que el runtime hace cumplir, secretos que el programa no puede leer y un registro de cada comprobación resuelven la conversación.
Casi ninguna filtración de secretos en sistemas con agentes es ingeniosa. Al modelo le pidieron la clave y el modelo tenía la clave. Los secretos sellados eliminan la segunda mitad de esa oración, y cambian lo que una revisión de seguridad tiene que mirar.
MCP es JSON-RPC. En Synsema el servidor entero es una tarea despachadora y una ruta POST. Las herramientas son tareas con cuerpo real, los secretos quedan sellados y la entrada no confiable corre bajo un techo de capacidades.
Terminal o navegador, cualquier modelo compatible con OpenAI o Anthropic, y herramientas que por construcción no pueden salirse de tu repo. Lampson es un agente de programación escrito enteramente en Synsema.
Un lamp es una unidad portátil de capacidad. Su manifiesto declara qué puede tocar el código, el runtime de Synsema lo hace cumplir y registra cada comprobación. Instalás uno con lamp add y se lo exponés a cualquier agente con lamp mcp.
Una compuerta que espera a una persona de verdad — en la terminal, o encolada detrás de enlaces de un solo uso cuando el programa corre como servidor — y que deniega cuando no hay nadie. Un agente no puede falsificar una aprobación.
Un agente descubre una API de Synsema en 1,37 ms, por delante de Go y de Node — y los documentos de descubrimiento se generan, no se escriben.
Rendimiento de primer nivel más seguridad por capacidades incorporada al lenguaje — por qué Synsema es la mejor opción para backends de agentes de IA y para cualquier servicio que reciba entrada no confiable.