17113 Model Context Protocol servers — searchable, rated, ready to install.
Schedule and publish social media posts to 9 platforms from your AI agent
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Self-hosted MCP proxy that puts an x402 paywall in front of an existing MCP server
Privacy scores, merchant insights analytics.
Read and write checked code rationale stored outside source comments.
Full-text search, browse, and resume across your coding agent sessions (Claude Code, Codex, Amp)
Sourced market and compliance research for Claude Desktop, Claude Code and Cursor.
Search, read, and write your Apple Notes from ChatGPT/Claude via a local Mac agent + MCP relay.
Self-hosted MCP server for time-series forecasting and tabular ML via foundation models.
Read-only 2026 city renovation cost ranges with sources, limitations, and citation guidance.
SEO for AI agents: plan content, publish posts, earn dofollow backlinks, track Domain Rating.
Free 17-0 game. Spin all-time NFL teams, draft 7 legends, simulate a 17-game regular season
Search your Glasp web and Kindle highlights, notes, and AI memories from any MCP client. Read-only.
Celestia knowledge base: CIPs, docs, forum, videos, GitHub, plus live on-chain state
Session memory for coding agents: local-first recall, drift detection, on-device inference.
Connect LLM tools to your Algolia account with user-scoped access for internal workflows.
Local-first file-organization tools for your AI agent: tag, query, and digest a folder. No cloud.
Wisconsin DMV service centers with per-office services, tests and payment methods
Governed agent access to ERPNext — MCP + A2A doors, one spine. No debit without a credit.
Read-only Hyperliquid data: markets, funding rates, order books, candles, positions and fills
MCP server for TraeCN desktop automation: task delegation, model control, dialogs, code review.
Self-hosted MCP server exposing Claude Code as an agentic AI tool over streamable HTTP.
Single exec tool running caller Python in a network-isolated locked-down sandbox.
Check options trades for hidden catalysts (earnings, FDA, legal, SEC) before you sell premium.
POST /mcp