Axiomat
Software that formally verifies AI agents' answers to company data queries so businesses can trust them without manual checks.
Software that formally verifies AI agents' answers to company data queries so businesses can trust them without manual checks.
Monitoring and control layer that lets teams see, bound, and intervene in what their AI agents do.
Standardized tests that show robotics companies where their robots fail under changing weight, friction and materials before deployment.
Zero-trust access controls letting outside AI agents work in enterprise customers' private systems, with approvals and audit logs.
Scoped corrections that stop production AI agents from repeating recurring mistakes, for engineering teams running customer-facing agents.
Flags likely-wrong LLM answers for finance, legal and healthcare teams before customers see them.
Security testing and runtime monitoring for AI agents at companies in regulated industries.
Funding: Backed by Paul Vixie (amount not stated)
An API that continuously checks whether users are humans or bots and AI agents, for websites and apps.
Audio watermarks in AI agent voices that survive phone calls, for banks and call centers to verify agents.
Security monitoring that shows companies which AI apps employees use on their devices and blocks risky actions.
Small company-specific models that approve or block each action AI agents take, for businesses running agents.
Automated red-teaming agents that find security holes in customer-facing AI agents for large enterprises.
Agent that independently re-verifies every number in AI-generated results and shows its work, for analysts and teams.
Software that monitors deployed medical imaging AI for hospitals, tracking accuracy, drift and bias against radiologist reads.
A shared workspace where teams give AI agents permissioned access to company tools, context, and reusable workflows.
Monitoring for teams running production AI agents, catching silent failures and suggesting prompt or harness fixes.
Insurance and security coverage for businesses running AI agents in production.
Authorization layer letting teams give AI agents Gmail, Slack and Drive access without exposing credentials.
Staging environments that replay recorded production events so enterprises can safely test changes to their AI agents.
Liability insurance and risk certification for companies deploying AI agents that take actions autonomously.
Prompt-injection defense for AI agents, plugged into frameworks like LangGraph, for companies running agentic apps.
Identity, scoped permissions, approval flows and audit logs controlling what company AI agents can access and do.
Interpretability SDK that lets foundation model builders analyze and steer their models' behavior.
Debugging assistant that pinpoints where developers' AI agents went wrong and why.
An API that checks AI agent actions at runtime, blocking wrong ones before they execute, for developers building agents.
Monitoring and debugging for engineering teams running AI agents in production, catching loops and hallucinations live.
Enterprise software that tracks which AI tools and spending a company uses and routes employee AI requests to models.