diff --git a/README.md b/README.md
index aefbd53c0b..4599ef6e1a 100644
--- a/README.md
+++ b/README.md
@@ -663,6 +663,7 @@ A growing set of community-developed and maintained servers demonstrates various
 - **[Bluesky](https://github.com/semioz/bluesky-mcp)** (by semioz) - An MCP server for Bluesky, a decentralized social network. It enables automated interactions with the AT Protocol, supporting features like posting, liking, reposting, timeline management, and profile operations.
 - **[Bluetooth MCP Server](https://github.com/Hypijump31/bluetooth-mcp-server)** - Control Bluetooth devices and manage connections through natural language commands, including device discovery, pairing, and audio controls.
 - **[BNBChain MCP](https://github.com/bnb-chain/bnbchain-mcp)** - An MCP server for interacting with BSC, opBNB, and the Greenfield blockchain.
+- **[BoJ Server](https://github.com/hyperpolymath/boj-server)** - Unified capability catalogue exposing 18 cartridges (database, container, git, secrets, queues, IaC, observability, SSG, proofs, fleet, neurosymbolic, agent, cloud, k8s, LSP, DAP, BSP, feedback) through a single MCP stdio server. Formally verified with Idris2 dependent types, Zig FFI, V-lang network adapter. Community-hosted via Umoja federation with QUIC gossip and hash attestation.
 - **[Braintree](https://github.com/QuentinCody/braintree-mcp-server)** - Unofficial PayPal Braintree payment gateway MCP Server for AI agents to process payments, manage customers, and handle transactions securely.
 - **[Brazilian Law](https://github.com/pdmtt/brlaw_mcp_server/)** (by pdmtt) - Agent-driven research on Brazilian law using official sources.
 - **[BreakoutRoom](https://github.com/agree-able/room-mcp)** - Agents accomplishing goals together in p2p rooms