Skip to main content
Glama
97,619 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

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

GET /v1/servers – MCP directory API reference
  • F
    license
    Not graded
    quality
    Not graded
    maintenance
    Integrates with the quark-auto-save service to automate file saving from Quark Cloud Drive shares. It enables users to manage auto-save tasks, update configurations, and trigger immediate file transfers through natural language.
    -
  • A
    license
    A
    quality
    C
    maintenance
    Enables Google Drive, Sheets, and Docs operations; ATS job-board reads and liveness checks; local notes and HTTP connectors through MCP.
    27
    MIT
  • 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
    -
  • A
    license
    Not graded
    quality
    B
    maintenance
    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.
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    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/.
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables AI assistants to generate images using Cloudflare Workers AI models directly through the Model Context Protocol. It supports various models like Flux and Stable Diffusion, providing seamless image generation and storage via Cloudflare R2.
    7
    Apache 2.0
  • A
    license
    Not graded
    quality
    B
    maintenance
    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.
    AGPL 3.0
  • F
    license
    Not graded
    quality
    Not graded
    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
    B
    quality
    C
    maintenance
    An implementation of the Model Context Protocol that allows AI models to interact with 360 AI Cloud Drive, providing comprehensive file management capabilities including uploading, downloading, searching, and sharing files.
    11
    58 npm
    5
    Apache 2.0
  • 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
    43 npm
    3
    -
  • A
    license
    Not graded
    quality
    A
    maintenance
    An MCP server for Datto SaaS Protection, providing tools to manage cloud backup and recovery for Microsoft 365 and Google Workspace data through Datto's API.
    2
    Apache 2.0