"DEVGUARD team on IBM Bob 2.0 hackathon Hackathon"

DEVGUARD is a behavioral safety layer for AI-assisted software maintenance. It maps existing application behavior, defines protected contracts, detects unintended AI changes, verifies results deterministically, and produces proof of correctness.