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

A high-performance MCP server that compiles LaTeX into publication-ready PDFs via Tectonic and delivers instant, hosted CDN download links via Cloudflare R2.

Enables saving files and folders to a local NAS over NFS with automatic share discovery, smart mounting, and seamless file transfers.

An MCP server that provides tools for interacting with AWS S3 buckets, enabling direct access to S3 operations through the Model Context Protocol.

A local agent that monitors your system clipboard, automatically uploads copied images to Supabase Storage, and replaces the clipboard content with the public URL for immediate sharing.

Enables secure one-time encrypted file and note sharing by encrypting data locally before upload and providing tools for sending, listing, checking, and revoking links.

Enables direct interaction with AWS S3 buckets through the Model Context Protocol, allowing users to list and manage S3 bucket operations using their AWS credentials.

Governed MinIO object-storage operations — capacity, exposure-surface audit, lifecycle, and healing RCA, with guarded bucket writes, unbypassable audit logging (MCP + CLI), budget/runaway guards, dry-run, and undo/rollback.

A Model Context Protocol server that provides seamless access to multiple storage services including S3, Azure Blob Storage, and Google Cloud Storage through Apache OpenDAL™.

An MCP server for managing Proton Mail, Pass, Drive, and Calendar through local IMAP/SMTP, pass-cli, and Proton Drive CLI, enabling AI agents to operate the mailbox, manage passwords, sync files, and classify emails.

Enables Claude and Gemini to access and manage multiple Google accounts simultaneously across services such as Gmail, Drive, Calendar, YouTube, Sheets, Analytics, AdSense, and Fitness, with create, read, update, and delete operations. It runs locally without external intermediaries to keep account access private.

Enables ChatGPT users to search and browse a private photo library, inspect metadata, and receive real image previews through read-only tools, while keeping encrypted sessions server-side.

Enables editing existing Docs, Sheets, and Slides in place, plus commenting, sharing, moving, and exporting files with native Google URLs returned. Provides 29 tools across Drive, Docs, Sheets, and Slides, using OAuth keys kept locally in ~/.gdrive-mcp/.

MCP server giving Claude access to Tuta mail, calendar, contacts and drive. Supports mail modes (dedicated/shared/folder), trusted sender filtering with E2E verification, and Docker-based setup.

Enables Antigravity IDE to directly interact with Google Docs, Sheets, Drive, Gmail, and Calendar, with token-optimized operations to reduce context usage by 70-90%.

Enables ChatGPT to list, search, and read files from a user's Google Drive—including Docs, Sheets, Slides, and text files—through read-only Google OAuth access.

Enables AI tools to publish HTML pages and get shareable URLs instantly, with optional account features for persistence, in-place updates, and visibility control.

Enables Claude and other MCP clients to discover and call 425 Hitachi VSP One Block REST API operations for storage management, with read-only safety by default, session handling, asynchronous jobs, downloads/uploads, and configurable direct tools.

Enables AI agents to read and query Excel files stored in SharePoint and OneDrive for Business, converting permission-matrix spreadsheets into structured JSON for automated QA workflows.

MCP server for OVHcloud Object Storage, enabling management of buckets, objects, project users, S3 credentials, and storage policies. Read-only by default with opt-in write tools.

A local MCP server giving Claude access to Trimble Connect, with 40 tools for projects, folder trees, files, versions, members, groups, and permissions via the Core API v2.