"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Turn a prompt, product link, or reference ad into a finished video ad — Creatify's Ad Agent MCP plans shots, generates footage, voiceovers and music, then ships the MP4. Free to start.
Preview. Connect an agent to Indian data: prices and stock by pin, marketplace prices and listings.
Structured, cited, real-world data from 300+ sources and the open web for your AI agents.
Turn long YouTube videos into shorts and music videos, and schedule posts to TikTok and YouTube
Maths lessons on an online whiteboard: solutions, worksheets, graphs and geometry, opened by a link
Search and order at pastaclean.tv for your human. Limits set by the customer, customer pays.
Use your own computers, cloud tools and AI agents from any MCP client with one Frely login.
Design System Manager for shadcn/ui: tokens, fonts, radius, components, icons, blocks, Figma sync.
