MCP Server Directory

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

x402 MCP Starter io.github.kadopi/x402-mcp-starter

Free self-hosted x402 USDC billing for Cloudflare MCP servers, with a Base Sepolia test endpoint.

PermitReporter — US Building Permit Intelligence com.permitreporter/us-building-permits

Source-linked building-permit search across 34 US states and DC, with county-level coverage.

Product Hunt Launches — new & upcoming products (producthuntwatch) com.a2awire/data-product-launch-upcoming-product-tracker

Upcoming product launches: trackers & announcements. Register in-session — free testnet funds.

x402 HTTP 402 + MCP paywall: charge USDC per agent call. Self-host via npx or Docker.

Stratify site.aeon-labs/stratify

Backtest NIFTY option strategies on real 1-minute data, with an honest out-of-sample panel.

The 2026-07-28 MCP revision removed the initialize handshake, sessions, ping and 4 more RPCs. 27 rul

Xxencode charset, input discarded io.github.sadri-dridi/xx-len

Xxencode charset, input discarded

perfloop ai.perfloop/perfloop

Always-on performance engineering for your own code: proven pull requests, the merge stays yours.

US state OK io.github.sadri-dridi/st-ok

USPS state code OK.

site uk.co.levtestingcost/site

LEV Testing Cost: the site's own MCP server — enquiry (enquiry = a human handoff, not a...

Orbit ai.buildwithorbit/orbit

Turn any task into the right API calls: discover, evaluate, and integrate public APIs.

New MCP Server Directory (Agent Tools Index) com.a2awire/data-new-mcp-server-agent-tools-index

MCP server index: newest agent tools listed. $0.01/query. Register in-session — free testnet funds.

asksteps co.asksteps/asksteps

Turn a fillable PDF into an online form, build funnels, read submissions.

UI Verify io.github.igrlk/uiverify

MCP server for visual regression testing: triage a PR's UI diffs from your coding agent.

Gameshop Enter — retro Nintendo & Pokémon TCG (EU) com.gameshopenter/shop

Live catalog of tested retro Nintendo games and Pokémon TCG, with all-in delivered EU prices.

HTTP Status io.github.sadri-dridi/http-status

Short catalog of common HTTP status codes.

DELBOY companion-MCP — neutral provenance/attestation layer for agentic finance. Witness only: signs

Daepak Market Intelligence io.github.Mobiss11/daepak-mcp

Market analyst tools + AI agent: crypto, US equities, options, Korea, fundamentals, macro, backtests

Generate clean markdown documentation for your code — one file, or up to 20 in one batch.

Dubai Wealth Index com.dubaiwealthindex/dubai-wealth-index

Registered Dubai apartment prices, rents, gross yields and returns, by building and by area.

docbin app.docbin/docbin

Give an agent a place to put large output. Build logs and reports get a stable versioned URL.

KHOTEM — Cryptographic Witness com.khotem/khotem-witness

Paid cryptographic witness for agents: seal, attest, receipts. x402 USDC/Base.

Seldons Korea Trade ai.seldons/korea-business-trade

Korean tax-office and fair-trade registries, HS codes, landed cost. Two tools need no API key.