Zero logo

Zero

Visitar

Zero es un lenguaje experimental que permite a los agentes de código consultar la estructura semántica de un programa y proponer cambios verificados. Las personas pueden revisar el código en proyecciones legibles.

¿Qué es Zero?

Zero, también llamado Zerolang, es un lenguaje de programación experimental diseñado para personas que trabajan con agentes de código. Su grafo gestionado por el compilador es la base de datos del programa: los agentes inspeccionan la estructura semántica y envían ediciones verificadas, mientras que las personas describen los resultados deseados y revisan los cambios.

Este flujo integra las comprobaciones del compilador en el proceso de edición. Las proyecciones legibles .0 siguen estando disponibles para la revisión humana y para realizar cambios manuales ocasionales. Zero está pensado para la exploración en un entorno seguro; su documentación advierte que puede haber cambios incompatibles y recomienda evitar los sistemas de producción.

¿Qué puede hacer Zero?

Consultas al grafo semántico

Los agentes usan `zero query` para inspeccionar símbolos, llamadas, tipos, efectos, ID de nodos y hashes del grafo, y obtener información estructurada del programa para realizar ediciones posteriores.

Parches controlados del grafo

`zero patch` se dirige a nodos y campos semánticos. Los hashes del grafo y los valores esperados protegen las ediciones, mientras que las comprobaciones de estructura, tipo, estado obsoleto y metadatos del repositorio rechazan los cambios no válidos antes de que lleguen al almacén.

Proyecciones de texto bidireccionales

`zero export` genera proyecciones legibles del código fuente. Los cambios deliberados en archivos como `src/main.0` se pueden importar de nuevo al grafo con `zero import`; `zero verify-projection` comprueba la coherencia de la proyección.

Comandos de comprobación, pruebas y ejecución

El flujo de trabajo de la línea de comandos incluye `zero check`, `zero test` y `zero run`. De forma predeterminada, los comandos de paquetes usan el directorio actual, y los comandos de ejecución pueden pasar argumentos al programa.

Generación de artefactos de compilación

`zero build` admite salidas ejecutables, de objeto y de LLVM IR. La guía muestra cómo elegir un destino y una ruta de salida para un ejecutable Linux musl x64.

Casos de uso

“Explorar un programa creado por un agente”

Pide a un agente que cree un Hello World, inicialice un paquete, añada una función principal y una operación de salida, y luego lo ejecute. Es un punto de partida sencillo para aprender el flujo de trabajo con grafos.

“Iterar a partir de solicitudes para aplicaciones”

Usa solicitudes conversacionales, como crear una API de CRM, añadir autenticación o corregir una ruta que falla, para guiar el trabajo de un agente mediante consultas al grafo y parches verificados.

“Revisar los cambios en un formato legible”

Exporta una proyección `.0` cuando alguien necesite revisar texto con formato similar al código fuente. CI también puede usar la verificación de proyecciones como control para detectar desviaciones.

Preguntas frecuentes

¿Cómo empiezo?

Instala con `curl -fsSL https://zerolang.ai/install.sh | bash`, añade `$HOME/.zero/bin` a tu PATH y confirma la instalación con `zero --version`. Instala la habilidad de inicialización del agente con `npx skills add vercel-labs/zerolang`.

¿Deben los agentes editar directamente los archivos .0?

Por lo general, los agentes deben usar `zero query` y `zero patch`. Las personas pueden editar ocasionalmente las proyecciones, pero deben ejecutar `zero import` antes de comprobar o ejecutar el programa.

¿Zero está listo para usarse en producción?

Zero es experimental. Su sitio web recomienda contar con cambios incompatibles y ejecutarlo en un entorno seguro, lejos de los sistemas de producción.

Datos rápidos

Categoría
Lenguaje de programación
Usuarios principales
Personas que trabajan con agentes de código
Estado
Experimental
Almacén del programa
zero.graph
Herramienta de línea de comandos
zero
Sitio web
https://zerolang.ai

Análisis de tráfico de Zero

Los datos de tráfico son solo como referencia.

Valoración del dominio
36

Alternativas a Zero

Inception logo

Inception

inceptionlabs.ai

Inception desarrolla modelos de lenguaje grandes basados en difusión bajo la marca Mercury, como Mercury 2 para razonamiento y Mercury Edit 2 para edición de código, orientados a equipos que necesitan modelos rápidos y controlables para aplicaciones basadas en API, flujos de desarrollo, voz, agentes y búsqueda.

Superagent logo

Superagent

superagent.sh

Superagent es un producto de seguridad con IA para código y agentes que detecta y corrige vulnerabilidades de forma continua y entrega cada solución como una solicitud de incorporación de cambios. Gratis para repositorios públicos de GitHub; plan personalizado para repositorios privados y equipos.

Air logo

Air

air.dev

JetBrains Air es un entorno de escritorio para ejecutar agentes de programación en paralelo, mantener las tareas aisladas y revisar los cambios desde un solo espacio de trabajo. Compatible con Codex, Claude Agent, Gemini CLI y Junie en macOS y Linux; Windows llegará próximamente.

SuperQode logo

SuperQode

superqode.dev

SuperQode es una capa de harness de código abierto para agentes de programación que permite descubrir, crear, ejecutar, evaluar y optimizar harnesses de agentes desde un solo terminal. Ofrece interoperabilidad entre A2A, ACP, MCP y UHP para que los equipos sigan usando sus agentes de programación y modelos actuales.