A formally verified operational ontology exposed as a gated MCP server with Lightning Network micropayments. Connects to 398 Lean 4 verified components (axioms, equations, definitions) at tiered pricing from 100 to 1,000 sats per component, plus 10 free reference documents including case studies on Claude Code's internal architecture and organoid computing safety. Access patterns are logged to a bipartite matrix that treats component traversal as a coherence signal rather than content consumption. Includes Nostr attestation layer for censorship resistance. Reach for this if you're building agent systems that need cryptographically gated knowledge access with economic signaling, or if you want to instrument which formal operators an agent actually uses during reasoning. The gate architecture is type theoretic, so invalid states don't compile.
claude mcp add --transport sse io.cohereon.manifold-imperium-manifold https://manifold.cohereon.io/mcp