"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
Matching Connector Tools:
Media intelligence analysis for audio, video, and images via the Echosaw MCP server.
Convert images to PNG, JPEG, WebP, or AVIF through one public remote MCP tool.
Clean YouTube transcripts for agents: single videos, channels, playlists, plus AI caption cleanup.
Create long-form YouTube videos end to end: script, storyboard, voiceover, final MP4.
One tool surface for music, image, video, and audio generation across Suno, Grok Imagine, Seedance, Kling, Hailuo, Wan, VEO, Ideogram, and GPT Image 2. Generate, edit, upscale, reframe, and master through one credit pool. Connect in one click with OAuth, no API key required.
Video, audio, and image processing for AI agents: convert, transcribe, upscale - 150+ operations.
Any video URL to LLM-ready transcript. ASR built in, no captions needed. TikTok, X, TED and more.
Compress images to target sizes (80%+ smaller). Tools: compress_image, convert_image, optimize_image
MCP server for Clipkit — gives AI agents a video toolbox via the Clipkit schema.
Render animated motion-graphics overlays as MP4: lower thirds, titles, callouts
Render HTML, Markdown, or URLs to images, PDF, or branded artifacts; extract and watch pages.
Run multi-step AI pipelines for video, image, audio and text: upload media, run, poll results.
Provides YouCam API for AI image and video editing and generation.
Give AI random access to video: timestamped contact sheets + zoom into any start/end range.
Transcribe audio and video with Speechmatics speech-to-text from Claude and any MCP client.
x402 image tools (USDC/Base): remove_background/upscale $0.02, resize/optimize $0.005; URL in/out
Unified AI API marketplace - LLMs, image, video, audio, MCP tools with x402 payments.
14 PDF tools: merge, split, compress, watermark, encrypt, organize, metadata, page extraction.
15 media & data tools for AI agents: search, transcribe, subtitles, voiceover, translate & more.
Convert files, run PDF/image tools, create billing links, and report feedback.