Skip to content

Bundle of Joy Server v0.2.0 — Grade A Production

Choose a tag to compare

View all tags
@hyperpolymath hyperpolymath released this 11 Mar 01:52
· 320 commits to main since this release
v0.2.0
18abd37
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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

Assets 2
Loading