"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

An unofficial, read-only MCP server for Sarwa Odyssey that provides portfolio, holdings, transactions, watchlists, and agent snapshots via deterministic JSON documents.

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.

Pay-per-call tools for AI agents including trust checks, due diligence, market data, and human-verified approvals, settled in USDC on Base via the x402 protocol.

Enables AI agents to access pay-per-call onchain and URL safety APIs over MCP, covering transaction explanations, token approval checks, address inspection, contract risk heuristics, URL safety, gas snapshots, ENS resolution, calldata decoding, and wallet portfolio data. Payments are handled per call in USDC on Base via x402, with no signup or API key required.

Enables interactive access to TradeSearcher strategies and backtests via CLI and MCP, allowing agents to search, backtest, and compare trading strategies.

A collection of three zero-dependency MCP servers for web scraping via Chrome DevTools Protocol, crypto wallet and price monitoring, and email validation with SMTP sending.

Enables AI agents to access 13 paid micro-tools over x402, paying per request in USDC on Base without API keys or signup. It covers email deliverability, grading, and templates, plus utilities like crypto prices, domain age, hashing, JSON conversion, JWT decoding, regex, slugs, UUIDs, and weather.

Enables MCP clients to read public web pages as clean markdown, verify whether a quote appears on a page, check the health of up to 25 links, and audit any origin's x402 and agent-readiness setup. Tools are pay-per-call in USDC on Base via x402 with free previews, requiring no signup or API key.

Provides 63 production-ready API tools for AI agents, including web scraping, AI generation, crypto data, OCR, image generation, audio transcription, text-to-speech, email, and domain lookup.

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.

Lets agents discover and health-check a directory of live x402 pay-per-call endpoints, probe an individual URL with one unpaid request to see whether it returns a payment challenge and at what price, and read on-chain settlement demand for crawled sellers. It also serves reproducible, solver-verified sudoku puzzles and the pricing, network, and payment details of the studio's paid pay-per-call routes.

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.

pay-per-call x402 API endpoints as MCP tools — web search, page-to-markdown, PDF extract, JSON repair/validate, crypto price, weather, IP geo, DNS, markdown lint + 20 agent-commerce aliases. Each tool proxies to vibes-coded.com and settles via x402 (USDC/Solana). Free-trial endpoints need no auth; paid ones need an x402 signature. Catalog is fetched live, so new endpoints appear automatically.

Trace hidden insider wallet clusters behind Solana tokens before you ape — safety score, honeypot & LP-lock check, no signup for first 5 calls/day.

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.

Connects Claude Desktop to crypto and brokerage portfolio data via Coinbase and SnapTrade, providing read-only tools to inspect accounts, holdings, prices, and provider health.

📈 提供股票、加密货币的数据查询和分析功能MCP服务器

Enables AI clients to interact with the Rootstock (RSK) blockchain through wallet management, balance queries, token transfers, smart contract deployment and verification, and transaction tracking operations.

Provides access to the Coinranking1 API for retrieving real-time cryptocurrency data, including trending coins, blockchain details, and global market statistics. It enables users to search for digital assets and track historical market capitalization and trading volumes.