Skip to main content
Glama
35,552 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"comparison-of-python-based-tools-for-converting-te-x-to-lean" matching MCP servers:

  • Lean LSP MCP

    oOo0oOo
    A
    license
    A
    quality
    B
    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
    22
    383
    MIT

  • X Tools for Claude MCP

    0xGval
    F
    license
    D
    quality
    C
    maintenance
    A lightweight toolkit that enables Claude to search Twitter with natural language queries and display results based on user intent, supporting features like tweet filtering, pagination, and flexible output formatting.
    Last updated
    1
    20

  • 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

  • x-mcp

    Infatoshi
    F
    license
    A
    quality
    D
    maintenance
    An MCP server that provides AI agents with full access to the X (Twitter) API for posting, searching, and managing engagement through natural language. It supports comprehensive tools for tweet management, media uploads, and account analytics across multiple MCP-compatible clients.
    Last updated
    15
    46

  • mcp-x

    Lyonsupernova
    -
    license
    -
    quality
    -
    maintenance
    Enables posting tweets to X (Twitter) via the X API v2, using Claude.
    Last updated
    7

  • X Twitter Scraper

    Xquik-dev
    A
    license
    A
    quality
    B
    maintenance
    Real-time X (Twitter) data platform with 2 MCP tools covering 120+ REST API endpoints. Search tweets, look up users, get timelines, extract followers/likes/retweets in bulk, monitor accounts, run giveaway draws, and perform write actions (tweet, like, retweet, follow, DM). OAuth 2.1 authentication with PKCE.
    Last updated
    2
    112

  • x-ai-mcp

    olivier-motium
    F
    license
    A
    quality
    -
    maintenance
    An MCP server that integrates X (Twitter) API access with Grok-powered intelligence for real-time social media analysis and account management. It provides tools for reading and writing tweets, managing direct messages, and generating AI-powered topic summaries or daily briefings.
    Last updated
    23

  • X(Twitter) MCP Server

    cjkcr
    A
    license
    B
    quality
    C
    maintenance
    Enables creating, managing, and publishing X/Twitter posts, threads, and replies directly through Claude chat. Supports draft management with the ability to create, list, publish, and delete tweet drafts.
    Last updated
    10
    1
    MIT

  • X Search MCP

    konarkm
    A
    license
    B
    quality
    C
    maintenance
    Enables searching X (formerly Twitter) using xAI's Responses API with support for filtering by handles, date ranges, and media understanding, returning structured results with citations.
    Last updated
    1
    6
    1
    MIT

  • X MCP Server

    krishna-paulraj
    F
    license
    B
    quality
    C
    maintenance
    Enables users to interact with X (Twitter) through the X API. Supports posting tweets, retrieving user timelines, searching tweets, and replying to tweets with comprehensive error handling.
    Last updated
    3
    9

  • X MCP Server

    DataWhisker
    A
    license
    -
    quality
    D
    maintenance
    Server for X (Twitter) integration that provides tools for reading your timeline and engaging with tweets. Designed for use with Claude desktop.
    Last updated
    9
    68
    MIT