INVARA

Overview

INVARA is a Model Context Protocol (MCP) server: Independent verification that a change kept its declared constraints. No model in the verdict path. Because it speaks the Model Context Protocol, AI assistants can use INVARA as a set of callable tools instead of you copy-pasting between apps.

It runs locally: the Python package invara (via uvx) speaks MCP over stdio on your machine. No credentials are required — it works out of the box. The current release is v0.1.2, published under the Apache-2.0 license, with source at Jujitae/invara on GitHub.

On mcp.site, INVARA sits in the AI & Agents category. Any MCP client can use it — Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, Zed among them — via the install snippets below. If you maintain INVARA for Jujitae, claim this listing to verify ownership, earn the Verified badge, and keep the details current.

Installation

// claude_desktop_config.json
{
  "mcpServers": {
    "invara": {
      "command": "uvx",
      "args": [
        "invara"
      ]
    }
  }
}