Browse the catalog

Enables web search via Serper API with advanced search operators and webpage scraping capabilities to extract content in plain text or markdown format.

Competitor Meta ads intelligence reports. List plans, create orders, Stripe checkout for humans.

This Dafny Verifier MCP server, developed by Nada Amin, provides a Python-based interface for AI assistants to verify Dafny code. Built using the FastMCP framework and integrating with the local Dafny installation, it offers a tool for code verification with customizable timeout settings. The implementation focuses on efficient code analysis, making it easier for AI models to check the correctness of Dafny programs. It's particularly useful for enhancing AI-driven software development workflows, enabling automated verification of formal specifications and proofs without requiring deep knowledge of Dafny's command-line interface.

An MCP server for agents that enables models without vision/multimodal support to analyze images using local Ollama vision models.

Enables browsing Hacker News, searching discussions, analyzing users, and tracking tech trends with zero setup required—no API keys or authentication needed.

Connect to your Oura Ring data to retrieve sleep, activity, readiness, heart rate, stress, and workout metrics. Analyze recent sleep patterns, summarize activity, and check recovery status with clear, actionable insights. Track trends over time and bring your wellness metrics into your workflows.

Enables MCP clients to manage and orchestrate autonomous agents, budgets, and multi-agent workflows within the OpenMesha agentic operating system.

GLOBOCAN — the IARC/WHO Global Cancer Observatory.

Search and read public Ashby job boards for named companies, with filtering, full job details, and side-by-side compensation comparison. No API key required.

IMPAKTRIX: See the blast radius before the change. A universal code impact analysis tool available as a VS Code Extension and an MCP Server.

Enables deployment of a customizable MCP server on Cloudflare Workers without authentication. Allows users to define custom tools and connect to clients like Claude Desktop or Cloudflare AI Playground for remote tool execution.

Datafiniti MCP — wraps the Datafiniti Data API (datafiniti.co)

MCP server for managing Naver SearchAd campaigns, ad groups, and keywords. Provides tools to list, create, and delete campaigns, manage ad groups and keywords, and retrieve detailed performance statistics with flexible date ranges and breakdown dimensions by device, day of week, hour, or region.

Searches and queries the official minecraft wiki to answer any minecraft-related question with precision!

An MCP server that exposes tools for sub-agent style reasoning across multiple LLM providers, enabling delegation of prompts to various models and running critique loops, debates, red-teaming, and answer ranking.

Integrate GDB Enhanced Features (GEF) debugging capabilities into AI-assisted development workflows. The server supports up to four concurrent debugging sessions over SSE or stdio and exposes GDB and GEF commands including memory inspection, register viewing, heap analysis, and memory pattern searching.

Enables AI agents to interact with 1С:Enterprise and BAS ERP systems through REST and HTTP services, providing tools for searching catalogs, creating documents, and querying stock balances.

Gives AI agents access to tokenized real property data on the Fabrica protocol, enabling property search, lending market analysis, and portfolio exploration.

Mozisu MCP Server is a Go-based implementation that provides character counting functionality for text, with special handling for multi-byte characters like Japanese text and emojis. The server processes both total character count and non-whitespace character count, returning structured results through a clean API. Built with performance in mind, it uses Go's unicode package for accurate character classification and offers configurable server settings through JSON configuration. This implementation is particularly useful for applications requiring accurate text metrics across different languages and character sets.

A custom MCP server that lets Claude Code read, search, and manipulate Adobe InDesign documents. macOS only.