Skip to main content
Glama
70,077 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Telegram login" matching MCP servers:

  • better-rlm

    logunovFGP
    A
    license
    -
    quality
    B
    maintenance
    MCP server that lets Claude analyze huge files (logs, dumps, etc.) via a sandboxed Python REPL and recursive language models, keeping content out of the prompt. Zero-setup with Claude Code login, Docker sandbox by default, and tools for loading, searching, chunking, and querying large contexts.
    MIT

  • Logic-LM MCP Server

    shipitsteven
    A
    license
    -
    quality
    F
    maintenance
    Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.
    5
    MIT

  • MCP-Logic

    angrysky56
    A
    license
    -
    quality
    B
    maintenance
    MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
    45
    MIT

  • Remote MCP Server on

    lewadik
    -
    license
    -
    quality
    -
    maintenance
    A server implementation for the Model Context Protocol (MCP) that runs on Cloudflare Workers and supports OAuth login, allowing Claude AI to use custom tools through local or remote connections.
    2,486

  • Remote MCP Server

    rrs1979
    F
    license
    -
    quality
    -
    maintenance
    A Cloudflare Workers-based implementation of Model Context Protocol (MCP) server with OAuth login that allows tools like Claude to interact with custom functions remotely.