MCP Server Directory

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

Lumen Agent Utilities io.github.Dansgit2b/lumenworks-decoder

x402 agent tools: calldata/EIP-712/x402 decoders, web→MD, ENS, DNS, PubMed, arXiv, SEC, weather

CatchUI com.catchui/ui-patterns

What is this UI element called? 50 curated UI patterns, names per platform, build prompts. EN/中文.

Carbon MCP com.carbondesignsystem.mcp/carbon-mcp

Explore Carbon docs, components, tokens, icons, charts, and code examples.

Atlas Web Compiler & Scraper com.atlas-compiler/atlas

Deterministic Zero-LLM Web Compiler, Scraper, Crawler, and Site Mapper for AI Agents.

DERATE — truck fault codes app.derate/derate

Heavy-duty truck SPN/FMI and OBD fault codes: meaning, safe-to-drive verdict, parts and recalls.

Directories.ai ai.directories/directories-ai

Build and run directory websites from your own AI: listings, imports, claims, SEO and content.

ChatterLab ai.chatterlab/chatterlab

Set up and improve AI chatbot agents: sources, test answers, weak answers, clients. Studio and up.

Pinloft: Batch Geocoder — Address to Lat/Long + Census FIPS dev.workers.cybermax-tools.cybermax/pinloft

Pinloft: US address to lat/lon, county, FIPS; reverse geocoding. Free, no key.

thePaymentsNotes Ledger io.github.alwaysarafath/thepaymentsnotes-ledger

Human-verified status of agentic-commerce protocols (x402, MPP, AP2, ACP). Free while on testnet.

Read-only tools for live Midnight networks: health, transactions, DUST, errors and example code

Decodes MsgPack (LsMsgPack schemas, type ids) as text and reads it from variables while debugging.

Proves software work: triages failing tests, checks whether a test can fail, and reads migrations.

Ziplore: US ZIP Code API (county, time zone, demographics, radius) dev.workers.cybermax-tools.cybermax/ziplore

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

Codemind dev.codemindhq/codemind

Hand routine JS/TS tasks to Codemind from your agent. $0.10 per verified build; failures are free.

Design skills, design systems and artifact tools: landing pages, decks, prototypes, posters, more.

Circuit family.circuit/marketplace

Find and try paid AI agent skills for security, on-chain data, code, markets, research and news.

Ember Websites com.embersites/ember

Build, edit, preview and publish hosted content websites from Claude, ChatGPT or Cursor.

oldweb-logs io.github.palthainon/oldweb-logs

Offline log parsing, CI failures, HTTP capture analysis and bounded JSON configuration validation.

Lint questions for TypeSafe's Jev and OpenAI's Luna offline, or ask the model itself with your key.

A local MCP server for Roslyn-powered C# code analysis and safe, transactional refactoring.

Korea Financial Company Lookup (금융위원회 금융회사 기본정보) io.github.kr-data-api/korea-financial-institution-registry

Korean banks, brokers, insurers: registration numbers, DART code, staff and audit opinion (FSC)

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.

Feedpeck: RSS Feed Finder & Reader by Website dev.workers.cybermax-tools.cybermax/feedpeck

Feedpeck: find any site's RSS/Atom/JSON feeds + latest posts. Free, no key.