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

Enables converting text to speech audio in 20+ languages, returning base64-encoded MP3 output via Google TTS with x402 micropayment-based pay-per-call access.

This MCP server enables Claude to speak summaries, announcements, and explanations aloud using text-to-speech — right from your terminal.

Enables downloading videos from platforms like YouTube and converting them to text using OpenAI Whisper and ffmpeg. It supports multiple output formats including TXT, JSON, SRT, and VTT for transcriptions.

Enables users to convert text into high-quality audio by accessing the OpenAI Text-to-Speech API. It supports customizable model selection and voice options for synthesized speech generation via the MCP protocol.

Enables LLM agents to process local videos into timestamped, citable text documents and then query them through tools for listing videos, retrieving transcripts, and fetching specific segments, all fully offline.

Enables AI agents to transcribe Instagram Reels into text by providing a tool that accepts a Reel URL and returns the speech transcript along with metadata such as author and duration.

Text-to-speech MCP server that enables AI assistants to read text aloud on the user's computer using Windows SAPI, with no API key or cloud service required.

Enables MCP clients to leverage the Intel Arrow Lake NPU for local speech transcription, screenshot OCR, private semantic search, and hardware diagnostics, all processed locally.

An MCP server enabling video processing via natural language: transcription with Whisper, segment cutting with FFmpeg, and file management.

Enables room agents to generate or edit images (published directly into the room's Docs rather than passed through the model's context) and transcribe audio attachments, using the deployment's media providers with the room itself acting as the credential.

An MCP server that provides speech-to-text transcription and speaker diarization using OpenAI Whisper and pyannote.audio.

Enables text-to-speech conversion using Google Translate's TTS, supporting many languages and accents, and saving MP3 files.

An MCP server that enables voice-to-voice AI conversations using ElevenLabs for speech synthesis and recognition, with tools for voice management, text-to-speech, and speech-to-text.

Enables agents to convert text to speech using OpenAI's TTS models with voice selection, delivery instructions, and queue-based audio playback. Supports both blocking and non-blocking modes for flexible audio generation and playback control.

Enables submitting audio via URL or Base64 for local Whisper transcription, then checking job status and results or deleting transcription jobs. It provides asynchronous job handling and SSRF-protected downloads/callbacks without cloud API calls.

An MCP server providing tools for speech-to-text, translation, language detection, question answering, and text-to-speech using Sarvam AI models, enabling multilingual voice agents.

Provides various AI capabilities through DeepInfra's OpenAI-compatible API including image generation, text processing, embeddings, speech recognition, object detection, and classification tasks. Enables users to access multiple AI models for diverse tasks like generating images from prompts, transcribing audio, analyzing text sentiment, and performing computer vision operations.

Enables AI clients to watch and hear videos from local files or YouTube, Vimeo, and Loom links by returning timestamped key frames, a transcript, a contact sheet, and a combined timeline, with all processing done locally.

MCP server for SpeechWeave transcription, enabling AI assistants to transcribe local files and URLs via wait-first or async tools.

Enables AI models to speak and sing using retro-style formant speech synthesis, converting text or phoneme strings to WAV audio via MCP tools.