MCP servers for Claude Code

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

Free regulatory intelligence. Search 27,000+ changes across 2,000+ government sources.

Debug H5 pages inside Android app WebViews: console logs, exceptions, run JS.

DeFi execution for AI agents — swap, lend, bridge, and yield across 22 chains.

Heartwood Memory — governed AI agent memory; signed provenance. BUSL-1.1; not OSI open source.

MCP server plugin — exposes all CLI commands as MCP tools

MCP Hive is a gateway to paid commercial-grade MCP servers. Learn more at https://mcp-hive.com

Human fallback for AI agents: delegate tasks to a human over MCP.

Pre-trade DeFi intelligence: 24 paid x402 tools incl. 6 synthesis verdicts, USDC on Base.

AI image generation and editing MCP server. Gemini + OpenAI, iterative editing, undo/redo.

InChat Image Viewer MCP - View images inline in AI chat by just providing the file path

MCP server for Instagit — AI-powered Git repository analysis for coding agents

16 Instagram creator tools: downloaders, engagement audit, hashtags, hooks, best-time, calendar.

MCP server for real interactive terminal sessions — REPLs, SSH, databases, Docker

Full technical interview prep: company briefing, concepts, code deep-dive, mock interviews.

Read-only status, incidents and prices of Iranian clouds: Arvan, Hamravesh, Chabokan, Liara, more.

Read-only IranTalent (irantalent.com) job portal: search jobs, ad details, companies, reviews.

x402 service-quality oracle: check a service's paid-probe quality tier and score before paying it.

MCP access to the jedanderson.org corpus — environmental superintelligence and information physics.

MCP server for Jotae — creates events, configures automations and reads metrics via Claude

A stdio connector for the local ae-mcp After Effects panel; install the AE extension separately.