Skip to main content
Glama
70,736 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"How to run Docker and view logs" matching MCP servers:

  • A
    license
    A
    quality
    D
    maintenance
    Enables LLMs to explore and analyze UK Government BEIS inspect_ai evaluation logs directly from tools like Claude Code and Cursor. It provides capabilities to list logs, view evaluation summaries, and inspect conversation histories for specific samples.
    6
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Provides access to Ant Design component library documentation and information for automated code generation. Enables searching components by category or keyword, retrieving component props, examples, API documentation, and available icons.
    6
    12
    ISC
  • 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
    30
    3
    MIT
  • 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
    19
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Enables AI agents to run Shipcheck on local JavaScript/TypeScript repositories, scanning for launch risks like exposed env vars, unsigned webhooks, and missing security guardrails.
    1
    113
    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
    158
    3
    MIT
  • A
    license
    B
    quality
    C
    maintenance
    Enables LLMs to run Biome formatting, linting, and assist checks on TypeScript/web projects with token-efficient, structured output, plus searchable cached Biome documentation.
    5
    Apache 2.0
  • A
    license
    B
    quality
    D
    maintenance
    An MCP server leveraging the Rust-based ty type checker to provide AI models with high-performance, semantic Python code analysis and structural navigation. It enables precise symbol searching, cross-file renaming, and diagnostic reporting to improve code understanding and editing accuracy.
    16
    1
    MIT