{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Jujitae/invara","description":"Independent verification that a change kept its declared constraints. No model in the verdict path.","title":"INVARA","repository":{"url":"https://github.com/Jujitae/invara","source":"github"},"version":"0.3.0","websiteUrl":"https://migaryos.com/invara/","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"invara","version":"0.3.0","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-11T04:46:16.855711Z","publishedAt":"2026-09-11T04:46:16.855711Z","updatedAt":"2026-09-11T04:46:16.855711Z","isLatest":true}}}