VERAX

io.github.verax-ai/verax

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "verax": {
      "command": "npx",
      "args": [
        "-y",
        "@verax-ai/body@0.8.2"
      ],
      "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": "127.0.0.1:8787"
      }
    }
  }
}
Environment variables
  • VERAX_ISSUERrequiredIssuer the agent's token must carry. The body refuses to start without one; `verax doctor` names what is missing.
  • VERAX_JWKS_URLrequiredWhere the body fetches the keys that verify that token.
  • VERAX_AUDIENCErequiredAudience the token must name, so a token minted for something else is refused.
  • VERAX_STATE_DIRrequiredDirectory the ledger, keys and approvals live in. It stays on this machine.
  • VERAX_POLICY_FILErequiredPolicy the gate applies. @verax-ai/proxy ships policy/default.json, which denies what it does not name.
  • VERAX_BINDhost:port the body listens on. Anything but loopback needs VERAX_TLS_TERMINATED=1.

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.8.2
Registry
active
Published
11/4/2026

More Developer Tools servers

Browse all Developer Tools →

io.github.verbart/tradernet-mcp

verbart

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

Developer ToolsAdded 8 months ago

io.github.verbart/tradernet-mcp-server

verbart

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

Developer ToolsAdded 8 months ago

io.github.verbative/verbative-memory

verbative

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

Developer ToolsAdded 2 months ago

verbatra

verbatra

Translation status, glossary, and editing tools for a verbatra i18n project, over stdio.

Developer ToolsAdded 2 weeks ago

Verdoc

verdochello

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

Developer ToolsAdded 2 months ago

Veri Asia

veriasia

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

Developer ToolsAdded 4 months ago

Add the badge to your site

Show visitors that VERAX is listed here — it’s also the link we check for a free listing.

VERAX — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-verax-ai-verax?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="VERAX — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![VERAX — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-verax-ai-verax?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.