FORGE
Formalized Optimized Refactoring Guided by Explainable AI
Start new thread
Sara Kothari

FORGE - Formalized Optimized Refactoring Guided by Explainable AI

by•
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.

Add a comment

Replies

Best
Sara Kothari
Maker
📌
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!