ExactTeX es un superconjunto gradual de LaTeX desarrollado por Camilo Chaves que añade anotaciones opcionales sobre archivos .tex para que el compilador pueda comprobar referencias, detectar identificadores mal escritos y señalar incoherencias antes de imprimir el PDF. Renombrar un archivo de .tex a .xtex mantiene su validez intacta; el contenido no anotado se transporta byte a byte sin alterarse, de modo que cualquier documento LaTeX existente es ya un documento ExactTeX válido. A partir de ahí, el usuario decide cuánto anotar: cada anotación aporta comprobaciones adicionales.
La herramienta ofrece dos niveles de anotación. El primero, @id(x), se cuelga de cualquier construcción LaTeX (teoremas, algoritmos, secciones) y activa referencias verificadas y renombrados seguros. El segundo, mediante bloques tipados como \figure(x) o \table(x), permite al compilador validar campos concretos: que la imagen exista, que el Pie esté presente o que el número de columnas coincida. Por ejemplo, un mensaje tradicional de LaTeX como 'Overfull \hbox (12.3pt too wide)' se convierte en 'la tabla "results" se sale 12.3pt del margen derecho', usando los nombres definidos por el autor.
El compilador incorpora además un modelo de revisiones integrado en el propio archivo, algo que LaTeX no ofrecía hasta ahora y que herramientas como los editores externos resolvían con capas propietarias incompatibles entre sí. El proyecto se distribuye en tres superficies —terminal, editor (LSP) y navegador (WebAssembly)— mantenidas coherentes mediante una suite de paridad en integración continua. La cobertura, es decir, el porcentaje del documento bajo comprobación, se reporta como una métrica visible para el usuario. Entre sus limitaciones declaradas, el modelo de revisiones aún presenta defectos detectados en uso real, y el compilador no reemplaza a TeX ni abandona el ecosistema LaTeX: las revistas siguen recibiendo un .tex convencional.