JIDEC: Bitcoin-anchored public verification ledger (NENRIN)

Connect Remote server

claude mcp add --transport http jidec https://jidec.horizonshield.dev/mcp

{
  "mcpServers": {
    "jidec": {
      "url": "https://jidec.horizonshield.dev/mcp"
    }
  }
}

{
  "servers": {
    "jidec": {
      "type": "http",
      "url": "https://jidec.horizonshield.dev/mcp"
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://jidec.horizonshield.dev/mcp

Tools 13 found in our last check

• jidec_cite

  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,…

• jidec_replay

  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 co…

• jidec_list_paths

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

• jidec_how_to_verify

  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 resu…

• nenrin_resume

  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[] (anchored agreements), admissions[] (the anchored admiss…

• nenrin_trust_signal

  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.

• nenrin_witness

  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.

• nenrin_ledger_head

  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.

• nenrin_ledger_entry

  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.

• nenrin_admission

  Return one admission record (a2a-admission-v0) as the ledger stores it, by its canonical SHA-256: the exact record bytes, pending or anchored, and the ledger entry once anchored. A door writes one before it lets an agent's action run; version 0.4 carries the content check as fie…

• nenrin_agreement

  Return one agreement record as the ledger stores it, by its canonical SHA-256: the exact record bytes, pending or anchored, and the ledger entry once anchored. The anchored agreements of an endpoint are listed in agreements[] of its Résumé (nenrin_resume).

• nenrin_furui_day

  Return the day record (furui-check-day-v0) of the content check runner: the signed RFC 6962 root of one UTC day's check envelopes and their count. Give its SHA-256, or a day (YYYY-MM-DD) to find it through the runner's day status. This server reads the record from the ledger and…

• nenrin_furui_leaf

  Return envelope i of a closed UTC day as the content check runner serves it (kept 7 days after the day), with its RFC 6962 audit path. This server recomputes: the envelope has the closed shape (digests, numbers, booleans, fixed words; no text), the leaf hash is sha256(0x00 || ca…

Details

More finance and crypto servers See all

• RightCard

  Which of your credit cards to use at any store, from verified bank data. No bank login.

• Africa Compliance Data

  African holidays, business days, VAT, withholding tax, tax treaties, tax IDs and filing deadlines

• BusCalc Business Calculators

  Business calculators, data lookups, replayable receipts, and documentation for enterprise pilots.

• CarLoanMath

  US car loan math: monthly payment, compare loans, max price for your budget, amortization. Free.

• InfinityVolume

  Dollar volume across 13 stock markets and US sectors, against each one's own normal. No prices.

• xytara MCP Executor

  Pay-per-call MCP tools and signed on-chain attestations: 20 free/day, then x402 or a spend key.