Weird that they'd put out a blog post when their docs <<a href="https://galoisinc.github.io/MATE/overview.html#status" rel="nofollow">https://galoisinc.github.io/MATE/overview.html#status</a>> say<p>> MATE is not actively developed by Galois, Inc. Please reach out to the email address “mate at galois dot com” if you’d like to discuss further work on MATE!<p>but I'm guessing maybe it's just stale docs, since they pushed the repo 2 weeks ago: <a href="https://github.com/GaloisInc/MATE/commits/main" rel="nofollow">https://github.com/GaloisInc/MATE/commits/main</a>