Other / INVARA

INVARA

io.github.Jujitae/invara · v0.3.0

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

Description supplied by the publisher in the MCP Registry. We have not tested this server.

Install

uvx invara

Assembled from the package metadata in the official MCP Registry (including any subcommand or flag the publisher lists). Some publishers do not list the subcommand that starts MCP mode, so confirm the command in the README, along with any required configuration and credentials, before connecting it to real data.

Signals

GitHub stars1
npm weekly downloads-
Last push1mo ago
LicenceApache-2.0
Open issues0
SECURITY.mdYes
LanguagePython
Latest version published2026-09-11

Signals captured from GitHub, npm and the official MCP Registry on October 17, 2026. See the scoring method.

Similar servers

ChiR24-unreal_mcp_server

Score 80

A comprehensive Model Context Protocol (MCP) server that enables AI assistants to control Unreal E…

★ 957MITpushed today
OtherRemote

Jacobian

Score 77

Executable mathematics and independent verification for AI agents.

★ 291↓ 150/wkMITpushed 5d ago
Other

Macula mesh

Score 76

Model Context Protocol server that exposes the Macula mesh to any agent harness

★ 1Apache-2.0pushed 1d ago
Other