FORGE

Formalized Optimized Refactoring Guided by Explainable AI

7 followers

Formalized Optimized Refactoring Guided by Explainable AI

7 followers

FORGE is a VSCode extension that uses Llama 3 to refactor your Python code — then formally proves it's equivalent to the original using Z3, CrossHair, and runtime tests. Clean, bug-free refactoring with guarantees. AI + formal methods, finally.

Overview
Reviews
Team
More

FORGE makers

Here are the founders, developers, designers and product people who worked on FORGE

Yanny A person

FORGE

Sara Kothari Pianist, Researcher, Student

FORGE