Theorem
Program verification so even your systems engineers can vibecode
Other 2025 YC Security Companies
Firmware security and automated fuzzing for embedded systems and IoT devices.
Secure access control and authorization platform for agent workflows
The authentication framework for TypeScript
AI-powered code security
Autonomous security testing for web apps, APIs, cloud, and AI systems
Global Compliance for Enterprises
Visibility and Controls for Browser Agents
AI Agents for Security Operations Teams
Vulnerability Management for Human Risk
Agentic AI Security and Governance
AI-Native Cloud Incident Response Platform
The risk management software for enterprises adopting AI
Autonomous Security Agents
Zero-trust authentication, authorization, and auditing for AI agents
We help you get compliant while you focus on your business.
AI-native Red Teaming and Offensive Security
Tinfoil makes your AI workflows secure, verifiable, and private.
Continuous AI pentesting that finds and fixes vulnerabilities
We help software companies sell to government.
Human Risk Intelligence for the AI-era
Software that maps your infrastructure. Open core alternative to Wiz