"Land Rover" matching MCP servers:

Gives AI agents access to tokenized real property data on the Fabrica protocol, enabling property search, lending market analysis, and portfolio exploration.

Enables AI agents to check TRON energy prices, estimate the energy a USDT transfer needs, and rent energy for a receiver under a configurable spending cap, without ever handling wallet keys. It also exposes address resource lookups, held quotes, and order status so agents can watch a delegation land on chain.

Enables autonomous agents and developers to pay per call in Base USDC to run formal cryptographic invariant verification, including vault rounding, Polymarket solvency, ZK witness uniqueness, and differential consensus checks using Z3 SMT and bounded algebraic solvers.

Production-grade Z3 SMT formal verification pay-per-proof MCP server on Base Mainnet USDC covering ERC-4626 vaults, Polymarket solvency, MEV sandwich bounds, Permit2, and Tarjan taint graphs.

MCP server for Chainlink Runtime Environment, enabling build, simulate, deploy, and manage CRE workflows from any MCP client.

Connects to Lightning Network nodes and enables natural language queries for channel information, providing both human-readable responses and structured JSON data through the Model Context Protocol.