ปลอม
refactoring ที่ได้รับการปรับปรุงอย่างเป็นทางการนำทางโดย AI ที่อธิบายได้
คำอธิบาย
Forge เป็นส่วนขยาย vScode ที่ใช้ Llama 4 เพื่อ refactor รหัส Python ของคุณ - จากนั้นพิสูจน์อย่างเป็นทางการว่ามันเทียบเท่ากับต้นฉบับโดยใช้ Z3, Crosshair และการทดสอบรันไทม์ ทำความสะอาดใหม่และไม่มีข้อผิดพลาดพร้อมการรับประกัน AI + วิธีการที่เป็นทางการในที่สุด
