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

repo-release-tools mcp-server automates the software release process by managing version bumps, changelog generation, and releases. It streamlines repository maintenance by handling repetitive release tasks directly through your AI assistant.

MCP server for AI Diagram Maker — generate software engineering diagrams from natural language, code, ASCII diagram, images, or Mermaid. Inline diagram rendering using MCP apps UI and diagram URL in responses. Works with Cursor, Claude Desktop, Claude Code, and any MCP-compatible AI.

Enables Claude to control the AI Coach desktop pet, making the mascot react to the conversation, accept care, show messages, act out activities, preview local files, and manage user memos.

Enables MCP clients such as Claude Code, Codex, and Cursor to run Textile Designer AI's textile design tools on image files and URLs — upscaling, repeats, background and watermark removal, channeling, colourways, vectorizing, and more — and save the results locally. Handles device-code account login, plan and credit checks, cost estimates, and job status/download for long-running runs.

Open-source home design and floor plan editor for AI agents: draw walls and rooms, place furniture, doors and windows, build kitchens and wardrobes, check lighting, ergonomics, electrical and plumbing against building codes, and render the plan, 3D views or photorealistic images. Runs in the desktop app, the browser or the hosted server, and every change can be undone.

Gateway connector between LLM agents and world data, providing access to financial market prices, macroeconomic indicators, and news through a bundled endpoint catalog.

MCP server for Checkpoint Harmony Email & Collaboration (Avanan). Enables AI assistants to manage email security, anti-phishing, anti-malware, and threat detection via the Avanan API.

An MCP server for Abnormal Security, enabling management of threat detection, email security cases, and AI-powered attack protection through Abnormal's API.

Enables AI agents to access and modify Todoist accounts to manage tasks and projects on the user's behalf. It provides a suite of tools for task operations and supports interactive UI widgets for a rich visual experience in AI chat interfaces.

A legacy MCP server for Avanan cloud email security, providing tools to manage threat detection, email policies, and security incidents through Avanan's API.

placement for the depractaed Amazon Product Advertising endpoint. You ask Claude to find something, it searches the live Amazon catalogue, and it hands you back a finished HTML card - image, price, savings, star rating, your Associates tag already baked into the link, and the disclosure footer Amazon requires, by Houtini

Cite-able, content-addressed, signed memory of every place on Earth

Enables UPS shipping operations on your own UPS account: negotiated rate shopping, live tracking with an interactive MCP Apps card, and landed-cost estimates for international shipments.

Downloads your entire Search Console dataset into a local SQLite database, then gives your LLM a pre-built SQL query library for every standard SEO analysis type, with context available for your LLM to perform any SQL query to answer your questions and analyse for you.

MCP server that generates 3Blue1Brown-style math videos with Manim and AI voiceover directly inside Claude Desktop.

Hosted email MCP server for AI agents. Connect Outlook / Microsoft 365, Gmail or any IMAP/SMTP mailbox (IONOS, STRATO, OVHcloud, one.com, Namecheap, Hostinger, cPanel hosts, Fastmail, iCloud, Yahoo, Zoho) to Claude, ChatGPT, Cursor and any MCP client to read, search, send, organize, schedule and auto-triage email. Several mailboxes on one agent. Mail is fetched live and never stored.

Enables AI agents to master audio tracks to target LUFS/True Peak levels, remove Suno/Udio AI fingerprints, and retrieve mastering passports via a hosted MCP server.

Enables fair random picks, team splits and wheel spins inside chat assistants and other MCP clients, with results shown in chat. It also runs certified draws that seal the winner before the spin and publish a verifiable public proof page, so anyone can check the outcome.

Enables AI agents to perform professional-grade geoprocessing tasks such as buffers, overlays, reprojections, and terrain analysis with deterministic tools and verifiable provenance.

An MCP server for Action1, a cloud-native RMM platform, enabling remote monitoring, patch management, and endpoint management through Action1's API.