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:

  • A
    license
    -
    quality
    A
    maintenance
    Manage a fleet of OPNsense firewalls from an AI agent, inside guardrails it can't drive around. MCP server for central management of OPNsense firewall fleets. 129 tools across devices, config sync, tasks, schedules, templates, backups and remote consoles - destructive actions confirmation-gated, MCP-issued tokens lifetime-bounded, backup and storage secrets excluded from the toolset entirely.
    Apache 2.0
  • A
    license
    -
    quality
    B
    maintenance
    Connect to your TTRPG campaign's repository and database. Instead of retrieving prose, its 48 tools (20 read, 28 write) return typed state: 14 entity schemas (NPCs, factions, locations, sessions, lore), relationship and knowledge-graph queries, wiki blocks, and a narrative-state bundle of open threads and canon facts.
    1
    MIT
  • A
    license
    -
    quality
    A
    maintenance
    MCP server for encoding-aware file operations supporting 24 encodings, with secure directory-restricted tools and optional local execution for ChatGPT Web via OpenAI Secure MCP Tunnel.
    GPL 3.0
  • A
    license
    -
    quality
    B
    maintenance
    An MCP server that provides read-only access to the Paprika Recipe Manager, allowing users to list and retrieve recipes, grocery items, and meal plans. It enables seamless interaction with recipe details and category information through the Paprika API.
    4
    MIT
  • A
    license
    -
    quality
    A
    maintenance
    MCP server that enables AI assistants to drive systematic literature review workflows, including screening, downloading, converting, and reviewing papers through natural language conversation.
    27
    AGPL 3.0
  • A
    license
    -
    quality
    A
    maintenance
    Connect any AI client to the CaBrain memory system via MCP, exposing tools for memory recall, retain, and brain management.
    4
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Converts URL content to Markdown, providing two tools: one for extracting main article content and one for converting the entire HTML.
    9
    MIT
  • F
    license
    -
    quality
    C
    maintenance
    Provides week and calendar helper tools for converting between dates and ISO weeks, performing week arithmetic, and looking up weekday names.
  • A
    license
    A
    quality
    C
    maintenance
    Unified MCP server for Gemini media generation --Nano Banana (images), Veo 3.1 (video), TTS, and Lyria 3 (music). Single Go binary, 12 tools, supports Gemini API key and Vertex AI.
    12
    8
    Apache 2.0
  • F
    license
    B
    quality
    B
    maintenance
    Local-first code intelligence for AI coding assistants: MCP tools, symbol graph search, impact analysis, and auto-index watch for Cursor, Claude Code, and Codex.
    62
    2
  • A
    license
    B
    quality
    B
    maintenance
    Connect Legacy Databases to AI Agents via Model Context Protocol. Open-source bridge for LLM data analysis.
    9
    11
    Apache 2.0
  • A
    license
    -
    quality
    A
    maintenance
    MCP server for managing Apple Wallet and Google Wallet passes via the PassNinja API. Provides tools to create, list, update, and delete pass templates, passes, and webhooks.
    MIT
  • A
    license
    -
    quality
    A
    maintenance
    A Model Context Protocol (MCP) server for Grafana. This provides access to your Grafana instance and the surrounding ecosystem.
    3,361
    Apache 2.0