INVARA for Claude Code

io.github.jujitae/invara

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

client:Claude Code transport:stdio runtime:pypi

Install INVARA in Claude Code

run in your project directory

claude mcp add invara -- uvx invara

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs