Skip to main content
Glama
82,781 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables coding agents to query real SF Symbol names from the local SF Symbols app on Mac, helping generate valid SwiftUI/UIKit code without guessing.
    11
    2
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    A Model Context Protocol (MCP) gateway for running Claude Code, Codex, Gemini, Grok, and Mistral (Vibe) CLIs from one MCP endpoint, with durable async jobs, session continuity, cache-aware prompting, observability, and personal-appliance setup tooling. Why developers try it: one local MCP endpoint for cross-LLM validation, multi-agent coding workflows.
    65
    415
    15
    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