121.250 Server aus der offiziellen Registry, von GitHub und npm. Filtere nach Kategorie, Transport und Sprache.
Füge das GitHub Repo ein und wir listen ihn nach einem kurzen Review auf.
Provides coding agents with a suite of engineering tools including verification gates, repository maps, LSP, code graphs, and RAG.
A post-quantum reverse proxy and agent gateway that uses machine-checked models to enforce security invariants and capability-scoped access.
MCP servers and hooks that add deterministic verification, code intelligence, supply-chain checks and cross-project memory to Claude Code, without replacing its native loop.
MCP servers that add verification, code intelligence, context packing, memory, sub-task offload, supply-chain checks and deep research to the OpenAI Codex CLI on any model backend.
