Skip to main content
Glama
82,838 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Spyder IDE" matching MCP servers:

GET /v1/servers — MCP directory API reference
  • A
    license
    A
    quality
    A
    maintenance
    Token-safe code search for AI agents: queries the language-server index (clangd / Roslyn / tsserver / pyright) instead of grep and returns a token-capped file:line list — ~20x fewer tokens. Symbol-level editing + a grep→index rewrite hook. Local-only, no IDE.
    16
    11
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    An MCP server that gives your IDE or agent access to Google Gemini with autonomous codebase exploration, enabling deep code analysis, architectural reviews, and bug hunting.
    20
    10
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Connects Claude AI to Atelier B formal methods IDE, enabling typechecking, proof generation, automatic proving, and C code generation for B projects.
    18
    AGPL 3.0
  • A
    license
    A
    quality
    C
    maintenance
    Enables Claude to operate Android Studio and the entire Android toolchain: build, test, lint, run on devices/emulators, analyze APKs, scaffold projects, inspect code, and drive the live IDE via 73 tools.
    73
    2
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    A MCP server for Trae IDE that reads and reports diagnostic information (errors/warnings/hints) from the IDE, enabling AI Agents to provide more intelligent code analysis and suggestions.
    4
    16
    13
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    Provides IDE-like semantic code retrieval and editing tools for LLMs, enabling precise code understanding and manipulation in large codebases via the Model Context Protocol.
    25
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    Exposes TypeScript Language Server Protocol functionality to AI agents, enabling them to query types at specific positions, find definitions and references, get diagnostics, run type tests, and type-check inline code just like in an IDE.
    9
    146
    3
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    A coding agent toolkit that provides IDE-like semantic code retrieval and editing tools, enabling LLMs to efficiently navigate and modify codebases using symbol-level operations instead of basic file reading and string replacements.
    19
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Connects AI coding assistants to DLP One for real-time security scanning, vulnerability management, and AI-generated remediation directly inside your IDE or AI agent.
    Apache 2.0
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables MCP clients to drive IDA Pro through a stability-hardened server that hosts multiple headless idalib instances, with per-session isolation, configurable HTTP/stdio transports, and API-key authentication.
    111
    MIT