Skip to main content
Glama
95,512 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Someone with knowledge of AWS and CDK" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • A
    license
    Not graded
    quality
    B
    maintenance
    A local MCP bridge that lets ChatGPT chat mode operate the user's own computer, running project, file, and shell tasks through a local executor and returning progress and results to the conversation. It also coordinates Codex sessions (persistent or one-off) and other agent CLIs as sub-agents.
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables ChatGPT web to read local files, search code, run shell commands, and drive a local Codex CLI via an official MCP connector, with human approval for risky commands and full audit logging.
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Exposes 31 high-assurance agentic coding skills as MCP tools and resources, enabling AI agents to invoke structured workflows across DISCIPLINE, TECHNIQUE, KNOWLEDGE LAYER, and REFERENCE registers.
    5
    Apache 2.0
  • A
    license
    A
    quality
    B
    maintenance
    Connects AI coding agents to a shared knowledge base by allowing them to search, retrieve, and contribute coding traces. It acts as a protocol adapter for the CommonTrace API, facilitating collaborative knowledge sharing through natural language queries and tool-based interactions.
    6
    1
    Apache 2.0
  • A
    license
    A
    quality
    D
    maintenance
    Official implementation of Anthropic's 'think' tool that provides Claude with a dedicated space for structured reasoning, improving performance by up to 54% on complex tasks requiring multi-step problem solving.
    1
    69 npm
    126
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    An AI-powered toolkit for the M8 mobile development framework that enables automated generation of Vue pages, low-code components, and mock data. It provides real-time code standard validation and a comprehensive UI component knowledge base to streamline development in AI editors.
    4
    29 npm
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Shared knowledge graph for AI coding agents. Search, create, and link verified technical knowledge across 12 node types with trust scoring, demand signals, and auto-provisioning. Install: npx agent-hive-mcp
    10
    7 npm
    MIT
  • A
    license
    B
    quality
    C
    maintenance
    A coding agent toolkit that transforms LLMs into coding assistants capable of working directly on your codebase with semantic code retrieval and editing tools, providing IDE-like capabilities without requiring API subscriptions.
    33
    1
    MIT
  • A
    license
    C
    quality
    B
    maintenance
    Unified capability catalogue with formally verified cartridges, distributed community hosting, and the Teranga menu system for single gateway access to a vast rabbfe of MCP, LSP, NeSy and related servers.!
    41
    17 npm
    3
    Mozilla Public 2.0
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables finding existing shadcn-format UI components by plain-language description instead of exact names, returning ranked matches with install commands and per-dimension match reasons.
    1,141 npm
    51
    MIT
  • A
    license
    Not graded
    quality
    A
    maintenance
    An MCP server for orchestrating a fleet of CLI coding agents in isolated git worktrees. It exposes tools for spawning workers, sending instructions, reviewing diffs, and merging changes, with full terminal visibility.
    6 npm
    4
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables coding agents to check human-stated assumptions against authoritative sources like AWS AppConfig, Sentry, and the repository, detecting when beliefs have drifted from reality. It provides tools to inspect belief history, list verifiable properties, review open drifts, and record verified understanding.
    Apache 2.0
  • A
    license
    Not graded
    quality
    D
    maintenance
    A server component of the Model Context Protocol that provides intelligent analysis of codebases using vector search and machine learning to understand code patterns, architectural decisions, and documentation.
    12
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Supercharges AI coding agents with semantic code intelligence, providing pre-built knowledge graphs for surgical context, faster answers, and fewer tool calls.
    MIT