"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

Enables AI assistants to search YouTube, fetch transcripts, and get AI summaries of videos without API keys.

Enables conversion of YouTube videos to MP3 format through the Youtube To Mp315 API. Supports checking conversion status, retrieving video titles, and asynchronous video-to-audio conversion with customizable quality and time range settings.

Enables AI agents to control a Live2D desktop pet's expressions and actions via MCP protocol.

Enables AI agents to search, watch, summarize, clip, and extract transcripts from YouTube videos, all without needing an API key or leaving the chat.

Enables agents to search starter-track metadata, retrieve original scene templates, and prepare editable playlist-video drafts with optional captions and a browser workspace URL.

Enables AI assistants to search YouTube videos using the official YouTube Data API v3, extract full video transcripts in multiple languages, and store/retrieve video summaries using a local database.

Evidence-first YouTube research server enabling search, transcript citation, video analysis, flashcards, and collateral generation for MCP hosts and VS Code.

A Model Context Protocol (MCP) server that allows Claude Desktop to send documents directly to your Kindle e-reader.

Enables AI-assisted MIDI music generation and composition through natural language, supporting style, tempo, key, and instrument selection.

A sequential thinking tool based on the MCP protocol, used to break down complex problems into manageable steps and provide intelligent tool recommendations for each step.

Set up Android TV, Google TV and Fire TV boxes over ADB on the local network: discover and pair boxes, set any launcher as the HOME app, install apps, take screenshots and run checks. No raw shell tool; the tools that change the box ask before they run.

An MCP server that recreates Microsoft Comic Chat (1996) to generate comic strips from conversation summaries, using original character art and deterministic layout, with no LLM calls.

Enables fetching, searching, and summarizing YouTube video transcripts with multi-language support.

Enables natural language control of Crestron 4-Series AV systems via MCP tools, connecting Claude to a processor over TCP with TLS authentication.

A local MCP server that bridges Logic Pro MIDI data via an AUv3 plugin, enabling reading, creating, and manipulating MIDI regions and tracks through tools like read_logic_track and create_midi_region.

Provides tools to search and retrieve news across various categories including business, technology, science, and sports via the Google News API. It supports keyword searches, autocomplete suggestions, and region-specific news across multiple languages.

Provides tools for discovering events at Madison Square Garden via the Ticketmaster API, returning structured data with event details like name, date, price, and ticket purchase links.

Enables comprehensive YouTube data access including video details, playlists, channels, comments, search, and subtitle operations through the YouTube Media Downloader API.

Enables searching for cocktail recipes by name or ingredients using the API Ninjas Cocktail API, supporting partial matches and ingredient-based filtering.

Enables downloading MP3 audio files from YouTube videos by providing a YouTube URL through the Youtube Mp310 API.

Enables access to YouTube data including channel videos, live streams, shorts, video details, transcripts, screenshots, and related content through the Yt API with support for localization and pagination.

Enables users to fetch random jokes from the API Ninjas Jokes API. Supports retrieving 1-30 jokes per request through a simple interface.

Enables access to the Chuck Norris API to retrieve Chuck Norris jokes and facts through a Model Context Protocol interface.

Enables users to stream or download YouTube video information and direct links via the Ytstream API. It supports geographic optimization and language selection for better download speeds and audio availability.

Enables access to the Deezer 1 API through MCP protocol. Requires API key authentication and supports integration with Cursor and Claude Desktop for interacting with Deezer services.

Enables users to search for and retrieve detailed information about celebrities from the API Ninjas database. Supports filtering results by name, nationality, net worth range, and height.

Provides access to the Youtube138 API for searching videos, retrieving channel information, viewing comments, getting video details, and exploring trending content on YouTube.

MCP server that exposes recorded family stories as read-only tools, enabling Alexa+ to retrieve and deliver voice stories to children through natural language.

Create custom playlists, control apple music locally, search apple music catalog, use ai to generate play lists, and more all without needing an apple developer account or giving the MCP server special privileges.

Connects a personal Trakt account to Claude or Codex so users can get personalized movie and TV recommendations, review watched history and play counts, and search for titles by natural language. Access is read-only and never modifies Trakt history or ratings.