SCHMIEDE
Formalisierte optimierte Refactoring -Anleitung durch erklärbare KI
Beschreibung
Forge ist eine VSCODE -Erweiterung, die LLAMA 4 verwendet, um Ihren Python -Code neu zu überarbeiten. Dann beweist er offiziell, dass er dem Original mit Z3-, Crosshair- und Laufzeittests entspricht. Saubere, fehlerfreie Refactoring mit Garantien. AI + formale Methoden endlich.
