VeritasActa

VeritasActa/verify

Skill Claude CodeCodex

Signs every Claude Code tool call with an offline-verifiable Ed25519 receipt. Lets you audit exactly what Claude did and when, without trusting any server.

VeritasActa/verify

Plugin Claude Code

Cedar policy enforcement + Ed25519 signed receipts for Claude Code tool calls. First cryptographic-governance plugin.

VeritasActa/verify

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.

VeritasActa/verify

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.

VeritasActa/verify

Command

Walk the receipt chain produced by the current session from tip to root, validating every previousReceiptHash link.

VeritasActa/verify

Command

Verify a single Ed25519 signed receipt produced by protect-mcp. Runs @veritasacta/verify offline against the file and reports exit code semantics.

VeritasActa/verify

Hook

Runs before the agent uses a tool, running an inline shell check. From VeritasActa/verify.

VeritasActa/verify

Hook

Runs after a tool call finishes, running an inline shell check. From VeritasActa/verify.

VeritasActa/verify

Skill Claude CodeCodex

Set up Cedar policy enforcement and Ed25519 signed receipts for every Claude Code tool call. Use when adopting protect-mcp for the first time, when configuring a new policy, or when auditing a session.

VeritasActa/acta-mcp

MCP server Claude CodeCodexCursor

Contribute, challenge, verify, and query contestable public records on Veritas Acta. Runs locally from the acta-mcp npm package.