MCP Tools DirectoryAbout this integration
Independent verification that a change kept its declared constraints. No model in the verdict path.
- Transport
- stdio
- Authentication
- none
- Initial setup
- none
- Runtime
- unattended
- Evidence
- documented
- Version
- 0.3.0
- Package
- invara
- Last compatibility test
- Not independently tested
Connect your agent
invaraPublisher README and executable manifest reviewed from pinned captures; package and integration endpoint were not executed or independently security-audited.
Capabilities: Seal pre-change constraints, Judge changes against declared invariants, List, log, and replay deterministic verdict evidence
Connected profiles
Additional details
io.github.Jujitae/invara
Source ↗ · Checked 2026-09-170.3.0
Source ↗ · Checked 2026-09-17CC0-1.0; package licenses are separate
Source ↗ · Checked 2026-09-17pypi
Source ↗ · Checked 2026-09-17invara
Source ↗ · Checked 2026-09-190.3.0
Source ↗ · Checked 2026-09-19The publisher documents a package MCP entry point and a clean-environment proof that starts the server over stdio.
Source ↗ · Checked 2026-09-19No API key, service, or account is required.
Source ↗ · Checked 2026-09-19The documented MCP server uses stdio.
Source ↗ · Checked 2026-09-19Publisher documentation reviewed; package and integration endpoint not executed or independently security-audited.
Source ↗ · Checked 2026-09-19