All activity
FORGE is a VSCode extension that uses Llama 4 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.
FORGEFormalized Optimized Refactoring Guided by Explainable AI
Sara Kotharileft a comment
We built FORGE during the Llama Stack Hack to tackle a real pain: AI refactors that silently break code. FORGE ensures your code stays correct by combining Llama 4 with formal verification. Would love your feedback!
FORGEFormalized Optimized Refactoring Guided by Explainable AI