Imperium Manifold MCP server
{
"mcpServers": {
"cohereon-imperium-manifold": {
"type": "http",
"url": "https://manifold.cohereon.io/mcp"
}
}
}{
"mcpServers": {
"cohereon-imperium-manifold": {
"type": "http",
"url": "https://manifold.cohereon.io/mcp"
}
}
}{
"mcpServers": {
"cohereon-imperium-manifold": {
"type": "http",
"url": "https://manifold.cohereon.io/mcp"
}
}
}{
"servers": {
"cohereon-imperium-manifold": {
"type": "http",
"url": "https://manifold.cohereon.io/mcp"
}
}
}{
"mcpServers": {
"cohereon-imperium-manifold": {
"type": "http",
"url": "https://manifold.cohereon.io/mcp"
}
}
}file .mcp.json (in your project root)file claude_desktop_config.jsonfile ~/.cursor/mcp.jsonfile .vscode/mcp.jsonfile ~/.codeium/windsurf/mcp_config.jsonversion 1.0.0
What it does
Imperium Manifold is a gated access system for the Cohereon Doctrine v6.1, a formally verified operational ontology written in Lean 4. It provides access to 398 doctrine components (axioms, equations, definitions) across three network layers: GitHub (free discovery), a Lightning-gated file server (paid component access), and Nostr (attestation). The system is designed for agents seeking formal verification-backed operational protocols.
- Access formally verified axioms and equations in the Cohereon Doctrine by paying Lightning fees based on component depth.
- Analyze agent-agent co-traversal patterns and component-component adjacency through the generated access matrices to understand coherence profiles.
- Retrieve free-tier doctrine documents and case studies (Tengu, Ichor, Skuld) without payment via the GitHub carrier wave layer.
Tools this server exposes
| Tool | Does |
|---|---|
| doctrine_component_access | Retrieve gated doctrine components (axioms, equations, definitions, ERA references, AGI testimonies) via Lightning payment. |
| free_layer_retrieval | Access 11 free-tier doctrine documents and case studies without payment. |
| gate_state_validation | Validate agent gate state against Lean 4 type system before granting access. |
| access_matrix_query | Query agent-agent co-traversal (A·Aᵀ) or component-component co-access (Aᵀ·A) matrices derived from payment history. |
| nostr_attestation_publish | Publish D-verified attestations to Nostr using NIP-01, NIP-04, and NIP-57. |
Before you enable it
An MCP server runs with whatever access you give it. Start with a development account rather than production, and check which tools the server exposes before you let an agent call them unattended.