# BPS MCP Server

## Quick Start

```bash
# Connect this server (installs CLI if needed)
npx -y @smithery/cli@latest mcp add bps-mcp-server/murphi

# Browse available tools
npx -y @smithery/cli@latest tool list bps-mcp-server/murphi
```

## Direct MCP Connection

Endpoint: `https://murphi--bps-mcp-server.run.tools`

**Required config:**
- `BPS_API_KEY` (header) — API WEBAPI BPS