Grip Security, Nudge Security, Valence Security (SaaS security posture).
Zylo, Productiv, Torii (SaaS management platforms expanding into AI).
Strong Intelligence (now Cisco), Protect AI, Lakera (AI-specific security).
Microsoft Purview AI Hub, Salesforce Einstein Trust Layer.
Network-layer discovery (no endpoint agents) means Oximy sees AI tools that users install without IT approval. SOC 2 Type I certified with an open-source sensor builds trust with CISOs. Real-time ML-powered data classification catches sensitive data flowing to unauthorized AI tools. This is a compliance-driven product with regulatory tailwinds.
Using network traffic AI classification for tool discovery, real-time data exfiltration prevention, and usage-cost pattern optimization.
Crowdsourced human-preference benchmarking platform for LLMs and generative AI models.
Neutral third-party evaluation becomes critical infrastructure as model proliferation outpaces any single lab's ability to grade itself credibly.
Catches AI agent failures before users see them by stress-testing across text, voice, and images.
AI agents are shipping to production faster than anyone can test them. Ashr generates synthetic users that stress-test agents across text, voice, and images before real users hit the failure modes.
Deploys AI mathematicians that formally verify proofs, grounding outputs in truth not guesses.
LLMs hallucinate. Lean proves things. Cajal pairs LLMs with formal verification so every mathematical result is machine-checked, starting with quantum computing and finance where a wrong proof costs real money.
Evaluates and certifies AI agents for safe deployment with red teaming and formal guarantees.
Red teaming and guardrails exist as separate tools. Cascade combines them into one platform with adaptive scaffolding that learns from production runs, already deployed across legal reasoning and customer support agents. The CEO researched graph reasoning and agentic safety at UC Berkeley's BAIR Lab.