"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:

An MCP server that exposes the python-bitcoinlib API. It provides tools for Bitcoin key management, address generation, transaction building, script operations, and cryptography.

A comprehensive toolkit for Ethereum blockchain analysis within Claude AI, enabling contract auditing, wallet analysis, profitability tracking, and on-chain data retrieval.

Enables MCP clients to use paid tools for secret scanning, agent-config auditing, and OG image rendering, with payments handled over the x402 protocol on Base.

Provides comprehensive access to Ethereum blockchain data through the Etherscan API, including account, block, contract, transaction, token, gas, statistics, logs, and RPC proxy tools.

Provides access to measured x402 ecosystem data, allowing users to query which merchants actually accept payment (verified by real on-chain settlements) and explore market concentration and health statistics.

Enables interaction with lightning addresses and common lightning tools via your LLM, providing Lightning Network functionality through natural language.

23 tools for AI agents working with Nostr Open source. No API key. No account. NIP-46 remote signing Publish notes, reply, react, repost Encrypted DMs (NIP-04 + NIP-44) Fetch events, profiles, social graph

MCP server for managing TON blockchain sites, deployments, DNS, and storage via the Resistance Tools platform.

MCP server that prepares Proof of Invention (POI) transaction requests for submission

Provides Clockchain's verified-time primitives, notarization, smart-contract scheduling, audit trails, and agent identity verification to any MCP client.

Enables AI agents to interact with Ethereum smart contracts through Anvil, providing capabilities to read Solidity code, simulate and execute transactions, manipulate blockchain state, query events, and test contracts in isolated environments for development and auditing workflows.

Enables AI agents to inspect the public NFH protocol corpus, verify census status, and prepare bounded Ethereum wallet intents for claims and non-custodial market actions while never signing or submitting transactions.

Enables natural language interaction with the Avalanche blockchain through AI assistants, allowing users to execute Avalanche CLI commands and AvalancheJS API operations without technical knowledge.

Paid MCP server for EU tools: validate VAT numbers via VIES and get ECB euro FX rates, with per-call USDC payments on Base via the x402 protocol.

Generates MCP servers from smart contract ABIs, enabling Claude to interact with any Ethereum contract via natural language commands.

A production-ready MCP server that wraps the Kxcoscan blockchain explorer API into structured endpoints for AI agents. It enables users to query wallet balances, transaction histories, token transfers, and contract details via natural language.

MCP server for Pi Network that enables AI agents to query Pi chain data (balances, transactions) and verify user tokens, with optional payment sending that is off by default.

Counterparty risk scoring for agentic commerce. Scores wallets, domains, IPs, and companies 0-100 before AI agents transact via x402 micropayments on Base

Enables users to compare current Aerodrome veNFT voting positions, bounded claimable rewards, and selected pools' voting evidence on Base against a saved local baseline, with retryable, atomically stored change reports. All tools are read-only on chain, requiring no keys, signing, or transactions.

Enables AI agents to explain DigiDollar transactions recorded on DigiByte, including mints, transfers, redemptions, amounts in cents, lock tiers, burns, and collateral releases, using bundled fixtures or an optional live explorer.