Cookbook

Practical recipes for common RunProof tasks.

Recipes

Getting Started

• Basic LangGraph — Generate your first RunProof from a LangGraph workflow

Verification

• Verify a Proof — Use CLI, Python, or Web UI to verify proofs

Distribution

• Add a Badge — Show verification status in your README

Quick Examples

Generate a Proof

pip install substr8-core substr8-cli langgraph
python your_agent.py  # outputs runproof.json

Verify a Proof

substr8 proof verify runproof.json

Inspect Details

substr8 proof inspect runproof.json --events

More Coming Soon

• Multi-agent workflows
• Human-in-the-loop patterns
• Policy enforcement
• Chainable proofs (lineage)

Have a recipe request? Open an issue.