VERAX MCP Server

io.github.verax-ai/verax

Repository Registry

What is the VERAX MCP server?

The body an agent asks before it acts: decide, approve, and keep a signed record on your machine.

How to install VERAX

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Environment / auth

VERAX_ISSUER
required
Issuer the agent's token must carry. The body refuses to start without one; `verax doctor` names what is missing.
VERAX_JWKS_URL
required
Where the body fetches the keys that verify that token.
VERAX_AUDIENCE
required
Audience the token must name, so a token minted for something else is refused.
VERAX_STATE_DIR
required
Directory the ledger, keys and approvals live in. It stays on this machine.
VERAX_POLICY_FILE
required
Policy the gate applies. @verax-ai/proxy ships policy/default.json, which denies what it does not name.
VERAX_BIND
host:port the body listens on. Anything but loopback needs VERAX_TLS_TERMINATED=1.
VERAX_INVENTORY_FILE
Roster document the body serves; the format is @verax-ai/inventory.

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "verax": {
      "command": "npx",
      "args": [
        "-y",
        "@verax-ai/body"
      ],
      "env": {
        "VERAX_ISSUER": "<YOUR_VERAX_ISSUER>",
        "VERAX_JWKS_URL": "<YOUR_VERAX_JWKS_URL>",
        "VERAX_AUDIENCE": "<YOUR_VERAX_AUDIENCE>",
        "VERAX_STATE_DIR": "<YOUR_VERAX_STATE_DIR>",
        "VERAX_POLICY_FILE": "<YOUR_VERAX_POLICY_FILE>",
        "VERAX_BIND": "<YOUR_VERAX_BIND>",
        "VERAX_INVENTORY_FILE": "<YOUR_VERAX_INVENTORY_FILE>"
      }
    }
  }
}

Related MCP servers

io.github.verbart/tradernet-mcp

Stale

MCP server for Tradernet/Freedom24 trading API — portfolio, orders, quotes, and more

JavaScript

View repository →

io.github.verbart/tradernet-mcp-server

Stale

MCP server for Tradernet/Freedom24 trading API — portfolio, orders, quotes, and more

JavaScript

View repository →

io.github.verbative/verbative-memory

Active

On-device, self-organizing memory for AI coding agents — recalls the right facts into each prompt.

View repository →

io.github.vercel/next-devtools-mcp

Maintained

Connect Claude and Cursor to your running Next.js dev server for live errors, routes, and logs.

810

TypeScript

View repository →

Verdoc

Active

Deterministic AGENTS.md and repo analysis for coding agents, paid per call in USDC over x402.

JavaScript

MIT

View repository →

Veri Asia

Calibrated probabilities, fair odds and value plays for Asian football, benchmarked vs Pinnacle.

View repository →