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,693 results · page 123 of 157
- View details
proofetchMCP serverDev tools
Verified extraction: source-backed JSON from PDFs/URLs; honest null + signed receipt.
Ready to connect
- View details
proofiteMCP serverDev tools
Read your AI-written daily briefing and retune the filter behind it: feeds, newsletters, topics.
Ready to connect
- View details
proofstackMCP serverDev tools
Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks.
Ready to connect
- View details
property-mortgage-mcpMCP serverDev tools
UK mortgage calculators: stamp duty, MCOB 3A HNW qualification, and bridging loan cost.
Ready to connect
- View details
property-recordsMCP serverDev tools
Property Records MCP — address-level US property records (sales history,
Ready to connect
- View details
propublica-nonprofitMCP serverDev tools
ProPublica Nonprofit MCP — ProPublica Nonprofit Explorer API (free, no auth)
Ready to connect
- View details
proship-mcpMCP serverDev tools
Create Thailand Post shipments, print labels, and track parcels in Thailand via ProShip.
Ready to connect
- View details
- View details
protestos_nacional-mcpMCP serverDev tools
Existence and details of protests for people and companies in registry offices across Brazil. Platfo
Ready to connect
- View details
protestos_sp-mcpMCP serverDev tools
Existence and details of protests for people and companies in São Paulo state registry offices. Plat
Ready to connect
- View details
protheus-mcpMCP serverDev tools
TOTVS Protheus ERP for AI: stock, sales, orders, customers and MRP. Read-only, official API.
Ready to connect
- View details
provenanceMCP serverDev tools
Stamp any data to the Markovian chain for a verifiable provenance receipt. Proves timing, not truth.
Ready to connect
- 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
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,276 of the 11,397 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.