Install Repyh tools

Terminal interface to the Repyh console.

Manage DomainDeployments, stream pod logs, and drive the Repyh control plane from your terminal.

Compiler and evaluator for Repyh policy definitions.

Compile policy definitions to portable IR and evaluate them against intent bundles. Used by the prover and verifier to keep agentic trades within declared limits.

Proof-verified intent checks for agentic commerce.

Prover and verifier binaries that prove — with zero-knowledge — that agent-proposed trades satisfy the policy limits declared by the principal.