boj-server

hyperpolymath/boj-server

★ 3 stars Zig 🌐 Browser/Web Updated today

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.

View on GitHub → Try with Claude — $10 free →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "boj-server": {
      "command": "npx",
      "args": [
        "-y",
        "hyperpolymath/boj-server"
      ]
    }
  }
}

README Excerpt

// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <[email protected]> = boj-server :toc: preamble :icons: font image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/boj-server"]

Tools (3)

boj_cartridge_invokeopendatamcporigenemcp

Topics

boj-servercapability-securityformal-verificationidris2mcp-server

boj-server

Quick Install

README Excerpt

Tools (3)

Topics

Related Browser/Web Servers