MCP-Server
JIDEC: Bitcoin-anchored public verification ledger (NENRIN)
io.github.ogasurfproject-jpg/jidec
Was dieses MCP kann
Cites, independently verifies, lists, and replays Bitcoin-anchored construction-estimate verification records.
Funktionen
Tools
9
Tools
jidec_cite
Cite and independently verify a JIDEC record
Resolve and INDEPENDENTLY verify any JIDEC citation. Accepts 'jidec:path:<sha>', 'jidec:entry:<n>', a bare 64-hex id, or a ledger URL. Fetches the record's exact bytes, recomputes SHA-256 locally, and confirms it equals the cited id. Returns integrity, Bitcoin anchoring status, the parsed record (verification path, claim, or v0 spec entry), and an explicit statement of what the proof does and does not cover. No trust in HORIZON SHIELD is required to accept the result.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'required': ['citation'], 'properties': {'citation': {'type': 'string', 'description': 'jidec:path:<sha> | jidec:entry:<n> | 64-hex | ledger URL'}}}
Ausgabeschema
{'type': 'object', 'required': ['lookup', 'integrity'], 'properties': {'limits': {'type': 'string'}, 'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}, 'bitcoin': {'type': 'object', 'properties': {'status': {'type': 'string'}}}, 'citation': {'type': 'string'}, 'integrity': {'type': 'object', 'required': ['match'], 'properties': {'match': {'type': 'boolean'}, 'claimed_sha256': {'type': 'string'}, 'recomputed_sha256': {'type': 'string'}}, 'description': 'The whole point: claimed vs recomputed. match:false is an integrity FAILURE, which is a finding, not an error.'}, 'trust_note': {'type': 'string'}, 'record_kind': {'type': 'string'}, 'resolved_entry': {'type': ['number', 'string', 'null']}}, 'additionalProperties': True}
jidec_how_to_verify
Get the executable verification recipe
Return the step-by-step recipe for verifying a JIDEC record WITHOUT trusting HORIZON SHIELD: which bytes to fetch, which hashes to recompute, which OpenTimestamps proof to check, which algorithm commit to check out, and what must match. Use this when you want to confirm the result yourself rather than repeat an assertion.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'required': ['citation'], 'properties': {'citation': {'type': 'string', 'description': 'jidec:path:<sha> | jidec:entry:<n> | 64-hex | ledger URL'}}}
Ausgabeschema
{'type': 'object', 'required': ['lookup'], 'properties': {'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}, 'recipe': {'type': ['object', 'string']}, 'path_id': {'type': 'string'}, 'citation': {'type': 'string'}, 'resolved_entry': {'type': ['number', 'string', 'null']}}, 'additionalProperties': True}
jidec_list_paths
List anchored verification paths
List the anchored JIDEC verification paths (most recent first), with purpose, verdict and Bitcoin anchoring status.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'properties': {}}
Ausgabeschema
{'type': 'object', 'required': ['lookup', 'count'], 'properties': {'count': {'type': 'number', 'description': 'How many anchored paths the ledger returned. 0 means the ledger answered and holds none. It never means the ledger could not be read, that is an error.'}, 'paths': {'type': 'array', 'items': {'type': 'object'}}, 'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}}, 'additionalProperties': True}
jidec_replay
Re-observe an anchored path and report drift
Re-observe an anchored JIDEC verification path against the live system right now and report drift. Returns MATCH (the live system still matches what was anchored) or DRIFT (it changed), node by node. Nodes that cannot be re-observed server-side are reported as deferred, never counted as drift.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'required': ['citation'], 'properties': {'citation': {'type': 'string', 'description': 'jidec:path:<sha> | jidec:entry:<n> | ledger URL'}}}
Ausgabeschema
{'type': 'object', 'required': ['lookup'], 'properties': {'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}, 'verdict': {'type': 'string', 'description': 'MATCH or DRIFT. Nodes that could not be re-observed are deferred, never counted as drift.'}}, 'additionalProperties': True}
nenrin_ledger_entry
One ledger entry by number
Return ledger entry n as the ledger serves it: claim_sha256, the canonical record bytes, work description, OpenTimestamps status and Bitcoin block when anchored. Pair with jidec_how_to_verify to recompute it.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'required': ['n'], 'properties': {'n': {'type': 'integer', 'minimum': 1, 'description': 'entry number'}}}
Ausgabeschema
{'type': 'object', 'required': ['lookup', 'source_url'], 'properties': {'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}, 'source_url': {'type': 'string', 'description': 'The public ledger URL that returned this body. Fetch it yourself to compare.'}, 'does_not_establish': {'type': 'array', 'items': {'type': 'string'}}}, 'additionalProperties': True}
nenrin_ledger_head
Current ledger head and its bound end marker
Return the current head of the JIDEC/NENRIN ledger: entry count n, the head hash, and the end marker bound into the chain (jidec-head-v1) with the recipe to recompute it. Compare it with a head you saw earlier to detect truncation or rewrite.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'properties': {}}
Ausgabeschema
{'type': 'object', 'required': ['lookup', 'source_url'], 'properties': {'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}, 'source_url': {'type': 'string', 'description': 'The public ledger URL that returned this body. Fetch it yourself to compare.'}, 'does_not_establish': {'type': 'array', 'items': {'type': 'string'}}}, 'additionalProperties': True}
nenrin_resume
Recorded conduct history of an endpoint (NENRIN résumé)
Return the NENRIN résumé of an agent or MCP endpoint: every recorded measurement that touches its origin (by the gate and by outside witnesses, signed or not), which are Bitcoin-anchored, discrepancies, rings, agreements, and the records not counted with the reason. Includes resume_sha256 and a recompute recipe. A history, not a score. Absent means no record, not a negative finding.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'required': ['endpoint'], 'properties': {'endpoint': {'type': 'string', 'description': 'https URL of the agent or MCP endpoint, e.g. https://mcp.horizonshield.dev/mcp'}}}
Ausgabeschema
{'type': 'object', 'required': ['lookup', 'source_url'], 'properties': {'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}, 'source_url': {'type': 'string', 'description': 'The public ledger URL that returned this body. Fetch it yourself to compare.'}, 'does_not_establish': {'type': 'array', 'items': {'type': 'string'}}}, 'additionalProperties': True}
nenrin_trust_signal
Compact conduct signal of an endpoint
Return the compact NENRIN signal for an endpoint: counts of anchored measurements, witness diversity and freshness, in a shape a trust engine or orderer can read. No score, no allow or deny.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'required': ['endpoint'], 'properties': {'endpoint': {'type': 'string', 'description': 'https URL of the agent or MCP endpoint'}}}
Ausgabeschema
{'type': 'object', 'required': ['lookup', 'source_url'], 'properties': {'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}, 'source_url': {'type': 'string', 'description': 'The public ledger URL that returned this body. Fetch it yourself to compare.'}, 'does_not_establish': {'type': 'array', 'items': {'type': 'string'}}}, 'additionalProperties': True}
nenrin_witness
One witness record by its SHA-256
Return one NENRIN witness record by its record SHA-256: pending or anchored, and when anchored, the ledger entry and batch that carry it. Use it to check a walk someone says they submitted.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'type': 'object', 'required': ['sha256'], 'properties': {'sha256': {'type': 'string', 'description': '64-hex record SHA-256'}}}
Ausgabeschema
{'type': 'object', 'required': ['lookup', 'source_url'], 'properties': {'lookup': {'enum': ['ok', 'absent'], 'type': 'string', 'description': "ok = the ledger was read and the record exists. absent = the ledger was read and there is no such record. A read that FAILED never appears here: it comes back as a tool error (isError: true), so a consumer can never mistake this server's own failure for a statement about the ledger's contents."}, 'source_url': {'type': 'string', 'description': 'The public ledger URL that returned this body. Fetch it yourself to compare.'}, 'does_not_establish': {'type': 'array', 'items': {'type': 'string'}}}, 'additionalProperties': True}
Verlauf
Letzte Tool-Änderungen
Hinzugefügt
nenrin_ledger_entry
1. October 2026 02:47
Hinzugefügt
nenrin_ledger_head
1. October 2026 02:47
Hinzugefügt
nenrin_witness
1. October 2026 02:47
Hinzugefügt
nenrin_trust_signal
1. October 2026 02:47
Hinzugefügt
nenrin_resume
1. October 2026 02:47
Hinzugefügt
jidec_how_to_verify
17. September 2026 12:45
Hinzugefügt
jidec_list_paths
17. September 2026 12:45
Hinzugefügt
jidec_replay
17. September 2026 12:45
Hinzugefügt
jidec_cite
17. September 2026 12:45
Entdecken
Ähnliche MCP-Server
osint-terminal
com.thetempleofdoom.osint-mcp/osint-terminal
Provides keyless OSINT and reconnaissance tools for domains, DNS, IPs, breach exposure, threat intelligence, and related lookups.
AIMEAT
io.aimeat/aimeat
Provides a self-hosted agent operating system with agent work delegation, access controls, federation, hooks, SSO, security admin…
hyperion
com.thetempleofdoom.hyperion/hyperion
Acts as a paid MCP tool marketplace and utility gateway with server discovery, HTTP and JavaScript tools, research, data conversi…
Vee3
io.github.Vee3io/vee3
Manages Clerk authentication infrastructure, including users, organizations, domains, sessions, tokens, OAuth, SSO, machines, per…
BorealHost
ai.borealhost/mcp
Provides web hosting and infrastructure management, including site deployment, DNS, domains, containers, compute, backups, cachin…
Proof Holdings
holdings.proof/mcp-server
Provides domain verification, identity and delegation proofs, human approval workflows, trusted-contact challenges, and controlle…
GoCreative Agent API
io.github.ColinHughes2121/gocreative-agent-api
Offers pay-per-call LLM completions and data services for company intelligence, KYB, sanctions screening, threat intelligence, co…
Japan Public Ledgers MCP
com.mcp-revenue-empire/japan-public-ledgers
Provides agent identity, memory, audit, trust, proxy, temporary email, webhook, CAPTCHA, and alerting capabilities alongside publ…