Documentation

One config line, one restart, 1,300+ deterministic tools available to your agent.

1. Get a token

Visit /install and claim a 14-day free trial token (no credit card). The flow returns a `vaa_...` bearer token plus the exact MCP config snippet for your client.

2. Drop the config line

For Claude Code, Cursor, Continue, Claude Desktop, or any MCP-aware client, add this to ~/.claude.json (or the equivalent):

{
  "mcpServers": {
    "vaa": {
      "type": "http",
      "url": "https://vaa.veriops.io/mcp/",
      "headers": { "Authorization": "Bearer YOUR_VAA_TOKEN" }
    }
  }
}

Restart your client. The agent now has access to vaa_* tools.

3. Use it from your agent

Your agent can now call any of the 1,300+ tools directly. Examples your model will discover via vaa_dispatch (TF-IDF top-K) or vaa_list_catalog:

# Validate an IPv4 address (CVE-2021-29921 safe)
vaa_ipv4_canonical("192.168.001.001") # -> valid: false (leading zeros forbidden)

# Check email with full RFC 5321 grammar
vaa_email_full_strict("you@company.com") # -> valid: true

# Emit a validator for production -- bit-identical Python / C / JS / WAT
vaa_emit(artifact="ipv4_canonical", target="c")

# Differential attestation -- find divergences across implementations
vaa_schism_hunt(grammar="ipv4", n=10000)

# Seal the agentic session into a Bitcoin-anchored Merkle root ($0)
vaa_finalize_session(anchor="opentimestamps")

Meta-tools (15)

Discoverable from any client via vaa_introspect:

vaa_list_catalog

Enumerate all 1,300+ artifacts with metadata

vaa_dispatch

TF-IDF top-K artifact search by natural-language hint

vaa_validate

Run any artifact by name on an input string

vaa_emit

Bit-identical multi-target source emission (py/c/js/wat)

vaa_compile_grammar

Compile a custom regex/grammar into a signed artifact

vaa_compile_regex

Compile a regex into a minimal DFA + sign

vaa_schism_hunt

Differential attestation across implementations

vaa_synthesize_proof

Composed-tool proof receipt for a chained pipeline

vaa_prove_impossible

Verifiable rejection guarantee for an input class

vaa_autogrow_distill

Distill a deterministic recognizer from agent traffic

vaa_finalize_session

Hierarchical Merkle + OpenTimestamps Bitcoin anchor

vaa_verify_receipt

Offline Ed25519 + Merkle inclusion verification

vaa_introspect

Self-describe: meta-tools + capabilities

vaa_server_info

Version, federation manifest, key roster

vaa_batch_call

Run many tools in one round-trip with one receipt

Receipts

Every tool call returns an Ed25519-signed receipt:

{
  "artifact_sha":  "fcd9e1...0a2b",
  "input_sha":     "7c4...c1e",
  "output_sha":    "a13...f80",
  "issuer_key_id": "veriops-prod-2026-01",
  "signature":     "ed25519:..."
}

Verifiable offline by anyone with the federation manifest. Sessions compress to one Merkle root via vaa_finalize_session; OpenTimestamps anchors that root to Bitcoin at $0/stamp.

Get a Free Trial Token

Have a question? contact@veriops.io