Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.

eBPF-powered network observability for Kubernetes. Indexes L4/L7 traffic with full K8s context, decrypts TLS without keys. Queryable by AI agents via MCP and humans via dashboard.

A modular external attack surface mapping tool integrating tools for automated reconnaissance and bug bounty workflows.