INVARA MCP Server

io.github.Jujitae/invara

What is the INVARA MCP server?

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

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

~/Library/Application Support/Claude/claude_desktop_config.json

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

Active

Read, search, draft, send and file iCloud Mail over IMAP and SMTP. No tool destroys mail.

Python

MIT

Active

Session-bound Docker workflow server through Codex. State is discarded with the container.

TypeScript

MIT

Browser-local and CLI static evidence for deployed AI model artifacts.

Active

Shared, cited knowledge-graph memory for agents — ask, search, remember, keep standing instructions

Python

MIT

Active

Malaysia public holidays, school terms, business days & a leave optimizer (13 tools).

TypeScript

MIT

Maintained

MCP server to integrate with Juniper Routing Director

Python

Apache-2.0