VerifyAX MCP Server: Install & Setup

Install VerifyAX in Claude Code

Remote URL

Claude Code

claude mcp add --transport http verifyax https://mcp.verifyax.com/mcp

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "verifyax": {
      "url": "https://mcp.verifyax.com/mcp"
    }
  }
}

npm

Claude Code

claude mcp add verifyax -e VERIFYAX_API_KEY=... -- npx -y @verifyax/mcp-server

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "verifyax": {
      "command": "npx",
      "args": [
        "-y",
        "@verifyax/mcp-server"
      ],
      "env": {
        "VERIFYAX_API_KEY": "..."
      }
    }
  }
}

Replace each ... with your own value.

Frequently asked questions

What does the VerifyAX MCP server do?

Agent evaluation, simulation testing and functional/non-functional verification workflows on the VerifyAX platform.

Is the VerifyAX MCP server free?

The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.

Does VerifyAX run locally or remotely?

Local + Remote. Can run locally or be used as a hosted remote server.

How do I add VerifyAX to Claude Code?

Run: claude mcp add --transport http verifyax https://mcp.verifyax.com/mcp

More developer tools MCP servers

View all

Veris

1229

vighriday/Veris

Behavioral verification for TS/JS repos: builds a behavioral graph, clusters workflows, detects drift and generates adversarial probes with risk scores.

LocalFreeTypeScript

Validate

machinegrade/validate

Deterministic validation of AI-generated artifacts: JSON Schema and OpenAPI response conformance and per-dialect SQL syntax, with typed verdicts and fix hints.

Local + RemoteAccount neededTypeScript

codetopo

nrupala/codetopo

See your codebase the way an agent sees it: turns a source repository into a queryable code graph (symbols, calls, references, structure) with JSON answers an AI coding agent can act on directly, via 12 MCP tools over local stdio.

LocalFreeRust

Tactual

1137

tactual-dev/tactual

Screen-reader navigation cost analyzer that models assistive technology user effort with per-profile scoring, graph-based pathfinding and navigation traces.

LocalFreeTypeScript

Amtrak

pipeworx-io/mcp-amtrak

Amtrak MCP — live Amtrak train tracking via the community Amtraker API (api-v3.amtraker.com, a…

Local + RemoteFree

Stellify

Stellify-Software-Ltd/stellify-mcp

Build Laravel apps through conversation on the Stellify platform: code stored as structured JSON for surgical statement-level edits, with a shared reuse library, CRUD scaffolding, migrations and studio test runs.

Local + RemoteAccount neededTypeScript