Skip to main content
Glama
93,537 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Help with coding on Cursor IDE" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • A
    license
    A
    quality
    C
    maintenance
    An MCP server giving coding agents context-window-aware code search and safe, atomic multi-file edits — built to cut token usage on large codebases without sacrificing correctness.
    3
    62 npm
    5
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Serves token-efficient code context for AI coding assistants by exposing Python signatures, call graphs, and budget-packed task context as MCP tools, enabling precise codebase queries without reading entire files.
    3
    1
    MIT
  • F
    license
    A
    quality
    B
    maintenance
    A calibrated faithfulness screen for informal↔Lean 4 statement pairs, served over MCP. It provides deterministic checks and deep LLM-based analysis to help draft Lean statements.
    2
    6
    -
  • A
    license
    A
    quality
    B
    maintenance
    An MCP server that gives AI coding agents verified migration maps: exactly what breaks between two versions of a library and how to fix it, from hand-curated maps with source citations - instead of hallucinated answers from stale training data
    5
    56 npm
    Business Source 1.1
  • A
    license
    A
    quality
    B
    maintenance
    Executes IDAPython scripts in IDA Pro through any MCP-compatible AI assistant, enabling AI-powered binary analysis with full access to IDA's API.
    5
    51
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Enables auto-configuration and validation of React components against a glassmorphic design token system using an AST correction engine. It supports managing UI presets, enforcing design uniformity in Monaco IDE, and exporting tokens as CSS, Tailwind, or JavaScript variables.
    14
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Enables fast, low-token code search for AI coding agents via a local BM25 engine built on SQLite FTS5, with support for camelCase, snake_case, and Japanese text. Provides a stateless MCP stdio server and a Hermes adapter for multi-agent environments.
    1
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Policy and quality engine for AI coding agents that enforces team coding standards and provides validation gates for agent-assisted software delivery.
    7
    32 npm
    4
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Provides software design guidance via MCP, including SOLID principles, design patterns, pattern scaffolding, and heuristic code-smell detection to help review and refactor code.
    4
    44 npm
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Enables AI coding assistants to semantically search codebases by meaning rather than exact text, with zero external daemons and fully local embeddings. Works out-of-the-box with Claude Code, Gemini CLI, Antigravity, and Cursor.
    4
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Plumb is an MCP server that provides coding agents with IDE-level intelligence (LSP, tree-sitter index) and safe, atomic file writes with transactional rollback and crash resilience.
    58
    4
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    A local-first MCP preflight system to help AI inspect Python repositories before generating code, enabling reuse, extend, or create decisions. Currently in early development with only foundational modules implemented.
    4
    MIT