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

Automates bug bounty hunting across Web2 and Web3 platforms, performing recon, vulnerability scanning, Solidity audits, and report generation.

Lets AI agents run verification policies, inspect structured proof bundles, and submit high-trust proof-of-work results to Gibwork through MCP tools. Works additively alongside existing Gibwork MCP setups, with optional policy, budget, and audit layers via a gateway.

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 creating and verifying permanent, publicly verifiable content provenance stamps via MCP tools.

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.

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 AI agents to interact with the proof.holdings API to create verifications, validate proofs, manage assets, handle approvals, and access 176 identity and asset management tools.

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.

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

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.

9 tools, Lightning-gated. Pay per call. For agents that need verifiable signed actions with an audit trail. Nostr event signing via daemon Publish events to relays Create Lightning invoices Action receipts — signed proof of agent actions Identity attestation

A toolkit that integrates with the Sui blockchain, allowing Claude to request test tokens through a testnet faucet tool when users provide their wallet addresses.

Enables Claude Desktop to interact with the VeChain blockchain through natural language commands for token transfers, DEX trading, cross-chain bridges, NFT management, and VeBetter DAO operations.

Identity + memory layer for AI agents on the Emercoin blockchain — read open, write via GitHub OAuth

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

AI Agent Hub is a pay-per-call API platform for AI agents Every call is billed automatically in USDC using the x402 protocol - there is no API key, no account, and no signup. Agents get instant access to data queries, file storage, and ad impressions, paying only for what they actually use. The same tools are also exposed natively over MCP, so any MCP-capable agent can discover and call them

A remote MCP server that links World ID 4.0 sessions to AI assistants, enabling verified human authentication and tools for claiming Founding Human places, accessing human grants, and interacting with a verified human wall.