118,566 servers from the official registry, GitHub and npm. Filter by category, transport and language.
Paste its GitHub repo and we list it after a quick review.
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.
