I gave Claude access to my Home Assistant. It helped me audit, debug, and improve my smart home better than I ever could have.

This is an implementation of the equivalence checker presented in "Semantic Program Alignment for Equivlance Checking" by Berkeley Churchill, Oded Padon, Rahul Sharma and Alex Aiken, presented at PLDI ...