On-Chain Attestation Registry

Cryptographic
attestations of
contract semantics.

Ver is a semantic compiler and cryptographic registry built specifically for X Layer. It decodes unflattened bytecode, proxies, and ABI structures, hashes their compiled protocol graphs, and is designed to anchor them to X Layer via the VerRegistry contract (testnet live; mainnet pending). Developers and AI agents can query the registry to cryptographically verify contract logic, access-control roles, and event configurations before executing transactions.

npx -y aic-mcp
Interactive Schema Compiler
X Layer Mainnet
Try:
// Compiler ready. Paste an X Layer contract address and click 'Compile Graph' to query verified explorer data, normalize schemas, resolve proxies, and check on-chain registry attestations.
Core Pillars

Verified blockchain intelligence.

Ver eliminates the guesswork from blockchain integrations by replacing heuristics with cryptographic and simulation-based proofs.

Pillar 01

Deterministic Compiling

Processes contract ABIs, events, dependencies, and state variables using pure, network-isolated compiler functions. No LLMs are ever allowed to mutate or generate the structural facts of the graph.

Pillar 02

Simulation-Driven Intents

Features the Agentic Intent Compiler (AIC) to translate natural language transaction intents into structured payloads. Includes automatic decimal resolution and `eth_call` dry-runs on X Layer to verify safety before execution.

Model Context Protocol

Expose smart contracts to LLMs securely.

Add Ver to your Cursor or Claude Desktop setup as an MCP server. Once configured, your AI assistant can fetch protocol graphs, read verified events, and write secure integrations without code hallucinations.

Read MCP configuration guide arrow_forward
claude_desktop_config.json
"mcpServers": {
  "ver": {
    "command": "npx",
    "args": [
      "-y",
      "aic-mcp"
    ],
    "env": {
      "XLAYER_RPC_URL": "https://rpc.xlayer.tech"
    }
  }
}