INVARA runs on your own machine — the client starts it, so there is no endpoint to ping. 98 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, 2 d ago · rules 995398eba69f
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": {
"command": "uvx",
"args": [
"invara"
]
}
}
}[mcp_servers.invara]
command = "uvx"
args = ["invara"]{
"mcpServers": {
"invara": {
"command": "uvx",
"args": [
"invara"
]
}
}
}{
"servers": {
"invara": {
"type": "stdio",
"command": "uvx",
"args": [
"invara"
]
}
}
}Alternatives to INVARA
same job, measured the same wayBounded readonly SHA256 verification with the official MCP SDK. No code execution or model calls.
Deterministic claim verification with receipts across ~60 domains. No model in the loop.
Your agent verifies its change before commit; PR review that knows what depends on your change.
Plan a safe dependency upgrade path: ordered intermediate versions, breaking changes, verdict.
Decode a vehicle identification number into make, model, and year. No key required.
Independent verifier for AI agents: checks agent claims and doc promises against the code.
Independent effect verification and signed receipts for consequential AI agent actions.
Attestation infrastructure for the agentic economy: signed, independently verifiable verdicts.
INVARA — questions
Answers built from our own checks of this server.