Fail-closed Cedar policy gate + signed receipts for AI agent tool calls. Blocks what breaks the rules before it runs, denies on any policy error, and proves the gate is live with a startup self-test.
PEAC protocol kernel - normative constants, errors, and registries
PEAC Protocol JSON schemas, OpenAPI specs, and TypeScript types
Official TypeScript/JavaScript SDK for the TurnstileAI verifiable inference gateway.
Ed25519 JWS signing and verification for PEAC protocol
Model Context Protocol (MCP) server for Sequesign — expose cryptographically verifiable receipts of delegated AI work as MCP tools. A thin local-stdio wrapper over @sequesign/sdk; the agent key never leaves the machine.
Zero-dependency offline verification for EP authorization receipts: Ed25519 receipts, Merkle anchors, commitment proofs, Class-A WebAuthn device signoffs, multi-party quorum (M-of-N / ordered, two-person rule), portable revocation, trusted-time attestatio
Framework-agnostic middleware primitives for PEAC receipt issuance
SLSA v1.2 provenance mapping for PEAC provenance extension
WebAssembly bindings for Treeship cryptographic verification. Runs anywhere WASM runs: Node, browser, Vercel Edge, Cloudflare Workers, AWS Lambda.
DID document resolution for PEAC receipt verification (did:key, did:web)
in-toto v1.0 attestation mapping for PEAC provenance extension
Express.js middleware for automatic PEAC receipt issuance
x402 payment rail adapter for PEAC protocol
PEAC gRPC transport layer with carrier adapter and HTTP StatusCode parity
Agent-to-Agent Protocol (A2A) integration for PEAC
TypeScript SDK for Treeship - portable trust receipts for agent workflows
Edge-safe JWKS fetch and cache with SSRF protection
Universal Commerce Protocol (UCP) mapping to PEAC receipts and dispute evidence
Zero-dependency cryptographic verification for Treeship receipts and certificates. Runs anywhere WASM runs: Node, browser, Vercel Edge, Cloudflare Workers, AWS Lambda.
A /goal operating loop for Codex and Claude Code: goal oracles, local boards, receipts, and verification.
Zero-dependency local issuance of EP authorization receipts (EP-RECEIPT-v1; I-D draft-schrock-ep-authorization-receipts §6.2), signed locally with your own keys. The signing-side companion to @emilia-protocol/verify: issue locally, verify anywhere. Node b
Unified offline verifier for signed decision receipts, Legate proof packs, VOPRF anonymous credentials, and selective-disclosure receipts. Ed25519 + ML-DSA-65 hybrid. IETF draft-farley-acta-signed-receipts. scopeblind.com
Columnar compression + bilateral netting + AES-256-GCM for x402 receipt batches. 1000 receipts → 1 on-chain anchor tx. Used in Parad0x Labs DNA x402.
Client-side SDK for verifying SONATE trust receipts