Offline verification of signed receipts and artifacts. Ed25519 + JCS canonicalization. No server, no account, no trust required. Apache-2.0.
Agent
Expert on Cedar policies for Claude Code tool calls. Use when the user wants to write, modify, or debug a Cedar policy that gates tools like Bash, Edit, Write, Read, Glob, Grep, WebFetch, or WebSearch. Translates natural-language rules into Cedar syntax and validates the result.
Agent
Expert on verifying Ed25519 + JCS receipt chains produced by protect-mcp. Use when a session ends and the user wants to audit the chain, when a verification fails and the failure mode needs explaining, or when investigating suspected tampering.