FORGE - VS Code Extension

Built with Sara Kothari

  • Built a multi-layer verification framework that integrates large language models with formal testing to guarantee correct code refactoring.
  • Developed a pipeline combining runtime testing, Z3-based symbolic verification, and CrossHair property analysis to detect edge cases and prove behavioral equivalence.
  • Implemented automated result analysis and feedback loops to guide the model toward verified, functionally consistent refactors across files. The system ensures every transformation is both optimized and mathematically sound.

Demo Video filmed on VS Code