Browse the catalog

Enables searching through Lean Mathlib 4 documentation by downloading and parsing declaration data from the official Lean community documentation site. Provides regex-based search functionality to find theorems, definitions, and other mathematical constructs by name, returning formatted results with documentation links and type information. Designed for mathematicians and formal verification practitioners working with Lean who need quick access to Mathlib's extensive library of mathematical formalization.

Enables users to create, manage, and monitor Meta (Facebook/Instagram) ad campaigns directly from Claude using natural language.

Enables access to the Zillow56 API to search for real estate listings and rental market trends using locations, coordinates, or specific property filters. It also provides comprehensive housing market snapshots and historical data based on the Zillow Home Value Index (ZHVI).

A Cloudflare Workers-based service that enables intelligent searching, automatic code snippet recording, and statistical analysis of programming knowledge stored in Notion databases.

USPTO PTAB Trials MCP — wraps the USPTO Open Data Portal (ODP) PTAB Trials API

NIH RePORTER MCP — every NIH-funded research project (free, no auth)

A server implementation that combines DeepSeek's reasoning capabilities with Claude 3.5 Sonnet's response generation through OpenRouter. Built with TypeScript and the MCP protocol, it enables AI assistants to leverage both models' strengths - using DeepSeek for analytical thinking and Claude for natural language output. This implementation is particularly valuable for users who want to enhance their AI interactions by combining multiple models' capabilities in a single conversation flow.

An efficient MCP server for Buildin.ai that provides readonly access to search and retrieve full text of pages.

MCP server that provides tools to create and list tasks by consuming a REST API, allowing LLMs to manage a TODO list via natural language.

A remote MCP server exposing two read-only tools (get_available_stocks, get_latest_quarter_details) backed by data stored in Cloudflare R2.

Provides access to Victoria, Australia's public holidays and important dates via an MCP server.

Async Python client for the Traeger WiFIRE grill IoT API, with an optional MCP server

Enables searching and querying open geospatial datasets from Tallahassee-Leon County GIS, including parcels, zoning, and planning data via ArcGIS Feature Services.

MCP server giving AI agents local Markdown tools — to-HTML, TOC, link extraction (free), plus strip-to-text & frontmatter (Pro). Files never leave the machine.

Enables querying Italy's open data portal (dati.gov.it) via its CKAN API, providing access to thematic categories and datasets.

Enables free web searching using Google search results with no API keys required, returning structured results with titles, URLs, and descriptions.

Exposes subscription insights to AI clients, including platform statistics and subscription plan information.

MCP server for Monarch Initiative Data

MCP server for reading and searching SAP Commerce Cloud (CCV2) logs stored in Azure Blob Storage, enabling log listing, retrieval, and regex search via MCP tools.

Manchu-Chinese bidirectional translation and morphological analysis server with RESTful API.