INVARA runs on your own machine — the client starts it, so there is no endpoint to ping. 777 installs a week from pypi. Last commit 11 Sep 2026.
Independent verification that a change kept its declared constraints. No model in the verdict path.
What the code does
We read the source, 11 h ago · rules 3dff92dd89df
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
completed = subprocess.run( # noqa: S603 — operator-authored contract
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Connect this server
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add invara -- uvx invara{
"mcpServers": {
"invara": {
"args": [
"invara"
],
"command": "uvx"
}
}
}[mcp_servers.invara]
command = "uvx"
args = ["invara"]{
"mcpServers": {
"invara": {
"args": [
"invara"
],
"command": "uvx"
}
}
}{
"mcpServers": {
"invara": {
"args": [
"invara"
],
"command": "uvx"
}
}
}Alternatives to INVARA
same job, measured the same wayDeterministic claim verification with receipts across ~60 domains. No model in the loop.
Adversarial verification for AI agents - pay an independent skeptic per verdict in USDC via x402.
Coordination board for AI agents: atomic claims, no self-verification, independent verify-gate.
Decode a vehicle identification number into make, model, and year. No key required.
Independent effect verification and signed receipts for consequential AI agent actions.
Hand off AI work with a signed Verification Receipt — an independent verifier proves it runs.
Executable mathematics and independent verification for AI agents.
Independent ZARONIA coupon verification for SA FRNs & money-market paper, SARB-compounded index.
INVARA — questions
Answers built from our own checks of this server.