v0.4.7 — MCP annotations + outputSchema, resources/prompts surface, OTLP spans

Publishes the existing v0.4.7 tag (568e573d) as a GitHub Release. The tag and the
npm/JSR 0.4.7 artifacts were already published; only the GitHub Release was missing, so
release-tracking consumers were still seeing v0.4.6.

Highlights since v0.4.6 (66 commits)

MCP surface

• feat(mcp-bridge): MCP annotations + outputSchema on all tools; Teranga scoped surface (#75)
• feat(mcp-bridge): resources + prompts surface (#89)
• feat(mcp-bridge): OTLP/HTTP+JSON span emission (#91)
• fix(mcp-bridge): Node compat + JSR slow-types via main.d.ts (#96)

Architecture RFCs (epic #87)

• ADR-0007 trust-tier policy DSL + ADR-0008 cartridge marketplace (#92)
• ADR-0009 sandbox cartridge + ADR-0010 cross-machine federation (#93)
• ADR-0011 inbound webhooks + ADR-0012 server-initiated sampling (#95)

Cartridges & docs

• k9iser-mcp — central K9 contract regeneration (#73)
• README accordion sections for all 115 cartridges (#86)
• OpenSSF Scorecard + Software Heritage badges, CITATION.cff (#85)

CI / packaging

• Corrected publish workflow SHA pins, unblocking npm + JSR (#88)
• NPM_TOKEN auth fallback for npm publish (#97)
• Concurrency-cancel guards on canonical check workflows (#79, #80)

Why this release exists

v0.4.6 predates #75, so any consumer pinned to "latest release" saw a tool surface with
no annotations and no output schemas — including registry scanners. This release makes the
latest GitHub Release match what npm and JSR have shipped since 2026-05-20.

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