{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools","description":"93 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.","title":"Jarroba Tools","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp"},"version":"0.1.2","packages":[{"registryType":"npm","identifier":"@jarroba/mcp","version":"0.1.2","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, diagram, kg, db, ai, logs, queue, project, tests, chem, chip, calc. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-12T18:20:47.69063Z","publishedAt":"2026-09-12T18:20:47.69063Z","updatedAt":"2026-09-12T18:20:47.69063Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools","description":"100 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.","title":"Jarroba Tools","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp"},"version":"0.1.4","packages":[{"registryType":"npm","identifier":"@jarroba/mcp","version":"0.1.4","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-16T15:09:27.855971Z","publishedAt":"2026-09-16T15:09:27.855971Z","updatedAt":"2026-09-16T15:09:27.855971Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools","description":"104 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.","title":"Jarroba Tools","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp"},"version":"0.1.5","packages":[{"registryType":"npm","identifier":"@jarroba/mcp","version":"0.1.5","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-18T19:21:10.859282Z","publishedAt":"2026-09-18T19:21:10.859282Z","updatedAt":"2026-09-18T19:21:10.859282Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools","description":"115 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.","title":"Jarroba Tools","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp"},"version":"0.1.6","packages":[{"registryType":"npm","identifier":"@jarroba/mcp","version":"0.1.6","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-26T13:30:01.942797Z","publishedAt":"2026-09-26T13:30:01.942797Z","updatedAt":"2026-09-26T13:30:01.942797Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools","description":"120 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.","title":"Jarroba Tools","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp"},"version":"0.1.7","packages":[{"registryType":"npm","identifier":"@jarroba/mcp","version":"0.1.7","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security, experiments. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-29T09:25:57.746024Z","publishedAt":"2026-09-29T09:25:57.746024Z","updatedAt":"2026-09-29T09:25:57.746024Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools","description":"128 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.","title":"Jarroba Tools","repository":{"url":"https://github.com/Invarato/jarroba-mcp","source":"github","subfolder":"mcp"},"version":"0.1.8","packages":[{"registryType":"npm","identifier":"@jarroba/mcp","version":"0.1.8","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security, experiments. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-02T18:23:16.242273Z","publishedAt":"2026-10-02T18:23:16.242273Z","updatedAt":"2026-10-02T18:23:16.242273Z","isLatest":true}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-calc","description":"Maths a model gets wrong: units with dimensional checking, equations, sheets. 5 tools, local.","title":"Jarroba Tools · Calculation","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/calc"},"version":"0.1.4","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-calc","version":"0.1.4","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-16T15:09:30.079881Z","publishedAt":"2026-09-16T15:09:30.079881Z","updatedAt":"2026-09-16T15:09:30.079881Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-calc","description":"Maths a model gets wrong: units with dimensional checking, equations, sheets. 5 tools, local.","title":"Jarroba Tools · Calculation","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/calc"},"version":"0.1.5","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-calc","version":"0.1.5","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-26T13:30:05.844856Z","publishedAt":"2026-09-26T13:30:05.844856Z","updatedAt":"2026-09-26T13:30:05.844856Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-calc","description":"Maths a model gets wrong: units with dimensional checking, equations, sheets. 5 tools, local.","title":"Jarroba Tools · Calculation","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/calc"},"version":"0.1.6","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-calc","version":"0.1.6","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security, experiments. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-29T09:26:01.54623Z","publishedAt":"2026-09-29T09:26:01.54623Z","updatedAt":"2026-09-29T09:26:01.54623Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-calc","description":"Maths a model gets wrong: units with dimensional checking, equations, sheets. 5 tools, local.","title":"Jarroba Tools · Calculation","repository":{"url":"https://github.com/Invarato/jarroba-mcp","source":"github","subfolder":"mcp/packages/calc"},"version":"0.1.7","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-calc","version":"0.1.7","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security, experiments. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-02T18:23:17.54909Z","publishedAt":"2026-10-02T18:23:17.54909Z","updatedAt":"2026-10-02T18:23:17.54909Z","isLatest":true}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-logs","description":"Lets your AI read a CI log far too big for its context. 11 tools, takes a file path.","title":"Jarroba Tools · Logs","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/logs"},"version":"0.1.2","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-logs","version":"0.1.2","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, diagram, kg, db, ai, logs, queue, project, tests, chem, chip, calc. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-12T18:20:48.390988Z","publishedAt":"2026-09-12T18:20:48.390988Z","updatedAt":"2026-09-12T18:20:48.390988Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-logs","description":"Lets your AI read a CI log far too big for its context. 11 tools, takes a file path.","title":"Jarroba Tools · Logs","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/logs"},"version":"0.1.4","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-logs","version":"0.1.4","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-16T15:09:32.857165Z","publishedAt":"2026-09-16T15:09:32.857165Z","updatedAt":"2026-09-16T15:09:32.857165Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-logs","description":"Lets your AI read a CI log far too big for its context. 11 tools, takes a file path.","title":"Jarroba Tools · Logs","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/logs"},"version":"0.1.5","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-logs","version":"0.1.5","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-26T13:30:02.990935Z","publishedAt":"2026-09-26T13:30:02.990935Z","updatedAt":"2026-09-26T13:30:02.990935Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-logs","description":"Lets your AI read a CI log far too big for its context. 11 tools, takes a file path.","title":"Jarroba Tools · Logs","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/logs"},"version":"0.1.6","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-logs","version":"0.1.6","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security, experiments. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-29T09:26:02.841586Z","publishedAt":"2026-09-29T09:26:02.841586Z","updatedAt":"2026-09-29T09:26:02.841586Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-logs","description":"Lets your AI read a CI log far too big for its context. 11 tools, takes a file path.","title":"Jarroba Tools · Logs","repository":{"url":"https://github.com/Invarato/jarroba-mcp","source":"github","subfolder":"mcp/packages/logs"},"version":"0.1.7","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-logs","version":"0.1.7","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security, experiments. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-02T18:23:16.751266Z","publishedAt":"2026-10-02T18:23:16.751266Z","updatedAt":"2026-10-02T18:23:16.751266Z","isLatest":true}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-tests","description":"Audits tests instead of writing them: what each one really asserts. 4 tools, local.","title":"Jarroba Tools · Test audit","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/tests"},"version":"0.1.2","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-tests","version":"0.1.2","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, diagram, kg, db, ai, logs, queue, project, tests, chem, chip, calc. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-12T18:20:49.087074Z","publishedAt":"2026-09-12T18:20:49.087074Z","updatedAt":"2026-09-12T18:20:49.087074Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-tests","description":"Audits tests instead of writing them: what each one really asserts. 4 tools, local.","title":"Jarroba Tools · Test audit","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/tests"},"version":"0.1.4","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-tests","version":"0.1.4","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-16T15:09:35.512945Z","publishedAt":"2026-09-16T15:09:35.512945Z","updatedAt":"2026-09-16T15:09:35.512945Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-tests","description":"Audits tests instead of writing them: what each one really asserts. 4 tools, local.","title":"Jarroba Tools · Test audit","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/tests"},"version":"0.1.5","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-tests","version":"0.1.5","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-26T13:30:04.449557Z","publishedAt":"2026-09-26T13:30:04.449557Z","updatedAt":"2026-09-26T13:30:04.449557Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-tests","description":"Audits tests instead of writing them: what each one really asserts. 4 tools, local.","title":"Jarroba Tools · Test audit","repository":{"url":"https://github.com/Invarato/JarrobaTools","source":"github","subfolder":"mcp/packages/tests"},"version":"0.1.6","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-tests","version":"0.1.6","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security, experiments. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-29T09:26:03.94069Z","publishedAt":"2026-09-29T09:26:03.94069Z","updatedAt":"2026-09-29T09:26:03.94069Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Invarato/jarroba-tools-tests","description":"Audits tests instead of writing them: what each one really asserts. 4 tools, local.","title":"Jarroba Tools · Test audit","repository":{"url":"https://github.com/Invarato/jarroba-mcp","source":"github","subfolder":"mcp/packages/tests"},"version":"0.1.7","packages":[{"registryType":"npm","identifier":"@jarroba/mcp-tests","version":"0.1.7","transport":{"type":"stdio"},"environmentVariables":[{"description":"Which tool domains to publish, comma-separated. Defaults to what this package is for. Valid: core, calc, diagram, kg, db, ai, logs, queue, project, tests, api, chip, chem, access, archsim, security, experiments. Fewer domains means less of your context window spent on tool definitions.","format":"string","name":"JARROBA_MCP_DOMAINS"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-02T18:23:17.059065Z","publishedAt":"2026-10-02T18:23:17.059065Z","updatedAt":"2026-10-02T18:23:17.059065Z","isLatest":true}}},{"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":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.2.0","websiteUrl":"https://migaryos.com/invara/","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"invara","version":"0.2.0","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-06T22:47:49.251165Z","publishedAt":"2026-09-06T22:47:49.251165Z","updatedAt":"2026-09-06T22:47:49.251165Z","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.2.1","websiteUrl":"https://migaryos.com/invara/","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"invara","version":"0.2.1","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-09-07T06:38:43.936613Z","publishedAt":"2026-09-07T06:38:43.936613Z","updatedAt":"2026-09-07T06:38:43.936613Z","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.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}}}],"metadata":{"count":25}}