MCP servers that ship as code — a repository or a package you install and run locally (usually over stdio). They have no hosted endpoint, so we cannot probe or grade them: instead each one shows its repository, install command, license, stars and when it was last updated.
Collected from GitHub repositories and npm, PyPI, Cargo, Go, Maven, NuGet and RubyGems packages tagged as MCP servers, the official MCP Registry, Docker's MCP catalog, ModelScope, Baidu MCP World, Cline and other public directories; one entry per repository. A server that also offers a hosted endpoint is listed under Remote instead. These entries are not counted in our reachability, verification or readiness statistics.
-
mcp-solid-podgithub.com/memori-ai/mcp-solid-podupdated this year
MCP server for Solid Pods — list, read, search, and (opt-in) write — with CSS client-credentials auth for headless use (AIsuru MCP Gateway, Claude Desktop, etc.).
NOASSERTION -
solidity-audit-mcpgithub.com/mariano-aguero/solidity-audit-mcpupdated this year
Model Context Protocol (MCP) server that enables Claude to perform comprehensive security audits on Solidity smart contracts using Slither, Aderyn, and built-in pattern detection
MIT ★ 4 -
Unofficial local MCP server to control Siemens Solid Edge via COM from Claude Code, Claude Desktop, Codex and other MCP clients. Not affiliated with Siemens.
NOASSERTION ★ 2 -
foundry-mcp-servergithub.com/PraneshASP/foundry-mcp-serverupdated this year
An experimental MCP Server for foundry built for Solidity devs
MIT ★ 254 -
AI Agent skill & MCP server for SOLID compliance, code smells, refactoring techniques, and GoF design patterns with bundled offline Refactoring Guru knowledge base.
-
Solidity security scanning with 201 detectors that run on YOUR machine — your source is never uploaded. CLI + local MCP server for AI agents.
npm MIT -
ai-agent-apigithub.com/AntoNYak0/ai-agent-apiupdated this year
30 AI-powered tools for code audit, DeFi analysis, solidity scanning & more — pay-per-use via x402 USDC micropayments. MCP SSE server for AI agents.
MIT -
Production MCP Server & x402 Base USDC API Gateway for Smart Contract Security Auditing (Solidity/Rust/Soroban), B2B Domain Intelligence, and Live Zero-KYC Web3 Bug Bounties.
-
MCP server that teaches and applies software-design guidance: SOLID/OOP/DRY principles, the 23 GoF design patterns, pattern scaffolding, and heuristic code-smell detection.
npm MIT -
Zero-Dependency MCP Server (JSON-RPC 2.0), Deterministic Solvers (Subset-Sum, Monte Carlo Inventory, Solidity Invariant Audit, JSON/CSV Repair) & HTTP 402 (L402 / x402) B2A Gate
-
MCP server that scans Solidity repos through a 7-gate verification framework (Al-Mizaan) to cut LLM false positives, benchmarked against Slither; free pattern-search from 1,032 reconciled Sherlock findings, paid full scan via x402 (USDC/Base).
MIT ★ 11 -
⚙️ Industrial-grade pure TypeScript STL ➔ 100% Watertight Solid STEP AP242 B-Rep & CAD Features JSON engine with built-in MCP server for AI agents. Features exact Gauss-Mirtich 3D inertia, ISO threads (M2–M24), boundary unification (no extra lines), Zero-GC speed, DWRR concurrency & 5-gate RSVS reality verification across macOS, Linux, and Windows.
NOASSERTION ★ 28 -
@cyfrin/aderyngithub.com/cyfrin/aderynupdated this year
Rust based Solidity AST analyzer backend
npm MIT -
[ALPHA] Local-first parametric 3D solids, CSG + BOM. Implements the Storytold craft-app harness - see storytold/artcraft.
Apache-2.0 -
Annotated screenshots for AI agents: Skitch-style arrows, numbered steps, boxes, labels, solid redaction
pypi AGPL-3.0-or-later -
Node.js MCP server for Huckleberry baby tracker. Expose sleep, feeding, growth, diapers, and solids data to Claude and other AI applications.
npm MIT -
Solidity security scanning with 201 detectors that run on your machine. CLI + local MCP server.
MIT -
China hard-tech supply-chain intel as an MCP server — pre-registered, timestamped, falsifiable signal board (semiconductors, solid-state batteries, eVTOL, innovative drugs).
MIT -
Databuttonno update data
Build and deploy beautiful business apps effortlessly with our AI agent. Generate initial app plans and create a solid foundation for your projects using React and Python APIs. Streamline your development process and unleash unbounded complexity with ease.
smithery -
reentryxgithub.com/cognis-digital/reentryxupdated this year
Static + symbolic detector that flags reentrancy, cross-function, and read-only reentrancy paths in Solidity/Vyper with CI-gating SARIF output.
NOASSERTION -
Huckleberry MCP server for Claude, Cursor, and other AI assistants. Query and log baby sleep, feeds, diapers, growth, pumping, and solids.
MIT ★ 1 -
forgecraft-mcpgithub.com/jghiringhelli/forgecraft-mcpupdated this year
CLI + MCP sentinel for engineering standards — SOLID, testing, architecture, CI/CD — auto-tailored to your stack. Minimal MCP footprint (~200 tokens) via CLI-first design.
npm SEE LICENSE IN LICENSE -
MCP server for software-design guidance: SOLID/OOP/DRY principles, the 23 GoF patterns, pattern scaffolding, and heuristic code-smell detection.
MIT -
lambdacad-mcpgithub.com/Psalmustrack/lambdacad-mcpupdated this year
λ MCP server for any AutoLISP-capable CAD — AI drafting with 105 tools, 2D + 3D solids, STL export. BricsCAD® on Linux is the reference adapter. No COM, no SDK.
Apache-2.0 ★ 3 -
RugProofgithub.com/omermaksutii/RugProofupdated this year
Smart contract security auditor for Claude Code — vuln detection, exploit PoCs, mainnet-fork simulation, audit cards, on-chain certificates. Solidity + Vyper · 38 commands · 19 agents · 33 skills · 9 MCP servers.
MIT ★ 11 -
Deterministic AST + neuro-symbolic verifier for AI-generated Rust, Python, TS, JS & Solidity. Catches slopsquatted imports, cutoff-drift APIs & async traps in <15ms. Ships with the Top-100 Evil AI Benchmark & stdio MCP server.
MIT -
Manage every social media DM and post from your AI assistant, over MCP. Stdio Model Context Protocol server for CRM Solid: Instagram, Facebook, X, LinkedIn, TikTok, YouTube, Threads, Pinterest, Reddit, Bluesky, Telegram and WhatsApp inboxes plus scheduled
npm MIT -
A robust and efficient implementation of the Model Context Protocol (MCP) built to connect seamlessly with Odoo ERP. This server empowers developers to enable AI-driven automation, intelligent integrations, and enhanced workflow management within Odoo environments — providing a solid foundation for extending and automating business processes.
MIT ★ 7 -
Remote MCP server for smart-contract audits of Solidity (any EVM chain) and DAML/Canton, plus the Agent Transaction Check: one API call before an AI agent signs a crypto payment. Paid from a prepaid balance.
-
Free, open-source icon library: 1000 icons in 34 styles, newly added animated loaders and live icons (over 35,000 icons), every icon animated. React, Vue, Svelte, Angular, Solid, web component, CSS classes, CDN, PNG, PowerPoint and GIF exports, plus an MCP server and agent skill so AI coding agents use real icons. MIT, no sign-up.
npm MIT ★ 8 -
weth_wallet_devcongithub.com/ayushkumar2601/weth_wallet_devconupdated this year
MCP-native Ethereum infrastructure & zero-trust agentic wallet enabling AI agents to analyze, simulate, and draft transactions with human-in-the-loop signing.
★ 1 -
Automated smart contract review MCP server
-
MCP server: 1,032 verified smart contract vulnerability findings from 10 Sherlock audit contests
MIT ★ 2 -
@recon-fuzz-mcp/chimeragithub.com/recon-fuzz/recon-mcp-chimeraupdated this year
MCP server that scaffolds Chimera fuzzing test suites
npm MIT -
wire-uigithub.com/wire-ui/wire-uiupdated this year
🤖 The AI-native unstyled primitives framework, Compound component, Zero CSS
MIT ★ 6 -
Open-source CREATE2 vanity address grinder with a CLI, MCP server and cross-chain availability checks.
Apache-2.0 ★ 8 -
pentagonalgithub.com/Pentagonal-ai/pentagonalupdated this year
AI-powered smart contract forge — generate, audit, fix & compile contracts with 8-agent security analysis, x402 payments, and MCP support
MIT ★ 1 -
A EVM-compatible blockchain toolkit for your AI Agents powered by Foundry
npm MIT -
Deterministic Solvers, Formal Invariant Provers & Zero-Dependency MCP Tools
-
50 Uniswap v4 hooks with Foundry tests, a TypeScript SDK, an MCP server for agents and a 3D docs site.
Apache-2.0 ★ 8 -
EVM calldata decoding, debug trace revert pinpointing, storage slot layout mapping, and reentrancy auditing.
MIT -
Read-only MCP server exposing ownerwatch: query who controls an EVM contract from a coding agent
MIT -
flashbank-netgithub.com/Rotwang9000/flashbank-netupdated this year
Flash loans + fixed-fee P2P term loans (time-based, no oracles) on Ethereum, Base, Arbitrum & Sepolia. MCP server for AI agents included.
MIT -
ERC-8183 8-Vertical M2M Escrow Auditor & Multi-Token USDC Solver on Base Mainnet (MCP / x402 / ERC-8004)
-
Spending limits for AI agents, enforced on-chain. ERC-4337 smart account with session keys, an MCP server and an approvals console.
MIT ★ 2 -
pumpclawgithub.com/clawd800/pumpclawupdated this year
Free token launcher for AI agents on Base. Uniswap V4. 80% creator fees. LP locked forever. Deploy via Farcaster (@clawd), CLI, or smart contract.
★ 8 -
chiselgithub.com/EYamanS/chiselupdated this year
An MCP server that lets AI agents build, edit, render, and export real 3D models from primitives + boolean CSG. Headless, GPU-free.
MIT ★ 7 -
3ilm-mcpgithub.com/holistis/3ilm-mcpupdated this year
MCP server exposing 3ilm — a curated knowledge base of 1,032 smart contract vulnerability findings from 10 fully-reconciled Sherlock audit contests. Search patterns by keyword, get acceptance rates, and learn from real accepted/rejected examples.
npm MIT -
MCP server for AI-powered smart contract security analysis. $5 USDC/scan via x402. Drawn from 56,657 Sherlock submissions plus Code4rena, verified acceptance rates from 9,200 exact-reconciled findings. Includes a free, standalone dataset (vulnerability-ac
npm MIT -
Portaldot Builder Kit: a Claude Code plugin with 15 read-only chain tools and a skill of checked facts for building on Portaldot V3. By the Bridge Zero team. Independent, not an official Portaldot tool.
Apache-2.0 -
Portaldot V3 Dev Kit: a Claude Code plugin with 15 read-only chain tools and a skill of checked facts for building on Portaldot V3. By the Bridge Zero team. Independent, not an official Portaldot tool.
Apache-2.0 -
Open-source Rust zkVM for STARK-based verifiable computation, powered by Winterfell. Custom VM ISA with branching and registers, STARK prover/verifier, CLI, MCP server, HTTP proving API, CI proof gates, and on-chain attestation.
MIT ★ 1 -
Tennis community app: create and join court games and trainings, manage courts, run tournaments with player ratings, pre-book slots, get Telegram reminders, AI opponent matching and scoreboard photo reading, plus a public JSON API and MCP server over upcoming games
Apache-2.0 -
Autonomous 5-EVM Web3 Security Swarm: $0.01 Fast-Ping, $0.10 Pre-Flight EVM Firewall, Direct 0x Token Honeypot Scanner, Safe-Harbor Rescue Provider & STDIO MCP Bridge (2025-06-18) for Coinbase AgentKit, ElizaOS & Claude/Cursor on Base Mainnet (eip155:8453
npm MIT -
PS2 matching-decompilation toolkit: fingerprint the compiler (ee-gcc, CodeWarrior, ProDG), transfer symbols, triage functions, verify a decomp against the original bytes, run a per-function matching loop, MCP server included. Grew out of Xenosaga I; measured on six PlayStation 2 games.
MIT ★ 1