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 & Cursor.

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

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

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).

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

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.

Coordination primitive for bounded disclosure between AI agents

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

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

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

Wasm-native code execution sandbox for AI agents. 138-152x faster than E2B at p50. SHA-256 cryptographic receipts. Self-hosted. AGPL-3.0 + Apache-2.0 + Commercial dual license.

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.

The Internet of AI — autonomous infrastructure for AI agents. Identity, memory, compute, deployment, payments, reputation, verification. All on-chain.

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.

Open specification for cryptographically chained audit receipts from autonomous systems

Cryptographic execution receipts for AI agents: signed, hash-chained proof of authorized tool use. If it changes it can't be run, if it runs, it can be proven.