"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

Enables users to draw GIS geometry on an interactive map and get clean, validated GeoJSON to hand off to other GIS MCP servers such as FEMA flood screening and USGS hydrography.

Enables retrieval and filtering of Indiana Bureau of Motor Vehicles (BMV) locations, including branches, self-service kiosks, and motorcycle training sites.

A local, trustless MCP server that lets AI coding assistants sync brainCloud cloud-code scripts to and from your filesystem and git repo.

Helps migrate projects from AI SDK 4.x to 5.0 by generating a migration checklist and searching the official migration guide for code and data changes.

Enables developers to interact with SignNow API for document signing workflows, providing documentation access, code examples, and authentication help.

Give any LLM agent a real Android or iPhone. 62 MCP tools: tap, swipe, type, screenshot, screen-tree reading, app launch, camera, TTS, crash reports, batched execution. Android via ADB, iPhone via WebDriverAgent, on-device inference, Docker+KVM emulators. Works with Claude Code, Cursor, LangChain, LlamaIndex, and any MCP client. MIT.

MCP server that gives AI assistants on-demand access to 1,500+ amCharts 5 docs, ~300 code examples, and 1000+ class API references.

Exposes the Top 5 Stocks API as MCP tools for Claude and other agents, enabling market research watchlists and performance data retrieval.

This MCP server lets AI agents connect to Figma to read, analyze, create, and modify designs, including elements, styles, assets, and code generation. It works with free Figma accounts and supports parallel multi-agent use across MCP-compatible clients.

Thin MCP server that enables AI agents to generate video, image, and audio content via the Deepy API using a personal API key, with safe generation flow and no business logic.

A client-side MCP proxy that injects OAuth 2.0 bearer tokens or API keys into MCP requests, enabling MCP clients to connect to OAuth/API-key-protected MCP servers like Amazon Bedrock AgentCore Gateway. It automatically fetches and refreshes credentials using AgentCore Identity or static values.

Java based Model Context Procotol (MCP) Server for JDBC

Official Cursor plugin enabling natural-language management of your SideShift company—discovering creators, managing campaigns and contracts, communicating with your network, and inspecting analytics through a secure OAuth-linked MCP server.

MCP server that integrates with VictoriaMetrics vmanomaly API to enable AI-assisted anomaly detection, model management, and configuration generation.

A FastMCP integration server that provides access to Apache Gravitino metadata management APIs, allowing users to manage catalog/schema/table metadata, tags, and user-role information through a structured interface.

Real-time Amazon Sponsored Products (SP) ad placements, keyword tracking, and comprehensive review data for AI Agents. Enables LLMs to autonomously conduct competitor ad audits, consumer sentiment analysis (VOC), and product optimization.

Connects AI assistants to Bloghunch publications for automating content creation, analytics, and distribution.

A Model Context Protocol (MCP) server for the Ghost Security API, providing secure access to security findings and repository data through standardized tools.

Well-designed PDFs from a single prompt. Describe what you need, get a professional document.

This repository is an example of how to create a MCP server for Qdrant, a vector search engine.