MCPサーバー

agent-compute-ledger

io.github.jdhart81/agent-compute-ledger

このMCPでできること

Records and verifies agent compute energy and carbon usage in tamper-evident ledgers, validates Landauer-limit claims, and produces carbon receipts and footprint aggregates.

attest
Issue a content-addressed attestation for a ledger entry (verifiable green-compute / energy claim).
入力スキーマ
{'type': 'object', 'title': 'attestArguments', 'required': ['entry_id'], 'properties': {'entry_id': {'type': 'string', 'title': 'Entry Id'}}}
出力スキーマ
{'type': 'object', 'title': 'attestOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
carbon_receipt
Emit an x402-C carbon receipt for a recorded work entry — the physically-grounded {version, g_co2e, energy_j, method, landauer_*, ...} object an x402 machine-payment receipt can carry. method is 'landauer-floor' when the workload declared bit_ops (thermodynamically validated), else 'measured'. Pass offset_ref (a retirement id from the offset clearinghouse) to assert carbon-neutrality. Read-only; the returned attestation_hash binds the receipt to the ledger's hash chain.
入力スキーマ
{'type': 'object', 'title': 'carbon_receiptArguments', 'required': ['entry_id'], 'properties': {'entry_id': {'type': 'string', 'title': 'Entry Id'}, 'offset_ref': {'type': 'string', 'title': 'Offset Ref', 'default': ''}}}
出力スキーマ
{'type': 'object', 'title': 'carbon_receiptOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
describe_agent
Fleet-standard self-description.
入力スキーマ
{'type': 'object', 'title': 'describe_agentArguments', 'properties': {}}
出力スキーマ
{'type': 'object', 'title': 'describe_agentOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
footprint
Aggregate footprint for an agent: total J, kWh, gCO2e, cost, and mean Landauer efficiency. Totals are exact sums of the ledger entries.
入力スキーマ
{'type': 'object', 'title': 'footprintArguments', 'required': ['agent_id'], 'properties': {'agent_id': {'type': 'string', 'title': 'Agent Id'}}}
出力スキーマ
{'type': 'object', 'title': 'footprintOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
get_inventory
Fetch one immutable inventory record by inventory_id.
入力スキーマ
{'type': 'object', 'title': 'get_inventoryArguments', 'required': ['inventory_id'], 'properties': {'inventory_id': {'type': 'string', 'title': 'Inventory Id'}}}
出力スキーマ
{'type': 'object', 'title': 'get_inventoryOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
list_entries
List all ledger entries for an agent.
入力スキーマ
{'type': 'object', 'title': 'list_entriesArguments', 'required': ['agent_id'], 'properties': {'agent_id': {'type': 'string', 'title': 'Agent Id'}}}
出力スキーマ
{'type': 'object', 'title': 'list_entriesOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
list_inventories
List the separate GHG inventory chain for an agent.
入力スキーマ
{'type': 'object', 'title': 'list_inventoriesArguments', 'required': ['agent_id'], 'properties': {'agent_id': {'type': 'string', 'title': 'Agent Id'}}}
出力スキーマ
{'type': 'object', 'title': 'list_inventoriesOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
record_inventory
Record an audited GHG inventory in a separate append-only chain. mass_g is exact integer grams; content and factor-pack digests are bare lowercase SHA-256 hex. Idempotent on inventory_id.
入力スキーマ
{'type': 'object', 'title': 'record_inventoryArguments', 'required': ['agent_id', 'inventory_id', 'mass_g', 'content_digest', 'factor_pack_version', 'factor_pack_digest'], 'properties': {'mass_g': {'type': 'integer', 'title': 'Mass G'}, 'agent_id': {'type': 'string', 'title': 'Agent Id'}, 'source_ids': {'anyOf': [{'type': 'array', 'items': {'type': 'string'}}, {'type': 'null'}], 'title': 'Source Ids', 'default': None}, 'inventory_id': {'type': 'string', 'title': 'Inventory Id'}, 'content_digest': {'type': 'string', 'title': 'Content Digest'}, 'factor_pack_digest': {'type': 'string', 'title': 'Factor Pack Digest'}, 'factor_pack_version': {'type': 'string', 'title': 'Factor Pack Version'}}}
出力スキーマ
{'type': 'object', 'title': 'record_inventoryOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
record_work
Record a unit of agent compute work. energy_j = power_w * duration_s; carbon_g follows from grid intensity. If bit_ops is declared, the entry is validated against the Landauer floor (bit_ops * kB * T * ln2) — physically impossible claims are rejected. Idempotent on entry_id.
入力スキーマ
{'type': 'object', 'title': 'record_workArguments', 'required': ['agent_id', 'entry_id', 'power_w', 'duration_s'], 'properties': {'task': {'type': 'string', 'title': 'Task', 'default': ''}, 'bit_ops': {'anyOf': [{'type': 'number'}, {'type': 'null'}], 'title': 'Bit Ops', 'default': None}, 'power_w': {'type': 'number', 'title': 'Power W'}, 'agent_id': {'type': 'string', 'title': 'Agent Id'}, 'entry_id': {'type': 'string', 'title': 'Entry Id'}, 'duration_s': {'type': 'number', 'title': 'Duration S'}, 'temperature_k': {'type': 'number', 'title': 'Temperature K', 'default': 300.0}, 'price_minor_per_kwh': {'anyOf': [{'type': 'number'}, {'type': 'null'}], 'title': 'Price Minor Per Kwh', 'default': None}, 'grid_intensity_g_per_kwh': {'type': 'number', 'title': 'Grid Intensity G Per Kwh', 'default': 400.0}}}
出力スキーマ
{'type': 'object', 'title': 'record_workOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
verify_attestation
Verify an attestation by recomputing the entry hash.
入力スキーマ
{'type': 'object', 'title': 'verify_attestationArguments', 'required': ['attestation'], 'properties': {'attestation': {'type': 'object', 'title': 'Attestation', 'additionalProperties': True}}}
出力スキーマ
{'type': 'object', 'title': 'verify_attestationOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
verify_chain
Verify the tamper-evident hash chain of an agent's ledger.
入力スキーマ
{'type': 'object', 'title': 'verify_chainArguments', 'required': ['agent_id'], 'properties': {'agent_id': {'type': 'string', 'title': 'Agent Id'}}}
出力スキーマ
{'type': 'object', 'title': 'verify_chainOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
verify_inventory_chain
Verify an agent's inventory hash chain independently of compute work.
入力スキーマ
{'type': 'object', 'title': 'verify_inventory_chainArguments', 'required': ['agent_id'], 'properties': {'agent_id': {'type': 'string', 'title': 'Agent Id'}}}
出力スキーマ
{'type': 'object', 'title': 'verify_inventory_chainOutput', 'required': ['result'], 'properties': {'result': {'type': 'string', 'title': 'Result'}}}
追加
describe_agent
2026年9月17日12:42
追加
verify_inventory_chain
2026年9月17日12:42
追加
list_inventories
2026年9月17日12:42
追加
get_inventory
2026年9月17日12:42
追加
record_inventory
2026年9月17日12:42
追加
carbon_receipt
2026年9月17日12:42
追加
list_entries
2026年9月17日12:42
追加
verify_chain
2026年9月17日12:42
追加
verify_attestation
2026年9月17日12:42
追加
attest
2026年9月17日12:42
追加
footprint
2026年9月17日12:42
追加
record_work
2026年9月17日12:42