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.
-
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 -
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 -
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 -
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
-
@recon-fuzz-mcp/chimeragithub.com/recon-fuzz/recon-mcp-chimeraupdated this year
MCP server that scaffolds Chimera fuzzing test suites
npm MIT -
⚙️ 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 -
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 -
A EVM-compatible blockchain toolkit for your AI Agents powered by Foundry
npm MIT -
Deterministic Solvers, Formal Invariant Provers & Zero-Dependency MCP Tools
-
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)
-
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 -
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 -
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 -
China hard-tech supply-chain intel as an MCP server — pre-registered, timestamped, falsifiable signal board (semiconductors, solid-state batteries, eVTOL, innovative drugs).
MIT -
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