{"id":"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","name":"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","title":"Homo Universalis — HU-DIAMOND v1.1 Cryptographic Verifier & AST Kintsugi MCP Server","description":"Zero-auth Cryptographic Notary & AST Verifier: Reed-Muller RM(1,3), L1..L7, RFC 6962 & ES256 JWS.","category":"crypto-web3","categories":["crypto-web3"],"flags":["test_or_demo"],"users_30d":0,"health":{"status":"ok","latency_ms":1345,"tool_count":3,"auth":"none","checked_at":"2026-11-09T10:15:20.327Z"},"remote":true,"pending":false,"install_link":"https://toolfindr.dev/add?server=ai.homouniversalis%2Fcryptography-merkle-tree-rfc6962-jws-ed25519-es256-zero-knowledge-python-ast-code-audit-formal-verification-mutation-testing-reed-muller-multi-agent-deep-think-crucible-barycenter&ref=tool-finder","details_url":"https://toolfindr.dev/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","health_error":null,"repo_url":"https://github.com/David-Porto-Baraldes/Viveka_Web","website_url":"https://homouniversalis.ai/oracle/diamond","version":"1.5.2","remotes":[{"type":"streamable-http","url":"https://homouniversalis.ai/mcp/diamond?pillar=cryptography-ast"}]}