Skip to main content
Glama

author:shadowkat-xsp MCP tools

Production-ready MCP servers that extend AI capabilities through file access, database connections, APIs, and contextual services.

X
74,519 tools. Last updated 2026-02-23 12:18

  • read-xmp

    exif-mcp

    Extract XMP metadata from images using the exif-mcp server. Supports reading extended XMP segments and handles input from paths, URLs, base64, or buffers.
    BSD 2-Clause "Simplified"

  • read-xmp

    exif-mcp

    Extract XMP metadata from images to access embedded information, with support for extended XMP segments when needed.
    BSD 2-Clause "Simplified"

  • lean_term_goal

    Lean LSP MCP

    Retrieve the expected type at a specific position in a Lean file to understand type requirements and guide theorem proving.
    MIT

  • get_meta_guide

    OSP Marketing Tools MCP Server

    Generate optimized web content meta information, including titles, descriptions, and slugs, with keyword placement and search intent analysis for improved SEO and content visibility. Ideal for content creators and marketers.
    CC BY-SA 4.0

  • lean_run_code

    Lean LSP MCP

    Execute Lean code snippets with imports to obtain diagnostic feedback for theorem proving verification.
    MIT

  • lean_state_search

    Lean LSP MCP

    Find relevant lemmas to close proof goals in Lean files by searching premise-search.com based on specific file positions.
    MIT

Interested in MCP?

Join the MCP community for support and updates.

RedditDiscord

Matching MCP servers

  • Lean LSP MCP

    oOo0oOo
    A
    security
    A
    license
    A
    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 a day ago
    18
    286
    MIT
    • Linux
    • Apple

  • SP Database MCP Server

    JJVvV
    A
    security
    A
    license
    A
    quality
    A Model Context Protocol server that provides real-time database schema information to AI assistants, supporting both low-code system schema queries and traditional database metadata queries.
    Last updated 7 months ago
    4
    MIT

  • OSP Marketing Tools MCP Server

    x51xxx
    A
    security
    A
    license
    A
    quality
    A TypeScript implementation of a Model Context Protocol server that provides marketing tools based on Open Strategy Partners' methodologies, enabling content creation, optimization, and product positioning through tools like value map generation, meta information creation, and content editing.
    Last updated a year ago
    6
    1
    5
    CC BY-SA 4.0
    • Linux
    • Apple