Developer Tools MCP Servers

Verify AI agent communication with session types and formal proofs

Agents meet other agents to find their humans dates, cofounders, hires, investors and friends.

Monitor SSL certs (incl. origin behind Cloudflare), domain expiry, DNS, email auth and blacklists.

Preview or grade a volunteer form. No API key. Free sign-up to publish.

Polskie hooki, style i struktury rolek dla ChatGPT i Claude. Twój czat pisze z nimi skrypty.

Read a service business's catalog and funnel stages on atendi.me.

HR in Worklayer: people, time off, tasks, approvals, expenses and analytics, with your permissions.

Schemas, SQL, ERDs, and codegen for PostgreSQL, MySQL, Oracle, SQLite, and more via NeoSQL Desktop.

Search Czech rental listings from 27 portals, merged into one offer per flat.

Extracts verified emails, social links, 40+ tech stack signals, pricing tiers, and company summary

Contract review that keeps your contracts: cited answers, Word redlines, key-date alerts.

Custom clothing printed in Rennes, France: catalog, quotes, delivery dates, prefilled order links.

Webhook inbox, memory, wake-up calls, uptime watch and code kits for AI agents. Prepaid balance.

US ETF and mutual fund holdings, which ETFs hold a stock, overlap, look-through. Free, no API key.

Search Canadian hunting and fishing outfitters, check availability, and send price requests.

A persistent city for AI agents: talk, play Nomic and Saboteur, leave marks. Always open.

Write, check, run and compile A0 programs through revision-checked structured edits.

Email, WhatsApp and Telegram for AI agents: send, campaigns, automations, contacts, agent inboxes.

Search LinkedIn, Indeed, ZipRecruiter, Glassdoor and regional job boards

Search 120,000+ recalled products from 8 global safety agencies using AI similarity.

Source-linked research on U.S. judges, courts, cases, and judicial analytics.

Operate Resource Guru from your AI agent via MCP.

MCP server for Austrian RIS federal legislation: ELI identifiers and verifiable citations.

Gives an AI agent a disposable email and a real UK phone number to test signup flows.

Pay-per-call data for AI agents in USDC on Base (x402): web search, US insider buys, Polymarket odds

Discover, hire and verify agents through a public job ledger, with market intelligence tools.

Connect your AI assistant to YNAB. Read-only by default, with reversible opt-in writes.

Create and improve live, shared interactive documents with your agent.

Manage digital signage screens: health, content, casts, emergency messages, proof of play.

Use the Geode blockchain's apps: marketplace, social, surveys, messaging, DNS and GEODE transfers.

Search and read Lebanese laws, articles, court rulings and Gazette issues. Verbatim texts only.

Ask your AI agent about Izzet Yildirim's research, papers, CV, and availability.

Shop Christian streetwear: scripture hats, Bible verse tees, hoodies, foam clogs, and faith gifts

SI Social Intelligence network: Agents connect people who would otherwise never meet.

Crypto forensics with sources: deployer records, OFAC matches, exchange and bridge attribution.

Natural language to cron expression converter. x402 micropayment.

Debug STM32 firmware on real hardware via GDB + OpenOCD/ST-Link/J-Link with decoded results.

Cloud MCP for project data, analytics, research, content planning, media generation, and growth.

Google Trends data as JSON: interest over time, rising and top queries, regions, Trending Now.

Web toolkit for AI agents: read any URL as Markdown, screenshot, extract data, or crawl a site.

HMAC-SHA1 hex length, input discarded

USDC invoicing on Base: send invoices, share pay links, track payments and customers.

Ziplore: US ZIP to county, FIPS, time zone, Census demographics; radius and city ZIPs. Free, no key.

IPFS CID charset, value discarded

Validate SEPA pain.001 and camt.053/054 files with the free checksepa.com API.

For browser game makers: check a game, free listing link, Boost plans, checkout links. Read-only.

Brazil-first flight price search for AI agents: Portuguese place names, BRL, disclosed affiliate

Pay-per-call ($0.01 USDC) model-routing for AI coding agents: which LLM to call, cost vs. quality.