{"servers":[{"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.1.1","websiteUrl":"https://migaryos.com/invara/","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"invara","version":"0.1.1","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-23T04:48:49.813685Z","publishedAt":"2026-08-23T04:48:49.813685Z","updatedAt":"2026-08-23T04:48:49.813685Z","isLatest":false}}},{"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.1.2","websiteUrl":"https://migaryos.com/invara/","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"invara","version":"0.1.2","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-08-23T06:06:47.06811Z","publishedAt":"2026-08-23T06:06:47.06811Z","updatedAt":"2026-08-23T06:06:47.06811Z","isLatest":true}}}],"metadata":{"count":2}}