Skip to main content
Glama
21,173 servers. Last updated 2026-04-11 03:09

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
    security
    A
    license
    -
    quality
    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 days ago
    18
    349
    MIT
    • Linux
    • Apple

  • X Tools for Claude MCP

    0xGval
    A
    security
    F
    license
    -
    quality
    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 a year ago
    1
    18

  • x-mcp

    Infatoshi
    A
    security
    F
    license
    -
    quality
    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 18 days ago
    15
    39

  • x-mcp

    windsornguyen
    -
    security
    A
    license
    -
    quality
    A read-only X/Twitter MCP server that enables data retrieval for user profiles, tweets, and social graphs using OAuth 2.0 Bearer Token authentication. It supports searching recent tweets, viewing timelines, and tracking engagement metrics like followers, likes, and retweets.
    Last updated 3 months ago
    3
    MIT

  • X MCP Server

    tomaitagaki
    -
    security
    F
    license
    -
    quality
    Enables interaction with X (Twitter) API v2 with multi-user OAuth 2.0 support, allowing users to manage bookmarks, create tweets, and access user information with encrypted token storage and automatic refresh.
    Last updated 5 months ago
    10