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:

  • latex-mcp

    san-rat
    A
    license
    -
    quality
    B
    maintenance
    An MCP server that enables LLMs to compile LaTeX documents and inspect the resulting PDF, supporting an autonomous write-compile-check-revise loop via a self-hosted Overleaf CLSI instance.
    MIT

  • lean-jira-mcp

    wjarka
    A
    license
    -
    quality
    C
    maintenance
    A lean, agent-first MCP server for JIRA Cloud that exposes 10 intent-shaped tools for searching, creating, updating issues, and more, with human-friendly references and recovery hints.
    19
    1
    MIT

  • linear-mcp-lean

    wiklob
    A
    license
    A
    quality
    B
    maintenance
    A self-hosted MCP server for Linear that reduces response sizes by field-selecting minimal data, saving tokens and costs in LLM agent sessions.
    36
    16
    MIT
  • Agent Tools by AtmaticAI

    Agent Toolsofficial

    AtmaticAI
    A
    license
    -
    quality
    C
    maintenance
    Provides deterministic tools for transforming, formatting, and inspecting structured data for AI agents.
    15
    19
    Apache 2.0

  • api-to-mcp

    sgaluza
    A
    license
    -
    quality
    D
    maintenance
    Turns any OpenAPI REST or GraphQL API into an MCP server, allowing AI assistants like Claude to interact with APIs without writing code.
    18
    MIT

  • 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

  • MCP Tools

    joehuangcoding
    A
    license
    -
    quality
    D
    maintenance
    A local Model Context Protocol (MCP) server that exposes custom tools to Claude Desktop, enabling direct interaction with your local environment. It provides a framework for building and integrating custom TypeScript tools into the Claude interface.
    11
    MIT

  • openapi-to-mcp

    AudienceLabV3
    A
    license
    -
    quality
    D
    maintenance
    Auto-generates MCP tools from your OpenAPI spec, allowing natural language interaction with any API via configurable headers and serverless deployment.
    28
    MIT

  • 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

  • digit-tools

    digitable-lol
    A
    license
    -
    quality
    C
    maintenance
    MCP stdio server that exposes 95 headless it-tools utilities (crypto, encoding, converters, generators, text, math, and more) through three routing tools (categories, list, execute), with flat JSON schemas, worked examples, and deterministic seeded execution designed for small router models.
    GPL 3.0

  • docs-to-mcp

    fayazara
    F
    license
    -
    quality
    D
    maintenance
    A Cloudflare Worker that transforms Cloudflare AI Search (AutoRAG) instances into an MCP server for querying documentation. It enables AI models to search and retrieve relevant information from custom document sets stored in R2 buckets.
    17

  • mcp-guarded-tools

    ridwanspace
    A
    license
    A
    quality
    C
    maintenance
    An MCP server that exposes 43 domain tools behind 4 meta-tools, applying guardrails such as budgets, rate limits, schema validation, human-in-the-loop confirmation for mutations, PII redaction, and an append-only audit log while reducing context window usage.
    4
    MIT