"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

Wallet-funded MCP client for six paid Utilia tools: Solana priority fees, transaction diagnosis and simulation, token-risk checks, PDF-to-Markdown, and audio normalization over x402. MIT-licensed and installable from npm.

This MCP wraps Bitrefill public API to allow agents to search for products and shop using cryptocurrencies like Bitcoin, Ethereum, Solana, and many more.

Verifies blockchain-anchored timestamp proofs entirely on the user's machine, with five tools: hash a file, verify a file against a proof, verify a known hash against inline proof data, explain what a proof asserts, and create a new proof through ProofLedger. Verification recomputes the SHA-256 and walks the Merkle path locally instead of asking the issuer; only create uses the network.

Blockchain Verification - MCP server providing AI-powered tools and automation by MEOK AI Labs

AI-powered smart contract security analysis for AI agents and developers, enabling scanning of Solidity repos for vulnerabilities.

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 Chainlink Runtime Environment, enabling build, simulate, deploy, and manage CRE workflows from any MCP client.

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.

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

Enables creating and verifying permanent, publicly verifiable content provenance stamps via MCP tools.

Enables agents and audit systems to hash execution logs into tamper-proof Merkle trees, compute cryptographic inclusion proofs, and verify audit-trail integrity on demand. It runs as a zero-dependency Python MCP server (stdio JSON-RPC) or as an importable module, exposing anchoring, proof generation, and integrity verification over local agent activity records.

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.

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.

Zero-knowledge proof generation MCP server. AI agents can prove identity claims (Coinbase KYC, Country, Google OIDC, Google Workspace, Microsoft 365) without revealing personal data. Runs in AWS Nitro Enclave TEE with x402 USDC payments.

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

Enables AI agents to construct SHA-256 Merkle trees and generate/verify inclusion proofs, validate JWT HMAC-SHA256 claims, run Schnorr zero-knowledge identification, and enforce constant-time secret comparison with nonce replay protection for tamper-evident state attestation. It runs as a zero-dependency, stdlib-only MCP stdio server for clients such as Claude Desktop, Cursor, and Windsurf.

Enables AI agents to perform pay-per-call security verification of wallets, tokens, contracts, dApps, agents, and more via a remote endpoint with no installation.

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

Enables AI assistants to interact with Sui Network through tools for balance checks, transfers, swaps, staking, and more.