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.

Filter by category

11,640 results · page 318 of 388

  • proofMCP serverDev tools

    Stamp content with permanent, verifiable provenance. Hash locally, verify free forever.

    Ready to connect

    github.com/tatastu-labs/proof

    View details
  • proofetchMCP serverDev tools

    Verified extraction: source-backed JSON from PDFs/URLs; honest null + signed receipt.

    Ready to connect

    github.com/vektoris-ai/proofetch-mcp

    View details
  • proofiteMCP serverDev tools

    Read your AI-written daily briefing and retune the filter behind it: feeds, newsletters, topics.

    Ready to connect

    github.com/hanicker/proofite-mcp

    View details
  • proofstackMCP serverDev tools

    Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks.

    Ready to connect

    github.com/lttxzmj/proofstack-mcp

    View details
  • proofxMCP serverCommerce & finance

    Protect and verify digital content with cryptographic signing and proof of ownership.

    Ready to connect

    github.com/razashariff/proofx

    View details
  • propelagentMCP serverProductivity

    AI agent platform: manage leads, conversations, bots, calendar and CRM via MCP.

    Ready to connect

    github.com/contacto291/propelagentstudio

    View details
  • proper-jobMCP serverAI & models

    Calculate and compare indicative UK building-work budgets from supplied scope using Proper Job.

    Ready to connect

    github.com/falsalama/properjob-claude-plugin

    View details
  • property-mortgage-mcpMCP serverDev tools

    UK mortgage calculators: stamp duty, MCOB 3A HNW qualification, and bridging loan cost.

    Ready to connect

    github.com/foxdavidson/property-mortgage-mcp

    View details
  • property-recordsMCP serverDev tools

    Property Records MCP — address-level US property records (sales history,

    Ready to connect

    github.com/pipeworx-io/mcp-property-records

    View details
  • property-taxesMCP serverDev tools

    Portuguese property taxes: IMT on purchase and IMI rates for all 308 municipalities

    Ready to connect

    github.com/devflatinpt/mcp

    View details
  • propfacilMCP serverSearch

    Search authorized real estate in Mexico and manage favorites and publishing with OAuth.

    Ready to connect

    github.com/jonatanvazquez/propfacil-mcp

    View details
  • proppelyMCP serverSecurity

    Governed property-management MCP: portfolio, leasing, accounting, maintenance, OAuth 2.1.

    Ready to connect

    github.com/shabsi7700/vandon-forbes-platform

    View details
  • propravenMCP serverSearch

    Property intelligence: 180M+ US parcels — lookup, search, owners, hazards, permits, deeds.

    Ready to connect

    github.com/jdw2111/propraven-mcp

    View details
  • propublica-nonprofitMCP serverDev tools

    ProPublica Nonprofit MCP — ProPublica Nonprofit Explorer API (free, no auth)

    Ready to connect

    github.com/pipeworx-io/mcp-propublica-nonprofit

    View details
  • propzapiMCP serverDocs & knowledge

    Render-and-verify API: HTML/CSS to image or PDF, screenshot any URL, confirm the text rendered.

    Ready to connect

    github.com/paperandbeyond23-gif/propzapi-skills

    View details
  • proseify-mcpMCP serverEverything else

    MCP book-writing server: 81 classics, genre recipes, drafting pipelines.

    Ready to connect

    github.com/Dionisselami/proseify-mcp

    View details
  • proship-mcpMCP serverDev tools

    Create Thailand Post shipments, print labels, and track parcels in Thailand via ProShip.

    Ready to connect

    github.com/proship1/proship-mcp

    View details
  • prospeo-mcp-serverMCP serverSearch

    Prospeo: Find, search, and enrich people and companies with verified emails and mobile numbers.

    Ready to connect

    github.com/prospeo-v2/prospeo-mcp-server

    View details
  • protectwith-kbMCP serverSecurity

    AI-security knowledge as MCP: standards-mapped tools (OWASP, NIST, MITRE) for AI agents.

    Ready to connect

    github.com/burademirung/protectwithai

    View details
  • protein-atlasMCP serverDev tools

    Human Protein Atlas (HPA) MCP — keyless.

    Ready to connect

    github.com/pipeworx-io/mcp-protein-atlas

    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

    github.com/mcp-dir/protestos_nacional-mcp

    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

    github.com/mcp-dir/protestos_sp-mcp

    View details
  • protheus-mcpMCP serverDev tools

    TOTVS Protheus ERP for AI: stock, sales, orders, customers and MRP. Read-only, official API.

    Ready to connect

    github.com/mcp-dir/protheus-mcp

    View details
  • provenanceMCP serverDev tools

    Stamp any data to the Markovian chain for a verifiable provenance receipt. Proves timing, not truth.

    Ready to connect

    github.com/markovianprotocol/markovian-protocol

    View details
  • provenioMCP serverDev tools

    Art provenance intelligence — 282K-node knowledge graph with cited answers and honest gaps.

    Ready to connect

    github.com/mildo-ai/provenio

    View details
  • proverMCP serverDev tools

    Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

    Ready to connect

    github.com/axiomatic-ai/ax-prover-base-mcp

    View details
  • provision-stackMCP serverCloud & infra

    Outcome-based infrastructure for agents — verified AWS deployments, metered billing

    Ready to connect

    github.com/travislinkey/provision-stack

    View details
  • proximens-oracleMCP serverCommerce & finance

    1000+ Generative Engine Optimization (GEO) principles exposed via MCP for AI agents.

    Ready to connect

    github.com/cryptosun/proximens

    View details
  • proxy-toolkitMCP serverDev tools

    Proxy guides, tested configurations and error diagnostics, with an optional local route check.

    Ready to connect

    github.com/ipvolt/proxy-toolkit-mcp

    View details
  • proxykeyMCP serverAI & models

    Issue, rotate and revoke scoped API-key passes for 25+ providers — the agent never sees a real key

    Ready to connect

    github.com/neostorm112-boop/proxykey-mcp

    View details

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,480 of the 11,640 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.

See how to connect your AI