io.github.Jujitae/invara
INVARA
Independent verification that a change kept its declared constraints. No model in the verdict path.
needs args probed 2026-10-15
MCP error -32000: Connection closed
usage: invara [-h]
{seal,judge,list,log,show,chain,init,replay,assure,repair,intent}
...
invara:- Run it
- uvx invara==0.3.0 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Repository
- https://github.com/Jujitae/invara
- Website
- https://migaryos.com/invara/
- Registry
- active, updated 2026-09-11 · registry entry
- Reachable
- 0 of the last 1 probe
Badge and feed
[](https://mcpcost.ulehla.dev/s/io.github.Jujitae/invara)
An entry for every probe that changed the result, the tool count or the token cost: Atom feed. Add it to a feed reader or a Slack RSS app to hear when the server stops answering or its tool set grows.