Skip to main content
Glama
62,040 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:

  • Lean LSP MCP

    oOo0oOo
    A
    license
    A
    quality
    A
    maintenance
    Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
    Last updated
    23
    449
    MIT

  • lean-memory

    Wuesteon
    A
    license
    A
    quality
    A
    maintenance
    Embedded, local-first agent memory: facts extracted into a per-namespace SQLite file (vec0 + FTS5) with hybrid retrieval and point-in-time (time-travel) queries. ADD-only history over stdio — no server process, no cloud dependency.
    Last updated
    16
    3
    47
    Apache 2.0

  • of-mcp

    ThiTheGoat
    A
    license
    A
    quality
    C
    maintenance
    Provides MCP tools to search, retrieve, and answer questions from the public Open Finance Brasil Confluence documentation using BM25-based local indexing.
    Last updated
    4
    MIT

  • Skill-to-MCP

    biocontext-ai
    A
    license
    A
    quality
    C
    maintenance
    Converts AI Skills (following Claude Skills format) into MCP server resources, enabling LLM applications to discover, access, and utilize self-contained skill directories through the Model Context Protocol. Provides tools to list available skills, retrieve skill details and content, and read supporting files with security protections.
    Last updated
    3
    27
    Apache 2.0
  • m-dev-tools-mcp by m-dev-tools

    m-dev-tools-mcpofficial

    m-dev-tools
    A
    license
    A
    quality
    A
    maintenance
    MCP server that exposes tools to route natural language queries to typed IDs, describe catalog entries, and list repository verification commands for the m-dev-tools organization.
    Last updated
    3
    AGPL 3.0

  • enigma-python-mcp

    denismaggior8
    A
    license
    A
    quality
    A
    maintenance
    A Model Context Protocol server that brings the capabilities of enigmapython library to LLMs, allowing them to encrypt and decrypt messages using historically accurate Enigma machine emulators
    Last updated
    1
    5
    MIT

  • rlm-tools

    stefanoshea
    A
    license
    A
    quality
    D
    maintenance
    An MCP server that provides a persistent sandbox for AI coding agents to explore codebases server-side, returning only compact summaries to reduce context consumption.
    Last updated
    3
    8
    MIT

  • paybond-mcp-Python

    nonameuserd
    A
    license
    A
    quality
    B
    maintenance
    Paybond Kit for Python is the PyPI package for tenant-bound Paybond integrations and delegated agent spend controls. It opens hosted Gateway sessions, verifies capability tokens, authorizes tool-call spend, signs intent and evidence payloads, uses Stripe Connect, Stripe ACH Direct Debit, or x402 / USDC-on-Base settlement rails, reads tenant-scoped Signal, fraud, ledger, protocol, and A2A data, and
    Last updated
    31
    1
    Apache 2.0

  • mcp-python-bitcoinlib

    daedalus
    A
    license
    A
    quality
    C
    maintenance
    An MCP server that exposes the python-bitcoinlib API. It provides tools for Bitcoin key management, address generation, transaction building, script operations, and cryptography.
    Last updated
    20
    MIT

  • msp-tools-mcp

    Jackson-DM
    F
    license
    A
    quality
    C
    maintenance
    Provides MSP support tools (ticket search, draft response, KB search, update) with a deterministic security guardrail that refuses to draft responses for security tickets based on content scanning, even if mislabeled.
    Last updated
    5