ai.homouniversalis/cryptography-merkle-tree-rfc6962-jws-ed25519-es256-zero-knowledge-python-ast-code-audit-formal-verification-mutation-testing-reed-muller-multi-agent-deep-think-crucible-barycenter

up checked 2026-11-11T14:37:29.283Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Homo Universalis — HU-DIAMOND v1.1 Cryptographic Verifier & AST Kintsugi MCP Server

Publisher-provided description

Zero-auth Cryptographic Notary & AST Verifier: Reed-Muller RM(1,3), L1..L7, RFC 6962 & ES256 JWS.

Summary by lookupd

Audits Python code, verifies Merkle-tree notarization of text with PII stripping, and scores agent manifests and responses.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http cryptography-merkle-tree-rfc6962-jws-ed25519-es256-zero-knowledge-python-ast-code-audit-formal-verification-mutation-testing-reed-muller-multi-agent-deep-think-crucible-barycenter 'https://homouniversalis.ai/mcp/diamond?pillar=cryptography-ast'

Codex, remote (streamable-http)

codex mcp add cryptography-merkle-tree-rfc6962-jws-ed25519-es256-zero-knowledge-python-ast-code-audit-formal-verification-mutation-testing-reed-muller-multi-agent-deep-think-crucible-barycenter --url 'https://homouniversalis.ai/mcp/diamond?pillar=cryptography-ast'

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "cryptography-merkle-tree-rfc6962-jws-ed25519-es256-zero-knowledge-python-ast-code-audit-formal-verification-mutation-testing-reed-muller-multi-agent-deep-think-crucible-barycenter": {
      "url": "https://homouniversalis.ai/mcp/diamond?pillar=cryptography-ast"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (4 tools)

Publisher-provided text

• verify_diamond_crucible_and_ast Audit Python source code and verify the 8-vertex Reed-Muller RM(1,3) cryptographic crucible in under 4 ms. Use this tool when auditing Python code snippets (`co
• verify_sovereign_shield_merkle Notarize text into an RFC 6962 binary Merkle audit tree, strip PII under Zero-Knowledge privacy rules, and verify cognitive load limits in under 1 ms. Use this
• simulate_diamond_spiral_budget Compute deterministic LLM call counts, token budgets, and EUR/Seed costs for 1 to 4 spiral turns of the 8-vertex Diamond Wheel multi-agent orchestrator. Use thi
• weigh_agent_on_scales_of_maat_w3c_vc Weigh an AI agent manifest and/or response message on the 5 Rings of Ma'at (42 = 6x7 Negative Confessions), evaluate empathy with the Feather of Ma'at (`ploma_d

Details

• Version: 1.5.2
• Transports: streamable-http
• Uptime (7 days): 100%
• Median latency: 1018 ms
• First indexed: 2026-11-09T10:17:13.981Z
• Last seen in registry: 2026-11-09T10:17:13.981Z
• Repository: https://github.com/David-Porto-Baraldes/Viveka_Web
• Website: https://homouniversalis.ai/oracle/diamond

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/ai.homouniversalis/cryptography-merkle-tree-rfc6962-jws-ed25519-es256-zero-knowledge-python-ast-code-audit-formal-verification-mutation-testing-reed-muller-multi-agent-deep-think-crucible-barycenter.svg)](https://lookupd.com/servers/ai.homouniversalis/cryptography-merkle-tree-rfc6962-jws-ed25519-es256-zero-knowledge-python-ast-code-audit-formal-verification-mutation-testing-reed-muller-multi-agent-deep-think-crucible-barycenter)

• 62033 servers
• Last crawl: 2026-11-11T15:38:39.561Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp