It asks before the changes it can't put back. Offline-verifiable receipts, three-valued verdicts.

7 stars 3 forks 7 watchers Rust Apache License 2.0
agent-safety ai-agents attestation audit-log cli formal-verification javascript mcp merkle-tree provenance receipts rust tamper-evident typescript undo verification wasm
5 Open Issues Need Help Last updated: Aug 27, 2026

Open Issues Need Help

View All on GitHub

It asks before the changes it can't put back. Offline-verifiable receipts, three-valued verdicts.

Rust
#agent-safety#ai-agents#attestation#audit-log#cli#formal-verification#javascript#mcp#merkle-tree#provenance#receipts#rust#tamper-evident#typescript#undo#verification#wasm

It asks before the changes it can't put back. Offline-verifiable receipts, three-valued verdicts.

Rust
#agent-safety#ai-agents#attestation#audit-log#cli#formal-verification#javascript#mcp#merkle-tree#provenance#receipts#rust#tamper-evident#typescript#undo#verification#wasm

It asks before the changes it can't put back. Offline-verifiable receipts, three-valued verdicts.

Rust
#agent-safety#ai-agents#attestation#audit-log#cli#formal-verification#javascript#mcp#merkle-tree#provenance#receipts#rust#tamper-evident#typescript#undo#verification#wasm

It asks before the changes it can't put back. Offline-verifiable receipts, three-valued verdicts.

Rust
#agent-safety#ai-agents#attestation#audit-log#cli#formal-verification#javascript#mcp#merkle-tree#provenance#receipts#rust#tamper-evident#typescript#undo#verification#wasm

It asks before the changes it can't put back. Offline-verifiable receipts, three-valued verdicts.

Rust
#agent-safety#ai-agents#attestation#audit-log#cli#formal-verification#javascript#mcp#merkle-tree#provenance#receipts#rust#tamper-evident#typescript#undo#verification#wasm