A test framework for modeling distributed systems and their communications. Generates Malli registries based on a system model. Generates tools for high level system overview and discussions. See the documentation for more info