Skip to main content
Glama
113,038 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

  • A
    license
    B
    quality
    A
    maintenance
    Alpaca’s official MCP Server lets you trade stocks, ETFs, crypto, and options, run data analysis, and build strategies in plain English directly from your favorite LLM tools and IDEs
    72
    11,500 PyPI
    1,047
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables AI agents to check and repair EasyCrypt proofs by inspecting proof states, safely trying tactics, applying accepted snippets, and searching the standard library through EasyCrypt's batch CLI.
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    An MCP server that lets AI agents debug Python code by running scripts, setting breakpoints, stepping through execution, inspecting live variable values, and editing or reverting files to verify fixes. It relies only on Python's standard sys.settrace, requiring no debugpy, DAP, pdb, or PTY.
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    A unified MCP server providing AI agents with 40+ developer APIs including geolocation, crypto prices, DNS lookup, and web scraping. Enables natural language access to various tools through a single gateway.
    1
    MIT
  • A
    license
    Not graded
    quality
    A
    maintenance
    Enables local code execution via Codex (Luna) through MCP, using ChatGPT Web conversations as a planner. Provides file, terminal, and code execution tools while keeping long-running jobs manageable.
    16
    MIT