Skip to main content
Glama
72,476 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:

  • F
    license
    -
    quality
    -
    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.
  • 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
    -
    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
  • 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
    B
    quality
    D
    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
    88
    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
    30
    3
  • A
    license
    -
    quality
    A
    maintenance
    MCP server for reading, searching, and optionally writing data in Solid Pods via LDP/RDF with headless client-credentials authentication.
    10
    MIT
  • A
    license
    -
    quality
    A
    maintenance
    Reads top-level sessions from Claude Code, Codex CLI, and Grok Build, filters and anonymizes them, then writes snapshots to Google Drive for mixed semantic search, portrait retrieval, and status queries.
    27
    Apache 2.0
  • F
    license
    -
    quality
    -
    maintenance
    Enables seamless integration with WhatsApp through the Model Context Protocol, featuring multi-user support and Supabase cloud storage for persistent message history and media. Users can send messages, search chat records, and manage contacts across platforms like Claude Desktop, Cursor, and OpenClaw.
  • A
    license
    A
    quality
    B
    maintenance
    Install and manage a self-hosted XNS Relayer — S3-compatible distributed object storage — conversationally over stdio. 15 tools cover prerequisites, account registration, install, claim, health, VPD configuration, S3 verification, CLI credentials, settings, restart, and backups.
    15
    214
    Apache 2.0