Unfix es una herramienta de verificación independiente diseñada para C, C++ y firmware que determina si una corrección de errores es real o una falsificación. A diferencia de los agentes de IA que generan código, Unfix no escribe código; su función es reproducir el fallo original, aplicar la corrección propuesta, reejecutar las pruebas y luego revertir la corrección para confirmar que el error vuelve a aparecer. Esto permite emitir un veredicto determinista: VERIFIED, REJECTED o NOT VERIFIABLE, eliminando la ambigüedad de las pruebas que pasan por defecto.
El sistema aborda problemas comunes en el desarrollo de software, como errores de memoria que desaparecen al desactivar sanitizadores (ASan/TSan), pruebas debilitadas o retrasos artificiales que enmascaran las condiciones de carrera. Unfix opera de forma determinista, sin utilizar modelos de lenguaje grandes para tomar la decisión final, basándose exclusivamente en compilaciones, pruebas y ejecuciones en hardware. Actualmente, la herramienta funciona en entornos cerrados sin conexión a internet, ejecutándose en equipos locales o como una extensión MCP para agentes de IA como Claude Code y Codex.
En su repositorio de demostración, Unfix se integra en las solicitudes de extracción (pull requests) para mostrar el veredicto y la evidencia directamente en el código. En una evaluación pública con 10 parches generados por IA, la herramienta verificó 4 correcciones y rechazó 6. Está dirigida a equipos de ingeniería de 20 a 200 personas, especialmente en sectores regulados como la tecnología médica, donde la trazabilidad y la verificación independiente son críticas. La herramienta permite generar informes detallados para registros de cambios conforme a estándares como IEC 62304.