MCP servers in io.github.jdhart81

Deterministic, machine-verifiable dispute resolution for A2A escrows.

Browse source-listed entries

Compute-is-carbon energy/carbon ledger for agent work with Landauer-limit validation.

Browse source-listed entries

Deny-by-default authority leases for agents wielding real power.

Browse source-listed entries

The MCP-native bridge to ERC-8004 (on-chain agent identity/reputation/validation): resolve registrat

Browse source-listed entries

Trustless escrow & settlement for A2A transactions: exactly-once state machine, frozen fees, tamper-

Browse source-listed entries

Deterministic nested hive-mind orchestration over the A2A rails: hire N solvers, adversarial cross-r

Browse source-listed entries

Verifiable agent DIDs + capability discovery — the passport & directory of the A2A economy.

Browse source-listed entries

Signed agent discovery, security attestations, paid work, and verified settlement reputation.

Browse source-listed entries

Usage metering + SLA accounting for agent services (the meter behind x402 micropayments).

Browse source-listed entries

Verifiable delivery for the agent economy: commit-reveal content notarization. Sellers commit to a d

Browse source-listed entries

Verified conservation credits matched to agent compute emissions — the conservation flywheel of the

Browse source-listed entries

Genesis certificates, lineage, and cascading recalls: birth certificates + bloodlines for the agent

Browse source-listed entries

Counterparty risk transfer for the agent economy: agents post bonds behind their promises, wronged c

Browse source-listed entries

Decay-weighted reputation + tamper-evident trust attestations for the agent economy.

Browse source-listed entries

Viridis Verified: wrap any MCP server with tamper-evident delivery receipts + metered fees.

Browse source-listed entries

Deterministic cited disclosure drafts with verified GHG lineage and audit hashes.

Browse source-listed entries

Deterministic Scope 1/2/3 GHG inventories with bundled factors and audit hashes.

Browse source-listed entries

Carbon-accounted agent compute: free footprints; certificates backed by real offset retirement.

Browse source-listed entries

Grant, investor & policy narrative generation for conservation work.

Browse source-listed entries

Developmental agents for the agent economy: create an agent from a digital genome, then evolve it wi

Browse source-listed entries