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

Creatify Ad AgentAOAuth

ai.creatify.api

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.

Official public Model Context Protocol (MCP) server for Bodywise (bodywise.io). Provides 35 deterministic fitness calculations, food data, and training guides: • Nutrition: TDEE maintenance, bulking surplus, macro splits, daily protein ranges, fat and carbohydrate targets, per-meal protein distribution (~0.4 g/kg). • Strength & Training: 1RM, RPE/RIR working weights, lift balance, barbell warmups, dumbbell-to-barbell conversions, weekly volume auditing, rest intervals. • Body Composition & Anal

Stateless scientific calculators for bioassays and ecotoxicology: 4PL/5PL ELISA standard-curve fitting with sample interpolation, dietary health risk (EDI, THQ, HI, cancer risk) and pollution indices (CF, Igeo, PLI). Every result embeds the required citation, echoed inputs and plausibility warnings. Inputs are processed in memory only and never stored.

5 pay-per-use tools for AI agents, served as one remote MCP server through Apify: clean web screenshots and PDFs (cookie banners, ads and chat widgets removed), PDF/DOCX/image to Markdown with OCR in 27 languages, image OCR, Lighthouse/PageSpeed audits with Core Web Vitals, and email validation (syntax, MX, disposable, role, typos; no SMTP mailbox check). Fixed per-item prices from $0.0003, failed results free, no subscription. Sign in with Apify (OAuth) or use an Apify API token.

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.