The Estate's primary MCP server — GitHub, GitLab, and 115+ capability cartridges. Formally verified BoJ-server-ABI in Idris2 0.8.0 (%default total) with safety lemmas for credential isolation.
-
Updated
May 21, 2026 - Zig
#
boj-server
Here are 2 public repositories matching this topic...
Terminal UI for BoJ local-coord-mcp — peer discovery, task coordination, and window titling for multi-instance AI sessions
-
Updated
May 20, 2026 - Rust
Improve this page
Add a description, image, and links to the boj-server topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boj-server topic, visit your repo's landing page and select "manage topics."