How do I install Assura?

Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.

Does Assura need an API key?

No required environment variable is listed on this record.

Assura runs locally over stdio.

Last checked 2026-11-11. Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.

Power your agent

The publisher's own command. Not a PlugMCP endpoint.

Host a copy with our keys and logs.

Local command

cargo assura

Claude Code has no install link for a local command. Copy the command below and run it in a terminal.

shClaude Code

1claude mcp add io.github.assura-lang-assura -- cargo assura

Run in a terminal.

jsonClaude Desktop

1{2  "mcpServers": {3    "io.github.assura-lang-assura": {4      "command": "cargo",5      "args": [6        "assura"7      ]8    }9  }10}

claude_desktop_config.json

Remote URL or a command on your machine? How the two installs differ

Run on PlugMCP

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Local

Tools

No tool list yet. Remote servers get one after the first health check.

FAQ