{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.WSattazahn/caveat-lang","description":"Authoring bridge for Caveat: validate, check and test programs; explain decisions; find dependents.","repository":{"url":"https://github.com/WSattazahn/caveat-lang","source":"github"},"version":"1.2.0","packages":[{"registryType":"npm","registryBaseUrl":"https://registry.npmjs.org","identifier":"caveat-lang","version":"1.2.0","runtimeHint":"npx","transport":{"type":"stdio"},"packageArguments":[{"type":"positional","value":"mcp"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-20T18:17:30.244351Z","publishedAt":"2026-10-20T18:17:30.244351Z","updatedAt":"2026-10-20T18:17:30.244351Z","isLatest":false}}}