MCP servers.
Connect a server the community built.
An MCP server is a program somebody else built that gives your AI new tools: search a service, read a file, call an API.
Connect one here and Claude, Claude Code, ChatGPT, Codex and Cursor all reach it through a single endpoint, with your key held on the server side.
Category: Dev tools
4,815 results · page 126 of 161
- View details
provenioMCP serverDev tools
Art provenance intelligence — 282K-node knowledge graph with cited answers and honest gaps.
Ready to connect
- View details
proverMCP serverDev tools
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Ready to connect
- View details
proxy-toolkitMCP serverDev tools
Proxy guides, tested configurations and error diagnostics, with an optional local route check.
Ready to connect
- View details
- View details
psie-mcpMCP serverDev tools
Look up the metrological status of a city's speed cameras and breathalyzers in Inmetro's official re
Ready to connect
- View details
psychopathia-mcpMCP serverDev tools
Read-only tools over the Psychopathia Machinalis nosology: 79 conditions, 11 tools.
Ready to connect
- View details
- View details
publedgeMCP serverDev tools
Open recordkeeping protocol for JIAs, RMAs, no-action letters, and analogous instruments.
- View details
publiarMCP serverDev tools
Ecrit des lead magnets LinkedIn qui refusent d'inventer, rend le visuel et publie.
Ready to connect
- View details
publicMCP serverDev tools
Run DRS demos (Fast-Slow Drain, Hamburger Duo, Valdez Tanker) and explore the paradigm.
Ready to connect
- View details
public-suffix-listMCP serverDev tools
Mozilla Public Suffix List — eTLD parser (cached 24h)
Ready to connect
- View details
public-toolsMCP serverDev tools
French rental tools: create & e-sign a lease, rent control, IRL, deposit, receipts (France).
Ready to connect
- View details
publishingMCP serverDev tools
Publish press releases and advertorials on 3,800+ news sites: catalogue, prices, orders.
Ready to connect
- View details
pubscopeMCP serverDev tools
Journal intelligence: indexing, quartile, APC, trust score, measured publication times
Ready to connect
- View details
puckapiMCP serverDev tools
The hockey data API. Stats, odds, and everything between. REST API and MCP server.
Ready to connect
- View details
pullpush-mcpMCP serverDev tools
Connect any two APIs and keep them in sync — 48 MCP tools with shadow previews and diagnostics.
Ready to connect
- View details
pullsheet-diagnosticsMCP serverDev tools
AI-powered diagnostics for elevator, escalator, and vertical transportation equipment
Ready to connect
- View details
pulseMCP serverDev tools
Ask about revenue, MRR, ad spend, LTV and CAC; install the Pulse SDK. Read-only.
Ready to connect
- View details
pushciMCP serverDev tools
AI-native zero-config CI/CD. 19 languages, 40+ frameworks. Free forever.
- View details
- View details
pypiMCP serverDev tools
PyPI MCP — wraps the Python Package Index (PyPI) JSON API (free, no auth).
Ready to connect
- View details
- View details
qacatMCP serverDev tools
Translation QA: automated checks, AI evaluation, linguistic review, and visual in-context testing.
Ready to connect
- View details
qatouchMCP serverDev tools
MCP Server for software testing, test case management, test execution, and defect tracking.
- View details
qorenext-mcpMCP serverDev tools
Company hierarchy analysis and address verification via MCP
Ready to connect
- View details
- View details
qrstuff-mcpMCP serverDev tools
Generate, update, manage, and track QR codes using the QRStuff platform.
Ready to connect
- View details
qrverloz-mcpMCP serverDev tools
QR codes active 90 days, claimable forever. Request an API key in chat to retarget and track scans.
Ready to connect
- View details
qscreenerMCP serverDev tools
Screen and score stocks with the Quality Screener engine: filters, custom scores, and history.
Ready to connect
- View details
quantMCP serverDev tools
Kalshi weather markets: live daily-high temperature edges, plus EV, Kelly and base-rate tools.
Ready to connect
What is an MCP server?
The Model Context Protocol is the open standard AI clients use to call tools. An MCP server is a program that answers those calls: it publishes a few tools with their inputs, and the AI decides when to use them. Most are written by the people who needed them and published as open source, which is why this list is long and uneven.
8,506 of the 11,693 servers listed here can be served through ahel today. The rest stay listed so you can find them and read what they do, and their pages say plainly that ahel cannot serve them yet.
Connect one to Claude, Cursor, Codex or ChatGPT
Connecting a server here does not put anything on your machine. ahel runs it and serves its tools to every AI client you sign in with, so one connection covers Claude, Claude Code, ChatGPT, Codex, Cursor and VS Code with Copilot.
Your client's tool list stays the same size whatever you connect: a server's own tools are read with the tools verb and run with the use verb. Keys are sealed in ahel and injected server side, so a credential never crosses the link.