Laporan AI · Microsoft · 2026-11-05 · Pengumuman produk
Memverifikasi secara formal aplikasi web full-stack yang ditulis agen dengan PDD Kit
Judul asli: Formally verifying agent-written full-stack web apps with PDD Kit
PDD Kit mengubah maksud developer menjadi spesifikasi formal Verus, membuktikan bahwa kode buatan AI memenuhinya untuk setiap input, dan beralih ke pengujian jika pembuktian tidak praktis. Dalam uji coba di dalam Chopin milik GitHub Next, PDD Kit memverifikasi logika login Pet Store, sebuah etalase toko berbasis Rust, menemukan bug yang sudah ada, dan membuktikan tidak adanya bug login terhadap spesifikasi. Developer meninjau maksudnya tanpa membaca kode yang dihasilkan baris demi baris.