From aa744a61a67400d83df0ccf17c16ce41c8dda563 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Tue, 10 Mar 2026 00:22:24 +0000
Subject: [PATCH 1/2] Add BoJ Server to Community Servers

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

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

From 6f756bdd72f7555d20e6af48cd4b2cef112c7629 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Wed, 11 Mar 2026 02:16:26 +0000
Subject: [PATCH 2/2] =?UTF-8?q?Retrigger=20CI=20=E2=80=94=20README.md=20no?=
 =?UTF-8?q?w=20exists=20at=20repo=20root?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit