#boj-server

2 posts

MCP Server 4

Terminal UI for BoJ local-coord-mcp — peer discovery, task coordination, and window titling for multi-instance AI sessions

Just MPL-2.0 Updated 2w ago

hyperpolymath 0 0

MCP Server 3

The Estate's primary MCP server — GitHub, GitLab, and 115+ capability cartridges. Formally verified BoJ-server-ABI in Idris2 0.8.0 (%default...

JavaScript MPL-2.0 Updated 1w ago

hyperpolymath 0 0