Browse the catalog

MCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client.

An MCP server for retrieving and filtering logs from Mezmo with a quota-conscious design and intelligent defaults. It enables users to discover and query logs by application, level, and custom time ranges to streamline debugging while minimizing API usage.

Provides access to the US Census Bureau API, allowing AI agents to retrieve demographic data and population statistics across thousands of datasets. It enables users to search for datasets, discover variable codes, and query specific geographic data like states and counties.

Developer toolkit for MCP servers - inspect, test, benchmark, validate, and document any MCP server

Keyless hosted MCP: pre-signature x402 payment verdict (GO/HOLD/STOP) with a signed receipt.

Enables access to Israel Central Bureau of Statistics (CBS) data through natural language queries via the Pipeworx MCP gateway.

Connects MCP-compatible AI clients to a MITRE Caldera adversary emulation platform, enabling natural language construction of attack scenarios, agent inspection, and operation management.

Provides AI agents with tools to interact with the Revolut X crypto exchange for order management, market data, portfolio analysis, and more via the Model Context Protocol.

An MCP server that provides hybrid search over Confluent support articles and lets AI assistants save solved problems back into the knowledge base.

This MCP server enables seamless integration with Coda.io for document, table, and row management. It provides tools to fetch, upsert, and delete data through natural language commands.

Enables seamless real-time collaboration between Claude Code and the Gemini CLI for discussing ideas and refining solutions. It provides tools to initiate collaborative sessions, consult Gemini with context preservation, and access conversation history.

An MCP server that gives coding agents a persistent, chained memory of debugging investigations, tracking what's been tried, ruled out, and solved across sessions and scopes.

Enables AI agents to query Grafana dashboards, alerts, and datasources for observability insights and incident investigation.

Local stdio MCP server that handles Google OAuth2 locally and proxies authenticated requests to Google Docs and Google Drive REST APIs, enabling document and file operations from Cursor or other MCP clients.

An MCP server that lets AI agents read and manage Telegram Ads campaigns, including listing accounts and ads, reading stats and budgets, and creating/updating ads, CPM, status, and budget by driving the real ads.telegram.org web UI through Playwright with a reused cookie-based login session.

Enables querying economic data from Banco de México (Mexico's central bank) via the SIE API.

Read-only MCP server for monitoring Make.com scenario errors from ChatGPT, enabling listing scenarios, viewing recent errors, and getting execution details.

Controls an OBSBOT Tiny 2 camera gimbal, zoom, and wake/sleep over UVC/USB without any vendor SDK.

Provides aggregated plugin index data from GitHub and npm as an MCP server, enabling search, stats, and sync via natural language or commands.

MCP server for UI research that helps agents discover visual patterns, generate original HTML/CSS components, and track deliverables without copying third-party code.