INVARA MCP Server: Install & Setup

Install INVARA in Claude Code

Claude Code

claude mcp add invara -- uvx invara

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

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

Independent verification that a change kept its declared constraints. No model in the verdict path.

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

Run: claude mcp add invara -- uvx invara

invigil/invigil

Linters check your code. Invigil checks whether your repo is legible — to newcomers and AI agents.

index9-org/mcp

Discover, shortlist, compare, cost-model, and live-test 300+ AI models from your editor

raimondasl/isitdone

Make a coding agent prove it: run the repo's real tests, typecheck and lint before it says done.

alekskram/hyperliquid-agent-gateway

Read-only MCP gateway to Hyperliquid: liquidation distance, funding carry, HyperEVM flows. No keys.

Iteksmart/mcp-server

Connect AI agents to iTechSmart UAIO, ProofLink verification, and autonomous IT operations.

WYRE-AI/huntress-mcp

MCP server for Huntress — accounts, organizations, agents, incidents, and reports.