Microsoft показала PDD Kit для проверки кода, написанного ИИ-агентами
PDD Kit доказывает, что код соответствует заданным требованиям, а там, где доказательство неприменимо, использует тесты; пока инструмент проверяет только код на языке программирования Rust.

