Skip to main content
Glama
74,618 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"How to control macOS" matching MCP servers:

  • A
    license
    A
    quality
    B
    maintenance
    Enables AI agents to formally verify constant-time, masking, and patch completeness properties of Verilog hardware designs, providing concrete leakage signals and next-step guidance.
    12
    Apache 2.0
  • A
    license
    A
    quality
    D
    maintenance
    A lightweight MCP server that provides 40 tools for TypeScript/JavaScript refactoring and code intelligence, directly mapping to TypeScript's tsserver protocol commands for accurate structural changes and workspace analysis.
    40
    51
    3
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Enables AI coding agents to interact with TypeScript projects through compiler-level code intelligence, providing tools for navigation, type information, diagnostics, refactoring, and semantic search.
    29
    339
    3
    Apache 2.0
  • A
    license
    A
    quality
    C
    maintenance
    An MCP server that enables AI agents to move TypeScript files and directories while automatically updating all affected imports using a persistent tsserver instance. This ensures atomic, error-free refactoring that maintains project integrity without manual intervention or wasted tokens.
    2
    22
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Analyzes codebases for cross-platform compatibility issues, detecting platform-specific APIs, file path problems, line ending inconsistencies, and shell command incompatibilities across Windows, macOS, and Linux.
    8
    MIT
  • A
    license
    B
    quality
    F
    maintenance
    Gives Goose/Cursor access to your iOS/macOS project index through the Model Control Protocol (MCP) and IndexStoreDB. This provides exhaustive lists of function call sites to help your agent with refactoring and code navigation.
    4
    64
    Apache 2.0
  • A
    license
    -
    quality
    A
    maintenance
    MCP server and Ghidra plugin for reverse engineering, enabling clients like Claude to control Ghidra. Adds a run_python tool to execute arbitrary Jython scripts server-side.
    1
    Apache 2.0
  • A
    license
    -
    quality
    C
    maintenance
    Enables querying Go module versions, metadata, and go.mod contents by wrapping proxy.golang.org, providing tools for version listing and dependency analysis.
    4
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    Local-first code intelligence and safety layer for AI coding agents. MCP server exposes dependency graph, impact analysis, and AST-compressed repo context, backed by typed local memory, patch-scope safety gates, and git-independent transaction rollback.
    1
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Exposes your organization's Terraform style guide to AI coding agents, enabling them to generate, validate, and ensure Infrastructure as Code follows your specific conventions, naming standards, security defaults, and best practices.
    1
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    An MCP server that provides TypeScript 7 native language server capabilities (go to definition, find references, hover types, diagnostics) to coding agents, using the Go-based tsc compiler for fast and accurate semantic analysis.
    102
    1
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    A standalone MCP server that provides TypeScript type inference and hover information using tsgo, enabling AI agents to get type details, diagnostics, references, and more without needing an editor.
    25
    1
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Helps AI read GitHub repository structure and important files. Want to quickly understand what a repo is about? Prompt it with "read https://github.com/adhikasp/mcp-git-ingest and determine how the code technically works".
    313
    MIT