INVARA

Name: INVARA
Author: Jujitae

Jujitae

Independent verification that a change kept the constraints it declared. Zero dependencies, no model in the verdict path.

Setup

Choose your client, copy the config, then fill in any required environment variables.

claude mcp add invara -- uvx invara

~/.codex/config.toml

[mcp_servers.invara]
command = "uvx"
args = ["invara"]

# codex mcp add invara -- uvx invara

~/.cursor/mcp.json

{
  "mcpServers": {
    "invara": {
      "command": "uvx",
      "args": [
        "invara"
      ]
    }
  }
}

.vscode/mcp.json

{
  "servers": {
    "invara": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "invara"
      ]
    }
  }
}

~/.gemini/settings.json

{
  "mcpServers": {
    "invara": {
      "command": "uvx",
      "args": [
        "invara"
      ]
    }
  }
}

claude_desktop_config.json

{
  "mcpServers": {
    "invara": {
      "command": "uvx",
      "args": [
        "invara"
      ]
    }
  }
}

.trae/mcp.json

{
  "mcpServers": {
    "invara": {
      "command": "uvx",
      "args": [
        "invara"
      ]
    }
  }
}