A distributed, formally verified catalogue of developer server capabilities. AI goes to ONE place instead of hunting across dozens of MCP/LSP/etc servers. Community-hosted nodes share the load.
Core architecture through v1.0.0 is in place (18 cartridges with shared-library
loading, 307 tests passing, Umoja federation, PanLL panel), but a migration
inventory gap remains. As of 2026-04-12 there are 56 V-lang adapter files still
present under cartridges/ (excluding sidelined notes), with metadata coverage at
65 cartridge.json files and 64 mod.js files. Priority is adapter retirement
metadata parity before Grade C dogfooding.
-
✓ Fresh repo from rsr-template-repo (17 mandatory workflows)
-
✓ Idris2 ABI: Catalogue, Protocol, Domain, Menu, Federation
-
✓
IsUnbreakableproof type (only Ready cartridges can mount) -
✓ Zig FFI: catalogue mount/unmount with safety gate
-
✓ C header:
boj_catalogue.hfrom Idris2 encodings -
✓ Teranga menu (
menu.a2ml) with three tiers -
✓ Order-ticket protocol (
order-ticket.scm) -
✓ Three cartridges: database-mcp, nesy-mcp, fleet-mcp
-
✓ Cultural respect documentation (Teranga/Umoja/Ayo)
-
✓ Federation design (Umoja gossip, hash attestation)
-
✓ Zig FFI: dynamic cartridge loader with hash verification
-
✓ V-lang triple adapter: REST (9000) + gRPC (9001) + GraphQL (9002)
-
✓ First working MCP endpoint (database-mcp)
-
✓ First working LSP endpoint (database-mcp)
-
✓ Order-ticket flow end-to-end (read menu → place order → get endpoints)
-
✓ Stapeln container image (Chainguard base, Podman)
-
✓ Gossip protocol implementation (IPv6, node discovery)
-
✓ Hash attestation (binary verification for community nodes)
-
✓ Seed node setup (4 family nodes across 4 continents)
-
❏ Load-aware routing (requests to healthiest node)
-
✓ Auto-SDP (Software Defined Perimeter for nodes)
-
❏ DoQ/DoH for encrypted DNS resolution
-
✓ PanLL panel (BoJ matrix display, menu browser, order placement)
-
❏ IndieWeb integration (Webmention, self-hosted node discovery)
-
✓ Community cartridge submission process (Ayo menu)
-
✓ Wiki with guides for node operators
-
❏ Project board for cartridge development tracking
-
✓ SDP cartridge (auto-SDP for community nodes)
-
❏ DNS Shield cartridge (DoQ/DoH/oDNS)
-
❏ Container hash state monitoring (vordr integration)
-
❏ PMPL provenance chain verification
-
✓ Remaining MCP cartridges (Cloud, Container, K8s, Git, Secrets, Queues, IaC, Observe, SSG, Proof)
-
✓ LSP cartridges for key domains
-
✓ DAP cartridges where relevant
-
✓ polystack deprecation (Phase 7)
-
❏ Remove remaining V-lang adapters across
cartridges/(56.vfiles as of 2026-04-12) -
❏ Ensure every cartridge has
cartridge.jsonmetadata (currently 65 files) -
❏ Ensure every cartridge has
mod.jstool handlers (currently 64 files) -
❏ Re-run cartridge matrix build/tests and update
TEST-NEEDS.mdwith current evidence -
❏ Refresh repo documentation claims after migration closure (counts, completion text, handover docs)
-
oDNS relay: Distributed Oblivious DNS as a network service (research problem)
-
Aerie integration: Dynamic threat response via BoJ cartridges
-
Cross-network federation: BoJ nodes discovering other federated networks
-
Mobile nodes: Tauri/Dioxus-based node management app