Assura

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