Skip to main content
Glama
95,511 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

  • A
    license
    C
    quality
    B
    maintenance
    Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.
    22
    82 npm
    12
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    An MCP bridge that enables Claude Code to consult the Kimi AI model in a structured challenge-loop for code review, debugging, and architecture evaluation.
    29 npm
    2
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Compiler-in-the-loop steering for coding agents - Cursor and Claude Code. It runs your workspace's real language server on each edit, extracts diagnostics scoped to the changed lines and type signatures, and feeds that back to the coding agent.
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables AI-powered code review and improvement, including analysis, refactoring suggestions, and automatic test generation, with an optional agentic loop for iterative refinement.
    MIT
  • F
    license
    Not graded
    quality
    D
    maintenance
    An AI-powered server for code analysis, requirements validation, and automated fix proposals with human-in-the-loop confirmation. It supports multiple LLM providers and ensures safe file modifications through automatic backups and path validation.
    -
  • F
    license
    Not graded
    quality
    D
    maintenance
    An autonomous code-reasoning agent that parses repositories using tree-sitter, indexes symbols into SQLite, and answers questions about the codebase through an agentic loop powered by Claude via OpenRouter.
    -
  • A
    license
    A
    quality
    A
    maintenance
    Architectural sensor for Python codebases. Scores structural health (modularity, acyclicity, depth, equality), detects import cycles, enforces YAML layer rules, and runs a snapshot/diff loop so AI-assisted edits do not silently regress structure.
    13
    358 PyPI
    7
    MIT
  • F
    license
    A
    quality
    A
    maintenance
    Deterministic repository context packing for AI coding agents: selects, compresses, and budgets only the files a task needs. Measured 83% fewer input tokens at the same task coverage, fully local, no LLM in the loop.
    9
    52 PyPI
    9
    -
  • A
    license
    A
    quality
    A
    maintenance
    Enables coding agents to capture and inspect running projects, resolve real assets from free sources, and check source for design tells, providing an evidence loop for improving websites, games, and motion.
    10
    1
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    An adversarial code verification system that uses a Verifier-Critic debate loop to systematically uncover security, correctness, and performance issues. It implements the Socratic method to provide deep semantic analysis and dialectical reasoning beyond traditional static linting.
    36
    22 npm
    4
    MIT
  • A
    license
    C
    quality
    B
    maintenance
    Enables coding agents to navigate large codebases through a tree-sitter symbol graph, retrieve compact path:line-annotated context, and run a SNIPE fix loop with live dashboard updates on every save.
    38
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Provides a set of MCP tools to clone and analyze arbitrary MCP server repositories, run static and dynamic security probes in isolated Docker containers, and produce vulnerability verdicts with a human-in-the-loop approval step before filing public reports.
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables analyzing and optimizing context window token usage by measuring, compressing, and eliminating waste from MCP tool definitions.
    59 npm
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    A navigable symbol map of your codebase for coding agents, enabling efficient code navigation and reading only relevant symbols instead of entire files.
    MIT