MCP server

INVARA

io.github.Jujitae/invara

Checked 25 Oct 2026, 21:11 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Website Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 25 Oct 2026, 21:11 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add invara -- uvx invara@0.3.0

Claude Desktop

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

Codex (config.toml)

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

Gemini CLI

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

Cursor

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

VS Code

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

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

Torneo
Observatory operated and funded by devlo: real tools on frozen tasks; intervals, cost, limits.
Reality Graph Verification Tools
Read-only AI coding tools for change verification, release readiness, capacity, and guidance.
Datoka API
Signed API declarations for agent handoffs. Free demo and verification; receipts cost 0.002 USDC.
Narrowhighway Concordance
Deterministic claim verification with receipts across ~60 domains. No model in the loop.
Governance Platform
Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.
Nsgoods Workbench
Read only x402 catalogue: payability verdicts, prices, drift, host status, signatures. No wallet.
Dechonet
30 security tools for AI agents: phishing links, exposure maps, DNS, SSL, PQC, history, pivots.
TradeAssi
Crypto tools for AI agents: live market data, exchange-wide screener, backtests and paper trading.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.Jujitae/invara.svg)](https://aptlynx.net/servers/io.github.Jujitae/invara)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents