Cohexa
Stop AI agents from silently overwriting each other's shared files — a single-host coherence guard, TLA+-verified.
