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.
Verified blockchain intelligence.
Ver eliminates the guesswork from blockchain integrations by replacing heuristics with cryptographic and simulation-based proofs.
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.
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.
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.
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"mcpServers": { "ver": { "command": "npx", "args": [ "-y", "aic-mcp" ], "env": { "XLAYER_RPC_URL": "https://rpc.xlayer.tech" } } }