Skip to main content
Glama
73,107 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 Vivado

    lzw12123
    F
    license
    C
    quality
    C
    maintenance
    An AI-centric MCP server that enables automated Xilinx Vivado workflows, including project management, synthesis, implementation, and timing analysis. It allows AI agents to drive hardware design processes while integrating directly with the official Vivado GUI for visual context.
    15
    4

  • Todo for AI MCP Server

    todo-for-ai
    A
    license
    -
    quality
    D
    maintenance
    Provides AI assistants with a standardized interface to interact with the Todo for AI task management system. It enables users to retrieve project tasks, create new entries, and submit completion feedback through natural language.
    65
    Apache 2.0

  • API to MCP Gateway

    volkan-m
    A
    license
    -
    quality
    C
    maintenance
    Acts as a bridge between standard REST/OpenAPI web APIs and the Model Context Protocol, dynamically converting REST endpoints into MCP tools for LLM clients like Cursor, Claude Desktop, and n8n.
    26
    Apache 2.0

  • OpenAPI to MCP

    EvilFreelancer
    A
    license
    -
    quality
    D
    maintenance
    A standalone proxy that transforms any OpenAPI or Swagger-described REST API into an MCP server by mapping API operations to executable MCP tools. It enables AI clients to interact with existing web services through automated HTTP requests based on their official documentation.
    28
    16
    MIT

  • QR for Agent

    benswel
    A
    license
    A
    quality
    B
    maintenance
    Dynamic QR code platform for AI agents. Create, customize, and track QR codes without regenerating images. 37 tools covering 11 QR types (URL, vCard, WiFi, event…).
    37
    2
    MIT

  • MCP SSH Tools Server

    nwnusun-cool
    F
    license
    A
    quality
    F
    maintenance
    A server based on the MCP framework that provides remote server management capabilities through SSH, supporting features like connection pooling, file transfers, and remote command execution.
    7

  • 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

  • Figma to React MCP

    surisagar900
    A
    license
    B
    quality
    C
    maintenance
    Automates the conversion of Figma designs into TypeScript React components and integrates with GitHub to create pull requests for the generated code. It includes visual regression testing with Playwright and accessibility validation to ensure implementations match the original designs.
    5
    24
    MIT

  • Talk to Figma MCP

    yhc984
    F
    license
    B
    quality
    D
    maintenance
    Enables Cursor AI to interact with Figma designs, allowing users to read design information and programmatically modify elements through natural language commands.
    40
    1,109
    3