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:

  • lean-computer-use-mcp

    Kvxw1105
    A
    license
    A
    quality
    B
    maintenance
    Enables low-cost agent models to control Windows applications through a compact, state-safe proxy over Open Computer Use, reducing model-visible context by up to 99.8% with support for record/replay and reusable UI component memory.
    5
    MIT

  • mcp-for-money-money

    shaack
    A
    license
    A
    quality
    C
    maintenance
    A small MCP server that wraps MoneyMoney on macOS via AppleScript, exporting account lists and transactions (bookingDate, amount, name, purpose) as plists for invoice reconciliation, complementing a companion Apple Mail server.
    2
    MIT

  • MCP Desktop Tools

    K1ta141k
    F
    license
    A
    quality
    D
    maintenance
    An MCP server that provides Claude with comprehensive desktop automation capabilities including browser control, window management, and native mouse/keyboard input on Windows. It enables users to capture screenshots, launch applications, and interact with the system clipboard through natural language.
    20

  • MCP Custom Tools Server

    SergiFuster
    A
    license
    B
    quality
    D
    maintenance
    A comprehensive MCP server with 30+ custom tools organized into categories: date/time operations, file management, system information, text processing, and web operations. Enables async communication with robust error handling and flexible CLI integration.
    31
    1
    MIT

  • Smooth Operator Agent Tools

    fstandhartinger
    A
    license
    -
    quality
    D
    maintenance
    Windows automation MCP offering * AI Vision (e.g. Click by Description) * Windows UI Automation Tree tools * Chrome Automation via Playwright * Mouse control * Keyboard control * a lot more (>40 tools) Also comes with Python/TypeScript/C# client libs and a Windows Desktop tool to try all the tools.
    2
    MIT

  • truenas-aiops

    AIops-tools
    A
    license
    A
    quality
    A
    maintenance
    AI-powered MCP server for TrueNAS SCALE storage operations with governance and safety features, enabling management of pools, datasets, snapshots, disks, alerts, and services.
    25
    MIT

  • macOS Tools MCP Server

    Zhuoli
    F
    license
    A
    quality
    D
    maintenance
    Provides read-only access to native macOS system utilities including disk management, battery status, network configuration, and system profiling through terminal commands. Enables users to retrieve system information and diagnostics from macOS machines via standardized MCP tools.
    5

  • ABAQUS MCP Server for GUI

    jianzhichun
    A
    license
    -
    quality
    D
    maintenance
    A server that enables programmatic interaction with an already running Abaqus/CAE GUI application, allowing users to execute Python scripts and retrieve message logs through the Model Context Protocol (MCP).
    105
    MIT

  • Filesystem MCP Server for WSL

    webconsulting
    A
    license
    -
    quality
    D
    maintenance
    Node.js server implementing Model Context Protocol that enables seamless interaction between Windows and Linux distributions under WSL, allowing file operations like reading, writing, searching, and managing files across the WSL filesystem from Windows.
    36
    14
    MIT

  • Robot Navigation MCP Server

    827346462
    A
    license
    -
    quality
    D
    maintenance
    Enables robot navigation control and monitoring through natural language. Provides tools for robot positioning, navigation to coordinates, device status monitoring, task management, and emergency controls.
    MIT