Your First RunProof

Your First RunProof

Generate and verify your first RunProof in under 60 seconds.


Step 1: Install

pip install substr8-langgraph substr8

Step 2: Clone the Demo

git clone https://github.com/Substr8-Labs/substr8-langgraph-demo
cd substr8-langgraph-demo

Step 3: Run the Agent

python demo_agent.py

Output:

๐Ÿ”ง Instrumenting graph with Substr8...
๐Ÿš€ Running agent...

๐Ÿ“‹ Execution Steps:
   โ€ข Searched for: AI agent governance
   โ€ข Analyzed 3 sources
   โ€ข Generated summary

============================================================
โœ… RunProof generated: runproof.json

   Proof ID:  proof_ccfe7c4abd014eab
   Run ID:    run_ade859b400e24d09
   Agent:     demo/research-agent
   Events:    6
   Status:    verified
============================================================

Step 4: Verify with CLI

substr8 proof verify runproof.json

Output:

โ•ญโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€ Verification Result โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ•ฎ
โ”‚ โœ“ RunProof: VALID                                                            โ”‚
โ•ฐโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ•ฏ

  Proof ID   proof_ccfe7c4abd014eab
  Run ID     run_ade859b400e24d09
  Agent      demo/research-agent

Checks:
  โœ“ schema
  โœ“ hash_chain
  โœ“ merkle_root
  โœ“ signature

Step 5: Verify in Browser

Upload runproof.json to verify.substr8labs.com

Youโ€™ll see:

  • โœ… Verification status
  • ๐Ÿ“‹ Run details
  • ๐Ÿ”— Event timeline
  • ๐Ÿ” Cryptographic checks

What Just Happened?

Agent executed
       โ”‚
       โ–ผ
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
โ”‚  Substr8 captured   โ”‚
โ”‚  every event        โ”‚
โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜
       โ”‚
       โ–ผ
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
โ”‚  Events hash-chained โ”‚
โ”‚  (tamper-evident)   โ”‚
โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜
       โ”‚
       โ–ผ
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
โ”‚  Merkle root        โ”‚
โ”‚  (single commitment)โ”‚
โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜
       โ”‚
       โ–ผ
โ”Œโ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”
โ”‚  Ed25519 signature  โ”‚
โ”‚  (proof of origin)  โ”‚
โ””โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”˜
       โ”‚
       โ–ผ
   RunProof.json
       โ”‚
       โ”œโ”€โ”€ CLI verification
       โ””โ”€โ”€ Web verification

๐ŸŽ‰ You Did It!

You just:

  1. Ran an AI agent
  2. Generated a cryptographic proof of execution
  3. Verified it locally and in browser

Thatโ€™s Substr8. Agents with receipts.


Next Steps