Autonomous BTC & SOL trading bot for Polymarket. ARB (100% WR) + SNIPE strategies. Auto-trades via py-clob-client, auto-claims resolved positions, Ed25519 signed receipts.

Stop Claude Code from doing irreversible damage. Policy-gated execution + receipts so you can ship agents without sweating production.

Trust infrastructure for AI agents — constitution enforcement and cryptographic receipts. Python SDK.

Cryptographic audit receipts for AI coding agents. Ed25519 + Merkle + RFC 3161 TSA. Supports Claude Code, Codex CLI & Cursor.

Constitution enforcement and cryptographic receipts for OpenClaw agents. Every tool call governed, every decision signed.

Append-only event kernel with Ed25519-signed Merkle checkpoints. Every AI action gets a verifiable receipt.

Apache-2.0 licensed lightweight agent sandbox: Cedar policy + Ed25519-signed receipts in one Rust binary. Design-partner preview.

RIO Receipt Protocol — Cryptographic proof for AI actions. Open standard for tamper-evident receipts, hash-chained ledgers, and independent verification.

Trust infrastructure for AI agents — constitution enforcement and cryptographic receipts. TypeScript SDK.

kolm — the AI compiler. Compile any task into a signed .kolm artifact that runs locally. RS-1 open spec, MIT.

Defines the decision layer for AI systems where deployment outcomes are governed, recorded, and reconstructable. 5th conforming implementation of draft-farley-acta-signed-receipts (IETF).

Private, signed work receipts for AI agents. Local-first MCP server with EIP-712/Ed25519 proof, replay protection, and optional AIPOU rewards on Base.

Coordination primitive for bounded disclosure between AI agents

Sanna Protocol v1.2 — specification, JSON schemas, and golden test fixtures for AI governance receipts.

MCP server for EverMint — Tamper-evident receipts for AI agent actions. The notary layer for agent-to-agent transactions.

Hands-on practical guide to runx: governed agent skills, cryptographic receipts, and skill authoring

RIO — Runtime Intelligence Orchestration. Governance infrastructure for AI: human authorization, cryptographic receipts, tamper-evident ledger, three-power separation. AI proposes. Human approves. System executes. System records.

Policy-gated AI decisions with NIST FIPS 204 post-quantum receipts. EU AI Act Article 50 native. Every MCP tool call signed, auditable, provable offline.

Governed public mirror of Aevion-Verifiable-AI. Constitutional halt gate, receipt chain, ModelAccessEnvelope.

Open specification for cryptographically chained audit receipts from autonomous systems