Skip to main content
Glama
102,199 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"A service or information about interpreters" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • F
    license
    D
    quality
    D
    maintenance
    A simple MCP server implementation in TypeScript that communicates over stdio, allowing users to ask questions that end with 'yes or no' to trigger the MCP tool in Cursor.
    1
    6 npm
    -
  • A
    license
    Not graded
    quality
    D
    maintenance
    A service that processes natural language requests to perform mathematical calculations by integrating Claude AI with a calculator API through the Model-Context-Protocol architecture.
    39 npm
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    MCP-ORTools integrates Google's OR-Tools constraint programming solver with Large Language Models through the MCP, enabling AI models to: Submit and validate constraint models Set model parameters Solve constraint satisfaction and optimization problems Retrieve and analyze solution
    21
    MIT
  • A
    license
    B
    quality
    C
    maintenance
    Enables a bot to inspect, query, create, edit, and script Roblox Studio instances in token-cheap batches, plus run Luau, playtests, screenshots, and inputs through Roblox's official Studio MCP connection. It runs locally over stdio or an authenticated local HTTP endpoint, returning small structured answers instead of dumping whole games into context.
    8
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    A self-hosted MCP server that enables AI coding agents to read, edit, search, and run code in local projects with human review loops and policy controls.
    MIT
  • F
    license
    Not graded
    quality
    D
    maintenance
    Provides a secure workspace for AI-driven file management and Python script execution designed to run on Vercel. It enables tools for full file operations and code execution within a sandboxed environment.
    -
  • A
    license
    A
    quality
    D
    maintenance
    A FastMCP server that turns JSON data into Plotly figures, deployable as an isolated service on Modal. Data goes in as JSON; a validated Plotly figure (JSON) or a rendered PNG comes back over the Model Context Protocol.
    4
    1
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Enables compiling Lean 4 proof snippets on the local machine against a Mathlib project and returns structured compiler feedback — status, one-line hints, and the compiler's real error, warning, and information messages — so a model can iterate on proofs instead of guessing. Compilation is serialized, timeouts kill stuck tactics, and rejected code is reported as a normal result rather than a tool failure.
    1
    GPL 3.0
  • F
    license
    A
    quality
    D
    maintenance
    A foundational project for quickly developing Model Context Protocol servers using the TypeScript SDK and Zod for schema validation. It features pre-implemented examples for tools like a calculator and greeting service, along with templates for managing dynamic resources.
    6
    -
  • A
    license
    A
    quality
    A
    maintenance
    Enables AI agents to safely read, edit, and execute local Jupyter notebooks without running a separate service. Edits are guarded by compare-and-swap hashes and execution resumes or replays kernel state, so long-running cells aren't needlessly re-run.
    6
    85 npm
    2
    MIT