Topos — Agent swarms for formal verification | BNBOT