"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

An MCP server implementation that integrates with Minimax API to provide AI-powered image generation and text-to-speech functionality in editors like Windsurf and Cursor.

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.

Turns text scripts into complete videos with stock footage, AI narration, and subtitles via MCP tools for AI assistants.

Enables AI agents to synthesize natural speech using either platform system voices or premium OpenAI TTS, with automatic engine selection and graceful fallback.

A language expression coach MCP server that provides native-sounding translations with cultural context, tone notes, and audio pronunciation for over 13 languages.

Provides access to Open Ai21 API services including chatbots (GPT-3.5, Claude 3, Llama 3), text-to-image generation, image background removal, text-to-speech, question answering, and text summarization capabilities.

Remote MCP server wrapping the Bolna voice AI REST API, providing 11 tools (7 read, 4 write) for voice AI interactions.

Enables ChatGPT to generate ElevenLabs speech from text, returning playable MP3 audio, with voice listing and preference management.

Automated short-form video creation from text prompts, combining text-to-speech, captions, background videos, and music, exposed as an MCP server for AI agents.

Integrates with Claude and Cursor using the Model Context Protocol to generate voice audio from text using Resemble AI's voices.

Text to speech for MCP clients. Reads numbers, dates and order IDs correctly. 23 languages, six voices, every render watermarked. Free key with 100,000 characters, no card.

JavaScript implementation of MiniMax MCP that enables interaction with MiniMax AI services for image generation, video generation, text-to-speech, and voice cloning through MCP-compatible clients.

Enables MCP clients like Claude Desktop and Cursor to interact with MiniMax APIs for generating speech, cloning voices, creating videos, and generating images.

Enables AI agents to generate speech using Gemini TTS models, with tools for text-to-speech, task polling, and pricing checks.

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.

MCP server that exposes OpenClaw Gateway tools to Claude Code and other MCP clients, enabling messaging, session management, scheduling, node control, web search, memory search, and TTS.

Enables full coverage of the ElevenLabs API through 390 auto-generated tools, handling file uploads for speech-to-text and voice cloning plus raw audio downloads. Supports domain filtering, dry-run guarding of credit-spending calls, and configurable output paths for generated media.

Enables MCP agents to retrieve Japanese voice presets and synthesize anime-style speech, including reference-conditioned voice cloning, using the CPU of the computer running the local Gradio app.

Enables voice conversations and screen capture for AI agents via MCP-compatible clients, using Pipecat for speech-to-text and text-to-speech, with support for browser, WebRTC, and phone transport.

Enables AI coding agents and MCP clients to generate Giggy text-to-speech audio by listing voices, requesting speech generations, and polling generation status until a downloadable result URL is ready.