# ProvableHQ/snarkOS | Model Context Protocol (MCP) Server

> A Decentralized Operating System for ZK Applications

- **Stars**: ⭐ 4,526
- **Language**: Rust
- **Native MCP Manifest**: Standard NPX Transport

## 🔌 Claude Desktop Configuration (`claude_desktop_config.json`)

```json
{
  "mcpServers": {
    "snarkOS": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-snarkOS"
      ]
    }
  }
}
```

## ⚡ Cursor MCP Configuration (`.cursor/mcp.json`)

```json
{
  "mcpServers": {
    "snarkOS": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-snarkOS"
      ]
    }
  }
}
```

## 🚀 Launch Commands

- **NPX**: `npx -y @modelcontextprotocol/server-snarkOS`
- **Docker**: `docker run -i --rm mcp/snarkOS`