In case you didn't see it yet: https://github.com/piotr-yuxuan/malli-cli

I will open an issue but this spec returns NPE with explain

(deftest xor-test
  (is (= false
         (specs/explain
          [:and
           [:or
            [:map [:network integer?]]
            [:map [:snapshot integer?]]]
           [:not
            [:and
             [:map [:network integer?]]
             [:map [:snapshot integer?]]]]] {}))))