Back to browse
GitHub Repository

Agent Evidence Receipt Format (AERF) — an open specification for tamper-evident, independently verifiable records of AI agent actions.

1 starsPython

AERF – cryptographic receipts for AI agents, like cosign for evidence

by keertahacker·May 7, 2026·2 points·0 comments

AI Analysis

●●●BangerBold BetZero to One

Cosign for AI agents: cryptographically signed receipts for every agent action.

Strengths
  • Ed25519 signatures enable independent verification without central services.
  • Spec-first approach with a minimal Go verifier using only standard library.
Weaknesses
  • Early draft stage; needs agent framework integrations to gain traction.
  • Adoption depends on AI vendors agreeing to sign their output logs.
Category
Target Audience

AI infrastructure engineers and auditors

Similar To

cosign · slsa-verifier

Similar Projects

Security●●Solid

AERF, signed receipts for AI agent actions

Cosign for agent evidence with compliance mappings, but still draft spec.

Big BrainBold Bet
keertahacker
212d ago
AI/ML●●●Banger

Signed receipts for agent actions

Ed25519 signed receipts solve AI agent accountability across org boundaries.

Zero to OneBig Brain
jithinraj
202mo ago
Security●●●Banger

Nobulex – Cryptographic receipts for AI agent actions

Proof-of-behavior for AI agents before Anthropic or OpenAI build their own.

Zero to OneBig BrainBold Bet
arian_
101mo ago
Security●●Solid

Sanna – Enforce AI agent constitutions with cryptographic receipts

Governance rules live in version-controlled YAML and can be applied either by decorating functions with @sanna_observe or by dropping a gateway between an MCP client and downstream tools. It emits portable Ed25519-signed receipts you can persist and verify, which is a neat, practical way to build an auditable trail — the tough part will be ecosystem adoption around MCP and agent integrations.

Big BrainNiche Gem
nicallen
113mo ago
Security●●●Banger

I'm 15 and built a cryptographic accountability layer for AI agents

Microsoft merged this teenager's code into their agent governance toolkit twice.

Zero to OneBold BetDark Horse
arian_
421mo ago