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.