120,703 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 a research portfolio and formal verification artifacts covering type theory, programming language design, and high-assurance systems.
Provides a toolchain for interacting with the Coq proof assistant.
Provides a unified MCP endpoint for a wide toolchain including GitHub, GitLab, cloud services, browser automation, and multi-agent coordination.
Provides a terminal interface for peer discovery, task coordination, and window management in multi-instance AI sessions.
Provides a neurosymbolic development environment designed to facilitate human-machine co-orbit through cognitive-relief layers.
Provides a shared developer environment extension kit for the Box of Justice server.
Provides a canonical registry of machine-checked ABIs and C-ABI implementations for BoJ hosts to fetch on demand.
Unifies multiple communication protocols into a single Idris2-proven ABI with a Zig transport dispatch table.
Provides access to personal development tools and language runtimes through the Homebrew package manager.
Provides an MCP server and filesystem layer to manage repository data.
