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:

  • xlsx-for-ai

    senoff
    A
    license
    A
    quality
    A
    maintenance
    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.
    50
    376
    5
    MIT

  • Document Reading and Converter

    mffrydman
    F
    license
    -
    quality
    D
    maintenance
    Enables document conversion between PDF, DOCX, and Markdown formats to facilitate reading and editing complex files in AI tools like Claude Desktop or Cursor. It utilizes marker-pdf and pandoc to provide structured text versions of documents, helping to manage context and support unsupported file types.
    1

  • TheWeave: Memory for AI agents

    TheWeaveSC
    A
    license
    -
    quality
    A
    maintenance
    TheWeave is a markdown-native memory architecture for Claude and any MCP-aware agent. Your agent's memory lives as plain .md files you own: a 5-verb MCP core over the vault, query-driven PageRank retrieval, bi-temporal facts (valid_from / valid_until), and a persona-as-vault model. No database and no embeddings server. The files are the memory, inspectable in your editor and versionable in git.
    2
    Apache 2.0

  • KC AgentDock MCP

    ohaoz
    A
    license
    -
    quality
    C
    maintenance
    Combines KC Chat Panel session interaction with AgentDock computer control tools, enabling Cursor Cloud Agent to chat and operate the local machine via AgentDock.
    MIT

  • form-auto-mcp

    jayounglee92
    A
    license
    A
    quality
    D
    maintenance
    Automates internal system form submissions by reading data from Excel/CSV or Google Sheets and using Playwright to navigate menus and fill form fields, with support for both visible and headless modes.
    1
    20
    MIT

  • Quark Auto-Save MCP Server

    tnnevol
    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.

  • recipe-tools

    lka
    A
    license
    A
    quality
    A
    maintenance
    Enables extraction of recipes from PDFs or JPG files and conversion into structured HTML, with interactive region selection and OCR via a web GUI.
    6
    MIT

  • mcp-for-spotlight

    shaack
    A
    license
    A
    quality
    C
    maintenance
    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.
    2
    MIT

  • Excel Tools MCP

    glosc-ai
    A
    license
    -
    quality
    D
    maintenance
    An MCP server for reading, writing, and analyzing Excel files using Python, pandas, and openpyxl. It enables tasks such as managing multiple worksheets, performing structural data analysis, and creating new files from JSON data.
    MIT

  • MCP Server with External Tools

    edogola4
    A
    license
    -
    quality
    D
    maintenance
    Enables AI models to access external services including weather data, file system operations, and SQLite database interactions through a standardized JSON-RPC interface. Features production-ready architecture with security, rate limiting, and comprehensive error handling.
    270
    MIT

  • mcps-for-macos

    shaack
    A
    license
    -
    quality
    C
    maintenance
    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.
    MIT

  • mcp-agent-tools

    zyay
    A
    license
    -
    quality
    B
    maintenance
    An MCP server that equips AI agents with real-world tools including file operations, read-only MySQL queries, web summarization, safe calculations, and system info. It uses stdio transport and enforces safety guardrails like SELECT-only database access and AST-based math evaluation.
    MIT