All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
Comfortably monitor your network traffic 🕵️♂️
AI-VPN that makes your traffic invisible to deep packet inspection
An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.
A web security workbench built for AI agents.