SMEDERIJ
Geformaliseerde geoptimaliseerde refactoring geleid door uitlegbare AI
Beschrijving
Forge is een VScode -extensie die Lama 4 gebruikt om uw Python -code te refacteren - bewijst vervolgens formeel dat het equivalent is aan het origineel met behulp van Z3-, Crosshair- en runtime -tests. Schone, bugvrije refactoring met garanties. AI + formele methoden, eindelijk.
