Packages

The best web search for your AI Agent

Instant markdown sharing. Create, manage, and share markdown documents directly from Claude.

Lean 4 MCP server: compile and prove theorems with Mathlib.

[](https://github.com/mcp-auth/python/actions?query=branch%3Amaster)

> **This local MCP server (`@sanity/mcp-server`) has been deprecated** in favor of the new, improved remote MCP server at [mcp.sanity.io](https://mcp.sanity.io). This repository is archived and no longer maintained.

An MCP server that gives AI agents full GUI control over remote macOS machines via Apple Screen Sharing, enabling screenshot capture, keyboard/mouse input, application launching, and drag-and-drop — all without installing software on the target Mac.

Communications API platform (formerly Nexmo) offering SMS, voice, video, and messaging APIs for building communication features into applications.

TypeScript MCP server for making HTTP requests and extracting web page elements

[](README.zh-CN.md)

This repository contains **MCP (Model Context Protocol) servers** . Each folder represents a different MCP server implementation.

A Model Context Protocol server for analyzing React code.

MCP server to search Nano Banana prompts from bananaprompts.fun

Custom TypeScript MCP server with Express HTTP transport

MCP implementation for OpenNutrition dataset access. Provides listing, querying, and filtering foods.

A TMCP (lightweight MCP) server

MCP server for filesystem operations (view, create, edit files)


Discover, setup, and integrate MCP servers with your favorite clients. Unlock the full potential of AI in your daily workflow.

MCP server providing real-time curated crypto news from [Gloria AI](https://itsgloria.ai) to AI agents.

Give your AI Agent the compiler's brain, not a text searcher.