From academic tool to industrial platform: CI/CD integration, LSP server for VS Code, real-time PCAP sniffer, web UI, and converters from ProVerif/Tamarin.
Source: [HackerNoon](https://hackernoon.com/why-protocol-security-tools-need-to-become-platforms?source=rss)