Your First RunProof
Generate and verify your first RunProof in under 60 seconds.
Step 1: Install
pip install substr8-langgraph substr8Step 2: Clone the Demo
git clone https://github.com/Substr8-Labs/substr8-langgraph-demo
cd substr8-langgraph-demoStep 3: Run the Agent
python demo_agent.pyOutput:
๐ง 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.jsonOutput:
โญโโโโโโโโโโโโโโโโโโโโโโโโโโโโ Verification Result โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโฎ
โ โ RunProof: VALID โ
โฐโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโฏ
Proof ID proof_ccfe7c4abd014eab
Run ID run_ade859b400e24d09
Agent demo/research-agent
Checks:
โ schema
โ hash_chain
โ merkle_root
โ signatureStep 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:
- Ran an AI agent
- Generated a cryptographic proof of execution
- Verified it locally and in browser
Thatโs Substr8. Agents with receipts.
Next Steps
- RunProof โ Whatโs inside the proof
- Examples โ More recipes
- CLI Reference โ All verification commands