v0.4.6 — Runtime-agnostic MCP bridge + AAA-tier definitions

Highlights

• AAA-tier MCP definitions (ad837abe): all tools upgraded to the Glama AAA description + schema floor — Purpose, Behavior annotations (read-only vs side-effect), Returns, Errors, and per-parameter description fields with patterns/lengths/enums. Server coherence test enforces the floor.
• Runtime-agnostic bridge: stdio bridge migrated from Node.js to Deno; deno.json for imports, no node_modules in production.
• Local-coord-mcp: Tasks #2 + #7b — wired boj_cartridge_invoke + VeriSimDB seam end-to-end.
• Orchestrator-LSP-MCP: Steps 1–5 complete — Elixir adapter, Zig FFI, ReScript VS Code extension, VeriSimDB wired, status Ready.
• Echidna-LLM-MCP: consult + suggest_tactics cartridge implemented.
• ABI: CartridgeData.idr + new orchestrator-LSP-MCP cartridge.
• 007-MCP: cartridge installed + oo7_mcp registered in CartridgeData.idr.
• Worker briefing: .boj/project-memories.a2ml template added.
• Coord-TUI: title now exactly peer_id (drops coord-tui [ prefix).
• Deps: nixpkgs bumped b86751b → 01fbdee.

Glama posture

This release is the snapshot that should restore Quality = A. Tool definitions meet the AAA rubric (Behavior / Conciseness / Completeness / Parameters / Purpose / Usage), and the inspectability surface (.mcp.json + bin entry + offline manifest fallback) is intact.

v0.4.1 — MPL-2.0 relicense + Glama AAA-tier MCP bridge

Highlights

• License: relicensed PMPL→MPL-2.0 across the repo; OIDC trusted publisher + socket.json added.
• Glama AAA-tier MCP bridge (PR #33): closed the description/schema floor gap; every tool now carries Purpose, Behavior (read-only vs side-effect), Returns, Errors, and per-parameter description with patterns/lengths. Coherence test enforces a minimum description floor so the server score (60% mean + 40% min) cannot regress.
• MCP transport: SSE transport added alongside stdio.
• MCP SDK: expanded parameter support with authentication and rate limiting.
• Architecture: ARCHITECTURE.md documents the transport layer.
• Compatibility: explicit test file path for Node v25.
• Ops: deployment script + config for hosted MCP servers.

v0.4.5 — Container build unblocked (V 0.5 + Zig 0.15 compat)

Highlights

• V 0.5 compat: removed dead adapter/v/src/deprecation.v + legacy.v (imported but never used in main.v; remnants of pre-V-ban cleanup) and dropped their imports.
• Zig 0.15 strictness: stapeln_ffi.zig discards unused replicas param.
• Verified locally: v -shared -check adapter/v/src/ exits 0; container CI unblocked.
• MCP cartridge resilience: crash-resilience added to claude-ai-mcp server.
• New cartridge: local-coord-mcp — localhost multi-instance coordination (PR #97), with PanLL panels manifest + technical report.

v0.4.4 — Complete Zig FFI build infrastructure (99/99 cartridges)

Highlights

• Missing build.zig: 35 cartridges had bare .zig FFI files but no build.zig, so the container build loop silently skipped them and the V adapter linker would fail. Generated build.zig for all 33 cartridges with existing .zig files.
• Stub coverage: stub FFI + build.zig added for claude-ai-mcp and toolchain-mcp (previously empty ffi/ dirs).
• Result: all 99 cartridges now have complete Zig FFI build infrastructure.

v0.4.3 — Register all 99 cartridges

Highlights

• Cartridge count corrected: 96 → 99. Three additional cartridge directories existed but were unregistered.
• V adapter registration: register_builtin_cartridges() extended from 23 to all 99 cartridges.
• Adapter PortInfo: SSE port added; adapter version bumped v0.1.0 → v0.4.3.
• Docs: show-hn posts, container label, and QUICKSTART-USER.adoc updated to the 99-cartridge count.

v0.4.2 — V adapter links all 96 cartridge FFI libs

Highlights

• V adapter link list: previously only 23 of 96 cartridges were declared in the #flag section, so the final boj-server binary could only reach 23 native implementations at runtime. All 73 remaining cartridges added; full 96-cartridge link list complete.

v0.4.0 — V-lang adapter sweep + believe_me reduction (31→4)

Highlights

• V-lang adapter sweep: 96 cartridge build set completed across 4 batches (external services, hyperpolymath-native, cloud/databases/comms, final 35) — 0 .v files remain in cartridges.
• ABI proof hardening: believe_me axioms reduced from 31 → 4 across all ABI safety modules.
• Zig 0.15 API port: 9 FFI files updated for new callconv(.C) and http response writer API; container build now self-contained.
• a2ml migration: order-ticket.scm → order-ticket.a2ml (machine-readable artefacts standard).
• GitLab MCP fix: missing gitlab_api_mcp_request cap definition added.
• Container hardening: port references corrected (9000/9999→7700) + SSE port 7703 wired.
• Docs: outreach draft synced to 96-cartridge count; V-lang demoted from headline to internal dependency.

See CHANGELOG.md for the full V-lang ban / Nickel manifest / BoJ-only MCP / Unified-zig-api alignment policy entries.

v0.3.1 — Glama inspection + 3 new cartridges

3 new cartridges (hetzner, fly, railway), Dockerfile symlink for Glama inspection, npm 0.3.1 published.

v0.3.0 — QuandleDB + LithoGlyph + npm publish

What's New

Database Trinity Complete

The database-mcp cartridge now supports all three nextgen-databases:

• VeriSimDB (VQL) — versioned 8-modality database, port 8080
• QuandleDB (KQL) — knot-algebraic database, port 8081
• LithoGlyph (GQL) — graph database with dependent types, port 8082

Plus existing backends: SQLite, PostgreSQL, Redis.

npm Package

BoJ is now installable via npm for MCP client compatibility:

npx @hyperpolymath/boj-server

Polystack Superseded

All 6 polystack packages have been removed. BoJ cartridges cover 100% of polystack functionality plus 9 additional domains (nesy, agent, dap, bsp, lsp, feedback, comms, ml, research).

Stats

• 21 cartridges (Tier Teranga) + 2 (Tier Shield)
• 307+ tests passing
• Idris2 ABI + Zig FFI + V-lang adapter architecture
• Zero believe_me, zero assert_total

Bundle of Joy Server v0.2.0 — Grade A Production

Bundle of Joy Server v0.2.0

Unified capability catalogue exposing 18 cartridges through a single MCP stdio server.

Highlights

• MCP stdio bridge — boj-server --mcp, JSON-RPC 2.0, all 18 cartridges as MCP tools
• Thread-safety hardening — std.Thread.Mutex on all 9 FFI modules
• 307 tests passing, Grade A (Production) per CRG v1.0
• Formally verified — Idris2 dependent types (zero believe_me), Zig FFI, V-lang triple API

18 Cartridges

database, fleet, nesy, agent, cloud, container, k8s, git, secrets, queues, iac, observe, ssg, proof, lsp, dap, bsp, feedback

Architecture

Layer	Technology	Purpose
ABI	Idris2	Dependent type proofs
FFI	Zig	C-ABI, zero runtime deps
Adapter	V-lang	REST :7700 + gRPC :7701 + GraphQL :7702
Transport	MCP stdio	JSON-RPC 2.0
Federation	Umoja	QUIC gossip protocol

Container

podman build -t boj-server:0.2.0 -f container/Containerfile .
podman run -p 7700:7700 -p 7701:7701 -p 7702:7702 boj-server:0.2.0

License

MPL-2.0

Full Changelog: https://github.com/hyperpolymath/boj-server/blob/main/CHANGELOG.md