Skip to main content
Glama

JIDEC: Bitcoin-anchored public verification ledger (NENRIN)

Server Details

Cite and independently verify Bitcoin-anchored construction-estimate audit records.

Status
Healthy
Last Tested
Transport
Streamable HTTP
URL
Repository
ogasurfproject-jpg/horizon-shield
GitHub Stars
1
Server Listing
HORIZON SHIELD KIRA

Glama MCP Gateway

Connect through Glama MCP Gateway for full control over tool access and complete visibility into every call.

MCP client
Glama
MCP server

Full call logging

Every tool call is logged with complete inputs and outputs, so you can debug issues and audit what your agents are doing.

Tool access control

Enable or disable individual tools per connector, so you decide what your agents can and cannot do.

Managed credentials

Glama handles OAuth flows, token storage, and automatic rotation, so credentials never expire on your clients.

Usage analytics

See which tools your agents call, how often, and when, so you can understand usage patterns and catch anomalies.

100% free. Your data is private.

Tool Definition Quality

Score is being calculated. Check back soon.

Available Tools

4 tools
jidec_citeCite and independently verify a JIDEC record
Read-onlyIdempotent
Inspect

Resolve and INDEPENDENTLY verify any JIDEC citation. Accepts 'jidec:path:', 'jidec:entry:', 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.

ParametersJSON Schema
NameRequiredDescriptionDefault
citationYesjidec:path:<sha> | jidec:entry:<n> | 64-hex | ledger URL
jidec_how_to_verifyGet the executable verification recipe
Read-onlyIdempotent
Inspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
citationYesjidec:path:<sha> | jidec:entry:<n> | 64-hex | ledger URL
jidec_list_pathsList anchored verification paths
Read-onlyIdempotent
Inspect

List the anchored JIDEC verification paths (most recent first), with purpose, verdict and Bitcoin anchoring status.

ParametersJSON Schema
NameRequiredDescriptionDefault

No parameters

jidec_replayRe-observe an anchored path and report drift
Read-onlyIdempotent
Inspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
citationYesjidec:path:<sha> | jidec:entry:<n> | ledger URL

Discussions

No comments yet. Be the first to start the discussion!

Related MCP Servers

  • F
    license
    A
    quality
    C
    maintenance
    Provides cryptographic truth infrastructure for AI agents, enabling them to seal content with SHA-256 and Ed25519, verify receipts, anchor them to Bitcoin via OpenTimestamps, generate citations, and audit chains of receipts.
    5
  • F
    license
    -
    quality
    C
    maintenance
    Cryptographically anchored, tamper-evident evidence receipts for AI agents — verified run receipts, existence-at-time proofs, and cited answers from an anchored public record. Remote MCP with proof-gated settlement; attests existence and integrity, never truth.
  • F
    license
    C
    quality
    B
    maintenance
    The trust-and-settlement rails of the agent economy: identity, trust, escrow, metering, arbitration, compute-carbon ledger, covenant, provenance, offsets, ERC-8004 bridge, surety, notary, and discovery — plus sellable measurement/CAD services. Durable, machine-checkable invariants, free rails.
    100

View all MCP Servers

Try in Browser

Your Connectors

Sign in to create a connector for this server.