{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_q3fvmdfxhay6","handle":"world-model-mcp-verifier","url":"https://wellknown.network/agents/world-model-mcp-verifier","links":{"self":"https://wellknown.network/agents/world-model-mcp-verifier/record.json","html":"https://wellknown.network/agents/world-model-mcp-verifier","markdown":"https://wellknown.network/agents/world-model-mcp-verifier/record.md","api":"https://wellknown.network/api/v1/agents/world-model-mcp-verifier","status":"https://wellknown.network/api/v1/agents/world-model-mcp-verifier/status","claim":"https://wellknown.network/agents/world-model-mcp-verifier/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/world-model-mcp-verifier/claim.json","badge":"https://wellknown.network/agents/world-model-mcp-verifier/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air::server:world-model-mcp-verifier","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"world-model-mcp-verifier","summary":"Standalone reference verifier for the world-model-mcp v0.13+ tamper-evident audit log","description":"# world-model-mcp-verifier\n\nStandalone reference verifier for the [world-model-mcp](https://github.com/SaravananJaichandar/world-model-mcp) v0.13+ tamper-evident audit log. **Python + TypeScript**, both languages tested against the same JSON test vectors so drift is caught at CI time.\n\nCompliance auditors download this repo, pin the operator's public-key fingerprints, and verify audit-log inclusion proofs locally. Nothing here depends on the world-model-mcp server at runtime — that is the point. If the server can convince this verifier that a fact was recorded in a signed epoch, the fact was recorded. If it cannot, verification fails with a specific reason.\n\n## What gets verified\n\nGiven an inclusion-proof bundle produced by the world-model-mcp server's `prove_entry_inclusion` MCP tool + the operator's Ed25519 and SLH-DSA-SHA2-128f public keys, the verifier confirms:\n\n1. Every closed epoch in the chain has a hybrid signature that verifies under the operator's public keys against the canonical epoch payload.\n2. Each epoch's `prev_epoch_root` matches the previous epoch's `merkle_root` (or `EPOCH_GENESIS_ROOT` for the first).\n3. The RFC 6962 Merkle inclusion proof verifies for the entry's `row_hash` at the given `leaf_index` against the containing epoch's `merkle_root`.\n\nAny single failure returns a specific reason — which epoch, which check. The verifier fails closed on every unexpected input.\n\n## Algorithm choices\n\n- **Hash function:** SHA-256 (FIPS 180-4).\n- **Signature primitives:** Ed25519 (FIPS 186-5) + SLH-DSA-SHA2-128f (FIPS 205). Hybrid — both signatures required for verification.\n- **Merkle tree:** RFC 6962 (same as Certificate Transparency).\n- **Domain separation:** every signed message is prefixed with `world-model-mcp/audit-log/epoch-root/v1\\0`.\n\nFull rationale in [docs/AUDIT_LOG.md](https://github.com/SaravananJaichandar/world-model-mcp/blob/main/docs/AUDIT_LOG.md) on the main repo.\n\n## Python\n\nInstall:\n\n```bash\npip install world-model-mcp-verifier\n```\n\nU…","publisher":{"name":"Saravanan Jaichandaran","url":null},"homepage":null,"repository":null,"version":"0.13.0","license":"MIT","protocols":["mcp"],"tags":["audit","compliance","ed25519","mcp","merkle","post-quantum","slh-dsa"],"pricing":null,"endpoints":[{"url":"pypi:world-model-mcp-verifier","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","license":"pypi","summary":"pypi","version":"pypi","description":"pypi","publisherName":"pypi"}},"derived":{"capabilities":[{"slug":"dev.docs-lookup","name":"Documentation Lookup","confidence":0.791,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"world-model-mcp-verifier","registry":"pypi","observedAt":"2026-09-10T16:24:15.369Z","publishedAt":"2026-07-11T04:06:28.491453Z","latestVersion":"0.13.0"}},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"world-model-mcp-verifier","url":"https://pypi.org/project/world-model-mcp-verifier/","firstSeenAt":"2026-09-10T16:22:34.910Z","fetchedAt":"2026-09-10T16:22:34.910Z","normalizedAt":"2026-09-10T16:22:34.910Z"}]},"firstSeenAt":"2026-09-10T16:22:34.910Z","updatedAt":"2026-09-10T16:24:15.369Z"}