MCP Server Directory

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

1gateway io.github.code0xff/1gateway

Pay-per-call tools for agents via x402 (USDC on Base): Korean data, doc-to-Markdown, web utilities.

Lettrove com.lettrove/lettrove

Design emails from a brief, send tests, send to your lists now or scheduled, and read delivery.

Summarize local build and cache footprint using size and age buckets without returning paths or...

Nadveo — book air-conditioning service com.nadveo/service-booking

Find air-conditioning service companies and book a visit: prices, free times, error-code hints.

Code Interpreter Agent by Nova (CIVAI) co.civai.nova/code-interpreter-agent

I do everything related to coding and execution tasks

AgentZ io.github.jafrancis021-max/agentz

Daily 8 long calls on Hyperliquid, wallet health checks, order building and risk sizing.

Premiss io.github.founders-loralabs/premiss

Create Python strategies and backtest crypto, stocks and ETFs in Claude. Premiss account required.

Tradewink io.github.leancoderkavy/tradewink

MCP for Tradewink trading signals and watchlists. Not financial advice.

Uk Trade Tariff io.github.pipeworx-io/uk-trade-tariff

UK Integrated Online Tariff from HMRC's trade-tariff service: look up a UK commodity code, its…

Keyless MCP server for Open VSX: VS Code extensions, versions, descriptions, download stats.

Validate, plan, preview and run YAML data pipelines (ETL with LLM steps) and debug failed runs.

AI usage limits (Claude Code, Codex, Copilot, Windsurf): check budget and time until reset.

Vancouver Building Permits & New Business Leads io.github.domaranskyi/vancouver-building-permits-leads

Vancouver building permits and new business licence leads for sales prospecting via Apify.

Crow Nest com.crow-nest/mcp

Publish the apps you build with AI and share them like a Google Doc, with data, files and AI.

MCP server for Amadeus travel: flights, hotels, airports. Free test key.

Local browser automation for AI agents: real-browser fetch, capture, smoke tests, cross-engine QA.

KAI Network — Public Information io.github.kingdt1991-netizen/kai-network

Read-only KAI network overview, standards, fees, public terms, and developer onboarding.

groTAX by Grovisor ae.grovisor/grotax

UAE Corporate Tax: CT computation, SBR, penalties, free zone test, TP and health-check.

pocketestimator pro.pocketestimator/pocketestimator

Branded job estimates and client approvals for independent contractors.

AI Citizenship com.maneratech/aicitizenship

Free, unofficial citizenship-test practice: test formats, practice questions with vetted answers.

Ziplore: US ZIP Code API (county, time zone, demographics, radius) io.github.CyberMax-tools/zip-data-api

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

Your code review comments from Reado, the read-first IDE, as context and tools for your agent.

Coupondroid France fr.coupondroid/public

Live coupons, promo codes and deals from online shops in France. Read-only, no login.