Skip to main content
Glama
73,156 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

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

  • F
    license
    B
    quality
    D
    maintenance
    An MCP server that provides tools for interacting with AWS S3 buckets, enabling direct access to S3 operations through the Model Context Protocol.
    1
  • F
    license
    -
    quality
    -
    maintenance
    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.
  • A
    license
    B
    quality
    A
    maintenance
    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.
    48
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    An MCP server for managing Shelv shelf operations, enabling users to list, search, and read files within shelves. It also supports optional write functionalities for creating and hydrating shelves through configured tools.
    4
    15
    1
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    Provides LLMs with tools to interact with the MASV API. MASV is an easy-to-use and ultra-reliable managed file transfer service designed for teams of all sizes. It allows users to send and receive massive files without size limits, while ensuring data integrity and security through its robust cloud infrastructure that supports cloud, on-prem, and hybrid workflows. Learn more https://massive.io/
    20
    38
    5
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Lets MCP clients publish a single file to a permanent, shareable link via whamlink. Supports tools for managing links, including registration, publishing, listing, updating access, replacing content, and deleting links.
    6
    25
    MIT
  • A
    license
    B
    quality
    C
    maintenance
    This server provides tools for uploading images and videos directly to Cloudinary using Claude/Cline, facilitating resource management with customizable options like resource type and public ID.
    1
    15
    10
    MIT
  • F
    license
    B
    quality
    D
    maintenance
    Enables AI models to interact with Akave's S3-compatible storage by providing tools for managing storage buckets and objects through standardized Model Context Protocol (MCP).
    13
    30
    3
  • A
    license
    -
    quality
    C
    maintenance
    Enables AI agents to securely transfer files between machines via encrypted, expiring share links, with tools for upload, download, status checks, and link management.
    MIT
  • A
    license
    -
    quality
    F
    maintenance
    MCP server for Ethereum Swarm decentralized storage. Provides 12 tools for uploading and downloading data and files, managing postage stamp batches, and working with Swarm feeds — all via the Bee API. Works with the public Swarm gateway or a local Bee node.
    31
    8
    ISC
  • A
    license
    -
    quality
    D
    maintenance
    Enables AI agents to use email, instant messaging, and cloud file storage via MCP tools, giving each agent a verified identity with its own email address, real-time chat, and file sharing capabilities.
    82
    1
    MIT
  • A
    license
    -
    quality
    A
    maintenance
    Provides MCP tools for AWS S3 and S3-compatible storage, enabling file upload, download, listing, deletion, and temporary remote file staging via natural language.
    BSD 3-Clause