Install Repyh tools

Compile and evaluate policy templates.

The compiler + evaluator for the policy template language. Used by the orchestrator and verifier to enforce the constraints declared in a signed intent.

Run the mandate prover.

Accepts signed intents + agent proposals, runs the policy-engine inside an SP1 zkVM, and emits zero-knowledge proofs that the proposal satisfies the intent.

Verify mandate proofs.

Accepts a finished proof bundle, verifies the zk proof against the published verifying key, and surfaces the verified result to downstream consumers.