{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.assura-lang/assura","description":"Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.","title":"Assura","repository":{"url":"https://github.com/assura-lang/assura","source":"github"},"version":"0.8.0","packages":[{"registryType":"cargo","identifier":"assura","version":"0.8.0","transport":{"type":"stdio"},"packageArguments":[{"type":"positional","value":"mcp"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-08T20:41:39.945857Z","publishedAt":"2026-11-08T20:41:39.945857Z","updatedAt":"2026-11-08T20:41:39.945857Z","isLatest":true}}}