"CodeQL static analysis tool and semantic code analysis platform" matching MCP servers:

Gives Claude access to Alchemy blockchain APIs by loading all API specs at startup and providing two tools: search and execute. Enables querying NFTs, token balances, transactions, and more via natural language.

A Model Context Protocol server that enables interaction with Polymarket prediction markets through Claude Desktop.

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

A tool that enables users to interact with blockchain data to retrieve token total supply, chain IDs, and filtered RPC endpoints across different blockchain networks.

A Model Context Protocol tool that provides weather information for cities, with London access requiring Solana devnet payment via the Latinum Wallet MCP server.

An enterprise-grade MCP server platform for executing real DeFi operations on Solana and EVM chains using natural language. It enables users to perform live trading, volume generation, and wallet management directly within Claude Desktop.

Accept crypto payments on Algorand, VOI, Hedera & Stellar. Create hosted checkout links, verify on-chain payments, and generate MPP/x402/AP2 challenges from any MCP client. Supports all 16 AlgoVoi networks (USDC + native on mainnet + testnet).

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.

Provides an MCP server that allows large language models to access real-time and historical Bitcoin market data from Binance, including current prices, order book data, recent trades, and price history through a standardized interface.

Enables AI agents to deploy and manage compliant tokens across multiple blockchains (EVM, Solana, Stellar) using natural language, with features like whitelist, blacklist, and pausable contracts.

A local-first MCP server for the WAX blockchain that enables AI hosts to query accounts, chain state, AtomicAssets, AtomicMarket, Hyperion history, and WAXP prices, as well as prepare unsigned transactions for wallet signing.

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

Enables blockchain mempool analysis with a free tier for basic queries and a premium tier for deep analysis, gated by a server-side paywall.

Enables static security audit of Solidity smart contracts by analyzing source code or deployed bytecode for vulnerabilities, providing risk scores and detailed findings.

On-chain investigation and analysis tools for Solana blockchain, enabling detection of wash trading, funding source tracing, holder concentration analysis, and MEV/bundle activity identification.

Enables static analysis of Solidity smart contracts using Slither, including contract metadata, function details, inheritance, and security detectors through MCP tools.

An MCP server for querying Uniswap pools/pairs by token address, delivering clean, structured results for easy integration and analysis.

Provides DeFi vault risk analytics for AI agents to search, compare, and perform due diligence on over 700 vaults across major protocols like Morpho and Aave. It enables natural language analysis of risk scores, platform security, and portfolio-level risk assessments.

Description: AI-powered Polymarket prediction market analysis via Bitcoin Lightning. Get edge opportunities, analyze specific markets, and find ranked signals. Pay per analysis in sats.

Offline MCP server for the Xahau network that simulates Hooks smart contracts by running their real WebAssembly bytecode, performs static analysis, and provides read-only ledger access and unsigned transaction builders.