capability-gated-dispatch

Here are 4 public repositories matching this topic...

hyperpolymath / boj-server

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.

javascript open-source formal-verification multi-agent-systems plugin-architecture supply-chain-security agentic-ai model-context-protocol mcp-server hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance mcp-stdio-endpoint capability-gated-dispatch ai-agent-toolchain

Updated Sep 18, 2026
JavaScript

hyperpolymath / valence-shell

Sponsor

Star

Formally verified shell implementing the MAA (Mutually Assured Accountability) Framework — every operation backed by machine-checkable proofs.

rust open-source security formal-verification zero-trust policy-enforcement hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing mutually-assured-accountability veridical-computing equivalence-aware-computing typed-provenance capability-gated-dispatch

Updated Sep 18, 2026
Rust

hyperpolymath / boj-server-cartridges

Sponsor

Star

Canonical registry of BoJ capability cartridges — each one a machine-checked ABI, a five-symbol C-ABI implementation and a loopback adapter, minted from a single template. Hosts (boj-server, panll) fetch from here on demand.