FRAGUA
Refactorización optimizada formalizada guiada por AI explicable
Descripción
Forge es una extensión VScode que usa Llama 4 para refactorizar su código Python, luego demuestra formalmente que es equivalente al original usando las pruebas Z3, Crosshair y Runtime. Refactorización limpia y sin errores con garantías. AI + Métodos formales, finalmente.
