1
Why we taught agents to break distributed safety properties
The post introduces an Antithesis skill that lets AI agents perform mutation testing on distributed systems, injecting subtle bugs to check whether generated test suites can falsify safety properties. Using rqlite, the agents ran ~24 hours of tests, falsified 11 of 13 properties, and uncovered three real upstream bugs, demonstrating the technique’s practical value.
Antithesisantithesis.com7 minHN3