118,237 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.
Extracts and reconciles knowledge from conversations to support multi-LLM development workflows.
Enables AI clients to orchestrate and manage Kubernetes clusters.
Provides a neurosymbolic development environment designed to facilitate human-machine co-orbit through cognitive-relief layers.
Provides a collection of Large Language Model patterns and implementation examples.
Provides load-shedding, crash-safe ledgers, and post-mortem analysis for concurrent LLM and agent terminals to prevent catastrophic failures.
Provides a unified suite of integrations for Claude AI, including Firefox browser automation, Gecko extensions, and a GitLab bridge.
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.
Nextgen language: 7-tentacles
Unified MCP for 20 databases: SurrealDB, ArangoDB, Virtuoso, CouchDB, Cassandra, and more
$claude mcp add poly-db-mcp -- docker run -i --rm ghcr.io/hyperpolymath/poly-db-mcp:mainUnified MCP for 28 static site generators across 19 languages: Zola, Hakyll, and more
$claude mcp add poly-ssg-mcp -- docker run -i --rm ghcr.io/hyperpolymath/poly-ssg-mcp:main
