EveryDev.ai
Subscribe
Home
Developers

3,986+ AI companies

  • Radar
  • Trending
AI Tools by Topic
  • AI Coding Assistants
  • Agent Frameworks
  • MCP Servers
  • AI Prompt Tools
  • Vibe Coding Tools
  • AI Design Tools
  • AI Database Tools
  • AI Website Builders
  • AI Testing Tools
  • LLM Evaluations
Follow Us
  • X / Twitter
  • LinkedIn
  • Reddit
  • Discord
  • Threads
  • Bluesky
  • Mastodon
  • YouTube
  • GitHub
  • Instagram
Get Started
  • Users
  • Rate Tools
  • About
  • Editorial Standards
  • Corrections & Disclosures
  • Community Guidelines
  • Advertise
  • Contact Us
  • Newsletter
  • Submit a Tool
  • Start a Discussion
  • Write A Blog
  • Share A Build
  • Terms of Service
  • Privacy Policy
Explore with AI
  • ChatGPT
  • Gemini
  • Claude
  • Grok
  • Perplexity
Agent Experience
  • llms.txt
Theme
With AI, Everyone is a Dev. EveryDev.ai © 2026
    1. Home
    2. Developers
    3. Invariant Labs

    Invariant Labs

    Invariant Labs is an ETH Zurich spin-off and AI security research lab focused on making AI agents robust, reliable and secure. It builds tools for observing agent behavior, enforcing contextual security policies and scanning Model Context Protocol (MCP) servers for vulnerabilities.

    Visit Website

    At a Glance

    1Tool Listed
    6Products
    8Capabilities
    Discussions
    Zurich, SwitzerlandHeadquarters
    2024Est.
    6Employees
    Focus Areas
    Observability Platforms
    MCP Tools
    LLM Orchestration
    Connect
    Latest News
    Snyk acquires Invariant Labs to accelerate agentic-AI security innovationJun 24, 2025
    GitHub MCP Exploited: Accessing private repositories via MCPMay 26, 2025
    Markets
    • AI and agent developers
    • AI security engineers and security teams
    • Platform and infrastructure teams operating enterprise agents
    • Organizations deploying LLM, MCP and autonomous-agent applications
    • +1 more

    AI Tools by Invariant Labs

    (1)
    View Invariant Gateway
    Invariant Gateway tool icon

    Invariant Gateway

    Open Source LLM Proxy for Agents

    ObservabilityMCP ToolsLLM Orchestration

    Discussions

    No discussions yet

    Be the first to start a discussion about Invariant Labs

    Latest News

    06/24/2025

    Snyk acquires Invariant Labs to accelerate agentic-AI security innovation

    snyk.io
    05/26/2025

    GitHub MCP Exploited: Accessing private repositories via MCP

    invariantlabs.ai
    04/29/2025

    Invariant Research's AgentDojo wins first prize in the Center for AI Safety SafeBench competition

    invariantlabs.ai
    04/24/2025

    Invariant MCP-Scan partnership with Smithery

    invariantlabs.ai

    Products & Services

    6
    Invariant Guardrails
    2025-04-17

    An open-source, transparent contextual guardrailing layer deployed at the LLM/MCP boundary. It evaluates expressive deterministic rules over agent traces and can block unsafe tool calls, data flows and content.

    MCP-Scan
    2025-04-11

    An open-source scanner for MCP installations and servers that analyzes tool descriptions for tool poisoning, MCP rug pulls, cross-origin/tool-shadowing escalation and prompt injection; it also supports tool pinning and inspection.

    Invariant Explorer
    2024-12-17

    An observability and visualization tool for browsing, debugging, annotating, testing and sharing AI-agent traces, including a public benchmark registry.

    Invariant Gateway
    2025-03-06

    A lightweight, zero-configuration LLM/MCP proxy that forwards requests, captures runtime traces and supports security monitoring and guardrail enforcement without invasive agent-code changes.

    Market Position

    Invariant Labs positioned itself around the combination of agent observability, contextual runtime guardrails and MCP-specific security scanning. Its differentiator was enforcing organization-specific rules over context and data flows—not only filtering isolated prompts—while keeping the tooling transparent and open source. Following the June 2025 acquisition, these capabilities are being incorporated into Snyk's AI Trust Platform and Snyk Labs.

    Leadership

    Founders

    MF

    Marc Fischer

    PhD researcher and former doctoral student in ETH Zurich's Secure, Reliable and Intelligent Systems (SRI) Lab; CEO and co-founder. His work focuses on securing and breaking agentic AI systems.

    MB

    Mislav Balunović

    PhD researcher and former doctoral student in ETH Zurich's SRI Lab; former CTO and co-founder. He was a long-time collaborator with Martin Vechev on AI-security research.

    LB

    Luca Beurer-Kellner

    ETH Zurich AI-security researcher and former SRI Lab doctoral student; Chief Technology Officer/Chief Scientist and co-founder. He has worked on LLM security, programming interfaces and agent security.

    MV

    Martin Vechev

    Professor of Computer Science at ETH Zurich and Head of its Secure, Reliable and Intelligent Systems Lab; co-founder and advisor. His lab is known for research in robust, secure and private AI and for producing the LMQL and LVE projects.

    FT

    Florian Tramèr

    Professor of Computer Science at ETH Zurich and researcher in secure/private AI; co-founder and advisor. He has collaborated with Vechev's group on robust and secure AI research.

    Executive Team

    MF

    Marc Fischer

    Chief Executive Officer and co-founder

    PhD researcher and former ETH Zurich SRI Lab doctoral student focused on agentic-AI security.

    LB

    Luca Beurer-Kellner

    Chief Technology Officer and co-founder

    ETH Zurich AI-security researcher and former SRI Lab doctoral student working on LLM security, programming interfaces and agent systems.

    Board of Directors

    MV
    Martin Vechev
    Advisor; Professor of Computer Science and Head of the SRI Lab at ETH Zurich
    FT
    Florian Tramèr
    Advisor; Professor of Computer Science at ETH Zurich

    Founding Story

    Invariant Labs was spun out of research conducted by its founding team at ETH Zurich over several years. The founders saw autonomous, connected AI agents as a new class of software with security and reliability risks that traditional controls do not adequately address, and formed the company to turn their research into tools that safeguard real-world AI deployments.

    Business Model

    Revenue Model

    The public materials describe open-source tools and free self-serve entry points, alongside custom dedicated/private deployments and organization-level deployments available by contacting Invariant. A public usage or subscription price is not stated.

    No IPO: Snyk acquired Invariant Labs on 2025-06-24, and the team continued its work within Snyk Labs.

    Target Markets

    Industries & Segments
    • AI and agent developers
    • AI security engineers and security teams
    • Platform and infrastructure teams operating enterprise agents
    • Organizations deploying LLM, MCP and autonomous-agent applications
    • Researchers and developers benchmarking or testing agent systems
    Use Cases
    • Securing LLM and MCP-powered agents against prompt injection and tool poisoning
    • Preventing sensitive-data and PII leakage through tools, email and other external sinks
    • Observing, debugging and auditing autonomous agent behavior
    • Testing agent capabilities, reliability and regressions before production
    • Scanning and monitoring MCP server/tool ecosystems
    • Enterprise security and compliance monitoring across multiple agent applications

    Quick Facts

    Headquarters
    Zurich, Switzerland
    Founded
    2024
    Entity Type
    AG
    Employees
    6
    Office Locations
    Zurich

    History & Milestones

    2025-03-06

    Released Invariant Gateway, a zero-configuration proxy for tracing, debugging and securing agent applications.

    2025-04-11

    Launched MCP-Scan to detect MCP tool poisoning, rug pulls, cross-origin escalation and prompt-injection risks.

    2025-04-17

    Released Invariant Guardrails, a contextual security layer for LLM and MCP-powered applications.

    2025-04-24

    Announced a partnership with Smithery; Smithery integrated MCP-Scan and began scanning MCP servers in its registry.

    2025-06-24

    Snyk announced its acquisition of Invariant Labs; the team and technology joined Snyk Labs while continuing to work from Zurich.

    Key Capabilities

    8
    Contextual, rule-based guardrails over messages, tool calls, tool outputs and multi-step data flows
    Tool-call restrictions, data-flow control and loop/retry detection
    Prompt-injection, jailbreak, PII, API-secret, harmful-content and copyright detection
    MCP static scanning, tool pinning and cross-origin/tool-shadowing analysis
    Runtime tracing, visual trace inspection, annotations, filtering, search and collaboration
    Agent unit testing, assertions, regression testing and benchmark visualization

    Integrations & Partnerships

    Platform Integrations

    • OpenAI, Anthropic and Gemini through Invariant Gateway
    • Microsoft AutoGen, OpenAI Swarm, OpenHands, SWE Agent and Browser Use
    • MCP clients and servers, including Claude Desktop, Cursor, Zapier and Smithery's MCP registry
    • Python package and GitHub open-source repositories; MCP-Scan can be run with uvx

    Key Partnerships

    Smithery: integrated Invariant MCP-Scan to scan MCP servers in its registry and expose scan results to users.
    ETH Zurich: official spin-off relationship and ETH AI Center affiliated-startup status.
    Snyk: acquired Invariant Labs on 2025-06-24 and integrated its technology and team into Snyk Labs.

    Connect

    Website
    invariantlabs.ai
    GitHub
    invariantlabs-ai

    AI Topics

    3

    Invariant Labs focuses on these topics:

    Observability Platforms(1)
    MCP Tools(1)
    LLM Orchestration(1)
    Back to all developersSuggest an edit