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.

VerRegistry — live on X Layer Testnet (chain 1952)
Attestation demo on testnet. Mainnet registry redeploy still pending — not mainnet-live.
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.

Pillar 03

Registry Attestation

Compiled protocol graphs are designed to anchor SHA-256 schema hashes in VerRegistry on X Layer once the registry is live. External IDEs, wallets, and AI agents can query the registry to verify schema integrity.

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"
    }
  }
}