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

Enables AI agents to perform local video, audio, and file operations inside an isolated workspace, including cutting/concat videos, extracting audio, transcribing, and managing files, with typed responses and background job support.

Provides restricted MCP tools for scanning, editing, compiling, and verifying LaTeX workspaces, enabling AI assistants to manage local LaTeX projects safely.

AI-powered MCP server for file renaming, organization, and PDF splitting using natural language prompts and content analysis.

50 tools and 400 functions for working with Excel/.xlsx spreadsheets — read/write, recalculate formulas, diff, repair broken references, and audit. Built for AI agents.

Enables extraction of recipes from PDFs or JPG files and conversion into structured HTML, with interactive region selection and OCR via a web GUI.

An MCP server that exposes macOS Spotlight search as tools, wrapping mdfind and mdls to provide full-text and metadata file search across the system.

A Model Context Protocol server that converts Markdown documents to plain text with flexible options and dual protocol support.

The local PDF workflow for Claude Desktop and MCP hosts: fill, sign, merge, split, extract, and analyze PDFs without sending files to a web app.

Enables AI agents to perform file operations through the GigAI Tools API, such as merging PDFs, converting and compressing images, extracting PDF text, and generating QR codes, with results saved locally and tools synced from the live API catalog.

A collection of small MCP servers for macOS automation that expose Apple Mail, MoneyMoney, and Spotlight functionality as tools via AppleScript and command-line, enabling AI applications to search mail, manage contacts and transactions, and perform system-wide file searches through natural language.

Enables AI agents to convert GitHub Flavored Markdown into formatted Word (.docx) files, including headings, lists, tables, links, code and images, with an optional Chinese official document (公文) font preset. Conversion runs locally, so no content is uploaded.

An MCP server that converts and processes document formats such as DOCX and PDF into Markdown, enabling AI assistants to work with document contents.

Enables AI agents to control and interact with a local Windows computer through authenticated MCP tools, including file operations, shell commands, process management, HTTP requests, and system/media inspection.

MCP server for Obsidian vaults, optimised for Cursor agents — safe note editing, lean tool surface, direct filesystem access.

Enables AI assistants to convert and process various document formats through an MCP server interface.

Enables natural language interaction with Obsidian vaults through an MCP server, providing hybrid search, file management, and AI-powered analysis.

Enables local conversion of PDFs to Markdown, with automatic OCR fallback for scanned pages, image extraction, and page-by-page structure preservation.

MCP server for file operations with non-UTF-8/Unicode encoding: Cyrillic, CP1251, CP1252, ISO-8859, KOI8 auto-detection

Enables web ChatGPT to drive durable, sandboxed Claude Code sessions on a local Mac, with controlled read, modify, verify, and recover operations via six session control tools.

MCP server that encapsulates Apple Mail on macOS via AppleScript, enabling invoice PDF search, attachment saving, and message flagging through natural language.