boj-server

active

One MCP stdio endpoint for a whole toolchain — GitHub, GitLab, cloud, mail, browser and research tools — with capability-gated dispatch, a machine-checked ABI, and cartridges fetched on demand from boj-server-cartridges. Zero runtime dependencies.

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/hyperpolymath/boj-server
License: MPL-2.0
Last update: 2026-11-14
GitHub stars: ★ 3
Homepage: hyperpolymath.github.io/boj-server/

agentic-ai ai-agent-toolchain capability-gated-dispatch epistemic-computing epistemic-infrastructure equivalence-aware-computing formal-verification hyperpolymath idris2 javascript mcp-server mcp-stdio-endpoint

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.